検索結果

、真理関数的恒真式は、それが含む論理連結語（「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など）に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる。例えば、2つ以上の言明が論理的に両…

(Sawfish) に比べ設定項目が非常に少なく、標準とすることには異論もあった。Metacityを肯定する意見としては、GNOMEはEnlightenmentやSawfishのような沢山の設定項目を必要としないようなコンピュータユーザをターゲットとしているからであると言える。否定…

否定する方向での修正を主張することである。またはそれらの主張そのものを指す。 なお、ドイツ語のleugnungや英語のdenialは通常「否定」と訳すことが多いため、ホロコースト否定と呼ぶことも多い。従って、これらの主張者はホロコースト否定論者あるいはホロコースト否定…

項関係 V は論理式と真理値を関連付ける。V(A,1) は A が真であることを意味し、V(A,0) は A が偽であることを示す。各論理式には少なくとも1つの真理値が対応つけられるが、対応する真理値は必ずしも1つである必要はない。否定と論理和の意味は次のようになる:…

default）とは、予め数値等を設定することで未入力によるシステムの誤作動を未然に防止する形態を言う。 なお、コンピューター業界に於けるデフォルトとは「default ：de(否定，除去の意）+fault(誤り)」の意味合いとなる。[要出典] デフォルト値 (英: Default value)…

項）。実際に、特許法などの知的財産権法は、外国人による権利の享有を制限している（著作権法6条、特許法25条など）。もっとも、パリ条約などにおいて、内国民待遇の原則が採られているため、これらの条約の加盟国間においては、外国人であるというだけの理由により知的財産権の享有が否定…

唯一の正しい論理があるのか、あるいは複数の論理が同じように正しいのか （排中律のような）論理的原理が正しいかどうかについて真正な不一致は可能なのか 何がある表現を論理定項にさせているのか 論理的帰結・量化・その他の論理的概念の本来の記述とは何か 論理学の範囲はどのくらいか（数学を包含するのか） 論理は規約の問題か 論理は経験的か…

述語論理のホーン節は、AND-OR木の各ノードが命題から述語になるので複雑になる。各ノードの述語記号の項は、定項と変項に分かれるが、定項がファクトで、変項が単一化によるファクトに束縛可能なら、そのノードは述語から命題になれる。 論理プログラムが節 H :- B1, ..., Bn…

180) 中村元は、 仏教は、普通は「法を説く」と言われているのに、ここでは「法」(dhamma)を否定している。 その意味は<教義>なるものを否定しているのである。教義を否定したところに仏教がある[ちなみに、ここで paṭicchitāse というのは『リグ・ヴェーダ』の語法が残ってい…

裁判例は存在しない。逆に「ラストメッセージin最終号事件」や「ウォール・ストリート・ジャーナル事件」のようにフェアユースを否定した判例は存在する。 もっとも権利濫用（民法1条3項）、公序良俗違反（民法90条）、黙示許諾といった民法上の法理に基づく抗弁によって（著作権の行使を免れるという点で）フェアユ…

【6. 論証を構成する項系列とその要素】 第15章 - 「不可分な否定の項連関」について。 【7. 誤謬と無知】 第16章 - 推論によって生じる錯誤 --- 1.「不可分な肯定・否定の項連関」に関して。 第17章 - 2.「不可分でない肯定・否定の項連関」に関して。 第18章 -…

ヤンゴン に 〔否定〕 行く 〔否定〕 訳:「私はヤンゴンに行かなかった。」 ただし、名詞と動詞を組み合わせて作られた動詞を否定する場合は、語源的に動詞であった要素のみを二つの否定辞で挟む。以下の例では စိတ်ပါ citʻ pā /seʲʔ pà/〈興味がある〉という動詞が否定されているが、これは…

長崎県南松浦郡新上五島町では、公募で選ばれた作品が、1983年開催の日本文化デザインフォーラムのシンボルマークに類似していた。応募作者は模倣を否定したが、著作権上のトラブル回避のため次点作品を繰り上げ採用した。 兵庫県豊岡市では、公募で選ばれた作品の作者が「盗作したので辞退したい」と申し出たた…

せとなってドイツ国鉄05形蒸気機関車と同じ煙管長が7メートルの細長いボイラーとなり、更に燃焼室を延伸したとしても長距離運転に適した4-8-4の特徴を否定する結果になっただろうと結論を出している。高木宏之も、この機関車ができていれば、関係者は詰め腹を切らされていただろうと断言している。 ^ a b…

f {\displaystyle f} をスコーレム関数（Skolem function、アリティがゼロならスコーレム定項）と呼び、項全体をスコーレム項（Skolem term）と呼ぶ。 例として、論理式 ∀ x ∃ y ∀ z . P ( x , y , z ) {\displaystyle…

の集まりが「生」と捉え、気の離散が「死」と解釈した上で、気の離合集散によって魂魄の現象を合理的に説明しようとした（魂魄の項の「儒学における魂魄現象の解釈」も参照）。結果、霊性を否定しかねない矛盾した論考（一度、離散した気＝魂魄は二度と戻らない＝死と主張したために、祭祀による招魂儀礼を行うことに矛盾が…

項は自衛権を否定しておらず、その否定されていない自衛権の行使の裏付けとなる自衛のため必要最小限度の実力は憲法第9条第2項にいう「戦力」にはあたらず、それを超えるものが憲法第9条第2項にいう「戦力」であると解釈する。 戦力限定不保持説（自衛戦力肯定説） 憲法第9条第2項は自衛のための「戦力」まで禁ずるものではないとする説。…

よび総務省行政管理局管理官職と連携して執行にあたる。 この法律の規定は、一般職に属する全ての職に適用される（第2条第4項）一方、原則として特別職に属する職には適用されない（同条第5項）。なお、一般職に属する職員に関し、その職務と責任の特殊性に基づいて、別に法律又は人事院規則によって、特例を定めること…

2項道路（2こうどうろ）とは、建築基準法第42条第2項の規定により、「建築基準法上の道路」とみなされる道のことである。みなし道路と表現する場合もある。 2項道路は「42条2項道路」とも呼ばれる。都市計画区域および準都市計画区域内にある、幅員4メートル未満の道のうち、特定行政庁の指定したものを建築基準法上の道路とみなす処置がとられる。…

めに院を設けた。この地（古都ハイデラバードの東 70 km）は後にナーガールジュナ・コーンダ（丘）と呼ばれる。 哲学者の梅原猛は、龍樹は釈迦の仏教を否定し、大乗仏教を創始したとしている。一方、中村元は、大乗仏教は諸法の実相を説くことを標識とし、小乗仏教の三法印に対して大乗仏教は「実相印」を第四の印と…