查看“︁逻辑非”︁的源代码

{{noteTA
|1=zh-hans:布尔代数; zh-hant:布林代數;
}}
{{Expand|time=2017-10-02}}
[[File:Venn1010.svg|thumb|110px|[[文氏图]]<math>\neg A</math>]]
[[File:Venn1100.svg|thumb|110px|[[文氏图]]<math>\neg B</math>]]

'''逻辑非'''是[[布尔代数]]中一种[[一元运算]]。它的运算结果是将运算元的[[真值]]-{zh-hans:取反; zh-hant:反相}-。

命题''A''的'''非'''可以有几种写法：

* <font style="text-decoration:overline">''A''</font>（''A''上加一横）
* ~''A''
* ¬''A''
* NOT ''A''

以上可以读做"''A''不成立"或者"非''A''"。

''¬p''的[[真值表#否定|真值表]]定義如下：

{| class="wikitable"
|+ ¬p的真值表
! style="width:35px;background:#aaaaaa;" | p
! style="width:35px" | ¬p
|-
| 真  || 假
|-
| 假  || 真
|}

~''A''即在''A''的条件下，结论不成立。例如，如果''A''代表命题“今天星期六”，则它的~''A''代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。

~''A''为真[[当且仅当]]''A''为假。

{{數學小作品}}
{{逻辑联结词}}
{{Authority control}}

[[category:布尔代数|L]]
[[Category:邏輯聯結詞]]