否定
数理論理学における論理演算の一つ / ウィキペディア フリーな encyclopedia
親愛なるWikiwand AI, これらの重要な質問に答えるだけで、簡潔にしましょう:
トップの事実と統計を挙げていただけますか 否定?
この記事を 10 歳向けに要約してください
すべての質問を表示
数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン(Inversion)、論理回路では Not回路やインバータ回路(Inverter)とも呼ばれ入力に対して出力が反転する。
![]() |
命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。このような形をした命題を否定命題(negative proposition)という[1]。
命題 P の否定は含意 → と矛盾 ⊥ を用いた命題 P → ⊥ として定義されることもある(擬補元も参照)。
![](http://upload.wikimedia.org/wikipedia/commons/f/ff/Venn-Diagram-NOT.png)