|
【名詞】 1. (gen) (gram) negation 2. denial 3. negative・ 打消 ： [うちけし] 【名詞】 1. (gen) (gram) negation 2. denial 3. negative
数理論理学において否定 (ひてい、) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 ''P'' に対する否定を ¬''P'', ''P'', !''P'' などと書いて、「''P'' でない」とか「''P'' の否定」、「''P'' 以外の場合」などと読む。 == 例 == * 「私の身長は 160 cm 以上である」 の命題の否定は、 * 「私の身長は 160 cm 未満である」 である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「否定」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Negation 」があります。
=========================== 「 打消 」を含む部分一致用語の検索リンク（ 3 件 ） 打消 打消し 打消す スポンサード リンク
|