否定

否定
术语名称	否定
英语名称	negation
别名	logical complement

否定(negation)指一个命题的反面，即该命题为假所对应的命题。

定义

否定
运算名称	否定
运算符号	[math]\displaystyle{ \lnot }[/math]
Latex	\lnot , \neg
运算对象	命题公式
运算元数	1
运算结果	命题公式
结构	布尔代数

对命题 [math]\displaystyle{ P }[/math] ，记命题 [math]\displaystyle{ R }[/math] 满足：

仅当 [math]\displaystyle{ P }[/math] 为真时，命题 [math]\displaystyle{ R }[/math] 为假；
仅当 [math]\displaystyle{ P }[/math] 为假时，命题 [math]\displaystyle{ R }[/math] 为真。

称这样的命题 [math]\displaystyle{ R }[/math] 为命题 [math]\displaystyle{ P }[/math] 的否定(negation)，记为 [math]\displaystyle{ \lnot P }[/math] ，读作非 [math]\displaystyle{ P }[/math] (not [math]\displaystyle{ P }[/math]) 。其中逻辑联结词 [math]\displaystyle{ \lnot }[/math] 称为否定词。

¬
字符	¬
Unicode码位	`U+00AC` Not Sign^[1]
Latex命令序列	\lnot

有时也会记作 [math]\displaystyle{ \sim P }[/math] 或 [math]\displaystyle{ \bar{P} }[/math]。

主联结词为否定词的公式称为否定式(negative formula)，命题称为否定命题(negative proposition)。

真值表

[math]\displaystyle{ p }[/math]	[math]\displaystyle{ \lnot p }[/math]
T	F
F	T

性质

双重否定律：对于任意命题 [math]\displaystyle{ P }[/math]，有 [math]\displaystyle{ \lnot\lnot P \equiv P }[/math]。
德·摩根律：对于任意命题 [math]\displaystyle{ P }[/math] 和 [math]\displaystyle{ Q }[/math]，有 [math]\displaystyle{ \lnot (A \land B) \equiv \lnot A \lor \lnot B }[/math]、[math]\displaystyle{ \lnot (A \lor B) = \lnot A \land \lnot B }[/math]。

命题逻辑/零阶逻辑
基本概念	命题	命题、命题变元、命题常量
基本概念	真值	真[math]\displaystyle{ \mathrm{T} }[/math]/[math]\displaystyle{ 1 }[/math]/[math]\displaystyle{ \top }[/math]、假[math]\displaystyle{ \mathrm{F} }[/math]/[math]\displaystyle{ 0 }[/math]/[math]\displaystyle{ \bot }[/math]
逻辑联结词	否定（非）[math]\displaystyle{ \lnot }[/math]、合取（且/与）[math]\displaystyle{ \land }[/math]、析取（或）[math]\displaystyle{ \lor }[/math]
逻辑联结词	蕴含（推出）[math]\displaystyle{ \rightarrow }[/math]、等价（当且仅当）[math]\displaystyle{ \leftrightarrow }[/math]
命题公式	语义	真值表、指派、解释、满足
	分类	重言式/永真式、偶然式/仅可满足式/可真可假式、矛盾式/永假式/不可满足式
	范式	析取范式、合取范式（主析取范式、主合取范式）
语义关系	等值	等值/等价[math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math]、置换
语义关系	重言蕴含	重言蕴含[math]\displaystyle{ \Rightarrow }[/math]

逻辑联结词
零元
真值表			[math]\displaystyle{ \bot }[/math]								[math]\displaystyle{ \top }[/math]
真值表			T								F
名称			真[math]\displaystyle{ \top }[/math]								假[math]\displaystyle{ \bot }[/math]
二进制			0								1
一元
真值表	[math]\displaystyle{ p }[/math]		[math]\displaystyle{ \bot }[/math]				[math]\displaystyle{ \lnot p }[/math]				[math]\displaystyle{ p }[/math]				[math]\displaystyle{ \top }[/math]
	T		F								T
	F		F				T				F				T
名称			假[math]\displaystyle{ \bot }[/math]				否定（非）[math]\displaystyle{ \lnot }[/math]				（恒等映射[math]\displaystyle{ \mathrm{id} }[/math]）				真[math]\displaystyle{ \top }[/math]
缩写			-				NOT				-				-
二进制			0				1				2				3
二元
真值表	[math]\displaystyle{ p }[/math]	[math]\displaystyle{ q }[/math]	[math]\displaystyle{ \bot }[/math]	[math]\displaystyle{ p \bar{\vee} q }[/math] [math]\displaystyle{ p \downarrow q }[/math]	[math]\displaystyle{ p \nleftarrow q }[/math]	[math]\displaystyle{ \lnot p }[/math]	[math]\displaystyle{ p \nrightarrow q }[/math]	[math]\displaystyle{ \lnot q }[/math]	[math]\displaystyle{ p \oplus q }[/math] [math]\displaystyle{ p \nleftrightarrow q }[/math]	[math]\displaystyle{ p \barwedge q }[/math] [math]\displaystyle{ p \uparrow q }[/math]	[math]\displaystyle{ p \land q }[/math]	[math]\displaystyle{ p \leftrightarrow q }[/math]	[math]\displaystyle{ q }[/math]	[math]\displaystyle{ p \rightarrow q }[/math]	[math]\displaystyle{ p }[/math]	[math]\displaystyle{ p \leftarrow q }[/math]	[math]\displaystyle{ p \lor q }[/math]	[math]\displaystyle{ \top }[/math]
	T	T	F								T
	T	F	F				T				F				T
	F	T	F		T		F		T		F		T		F		T
	F	F	F	T	F	T	F	T	F	T	F	T	F	T	F	T	F	T
名称			假 [math]\displaystyle{ \bot }[/math]	或非 [math]\displaystyle{ \downarrow }[/math]/[math]\displaystyle{ \bar{\vee} }[/math]	-	否定非 [math]\displaystyle{ \lnot }[/math]	-	否定非 [math]\displaystyle{ \lnot }[/math]	互斥析取异或 [math]\displaystyle{ \oplus }[/math]/[math]\displaystyle{ \nleftrightarrow }[/math]/[math]\displaystyle{ \veebar }[/math]	与非 [math]\displaystyle{ \uparrow }[/math]/[math]\displaystyle{ \barwedge }[/math]	合取且/与 [math]\displaystyle{ \land }[/math]	等价当且仅当 [math]\displaystyle{ \leftrightarrow }[/math]	投影映射 [math]\displaystyle{ \mathrm{proj}_2 }[/math]	蕴含推出 [math]\displaystyle{ \rightarrow }[/math]	投影映射 [math]\displaystyle{ \mathrm{proj}_1 }[/math]	-	析取或 [math]\displaystyle{ \lor }[/math]	真 [math]\displaystyle{ \top }[/math]
缩写			-	NOR	-	NOT	NIMPLY	NOT	XOR	NAND	AND	XNOR EQV	-	IMPLY	-	-	OR	-
二进制			0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15

↑ 有别名Angled Dash。

[1] 有别名Angled Dash。

[1]