数理論理学において、命題の真と偽を反転する論理演算のこと（参照：左画像）。命題 P に対する否定を ¬P、￣P（Pの真上に￣）、!P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。他の論理演算と違い、対象となる命題が一つとい

続きを読む