￢

ウィキペディア

否定

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/01/17 13:59 UTC 版)

数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。

否定記号

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:08 UTC 版)

否定記号は数理論理学で用いられる否定を表す記号であり、「¬」と表記される。論理式φに対し、¬φでφの否定を表す。