逻辑非ひ是これ布ぬの尔代数すう中ちゅう一いち种一元いちげん运算。它的运算结果是ぜ将はた运算元もと的てき真ま值取と反はん。
命いのち题A的てき非ひ可か以有几种写うつし法ほう:
以上いじょう可か以读做"A不成立ふせいりつ"或ある者もの"非ひA"。
¬p的てき真ま值表定義ていぎ如下:
~A即そく在ざいA的てき条件下じょうけんか,结论不成立ふせいりつ。例れい如,如果A代表だいひょう命いのち题“今こん天てん星ほし期き六ろく”,则它的てき~A代表だいひょう命いのち题“今こん天てん不ふ是ぜ星ほし期き六ろく”或ある“今こん天てん是ぜ星ぼし期日きじつ、一いち、二に、三さん、四よん或ある五ご”。
~A为真当とう且仅当とうA为假。