非

在逻辑学中, 非是逻辑连接词的一种, 常记为 $\neg$. 对命题 $p$ 而言, 命题 $\neg p$ 也称为 $p$ 的否定或否命题.

在经典的命题逻辑中, 对命题 $p$ 而言, 命题 $\neg p$ (读作 “非 $p$”) 成立是指 $p$ 不成立. 有以下的真值表:

$\text{p}$	$\text{¬p}$
真	假
假	真

在类型论–范畴论–逻辑学类比下, 非运算对应于某类型到空类型的映射类型, 或某空间到空空间的映射空间.

1相关概念

术语翻译

非 (名词) • 英文 negation • 德文 Negation (f) • 法文 négation (f)

非 (副词) • 英文 not • 德文 nicht • 法文 non