否定

在逻辑语句中交换真和假的操作。对 的否定通常被称为“非-”，可以表示为 ，或者使用 否定符号 ，因此非- 写成 。

请注意，在计算机语言中，例如C, perl，以及 Wolfram 语言，非- 表示为 。在FORTRAN中，非- 写成.not.A，其中 是一个逻辑类型。