否定

在邏輯語句中交換真和假的操作。對 的否定通常被稱為“非-”，可以表示為 ，或者使用 否定符號 ，因此非- 寫成 。

請注意，在計算機語言中，例如C, perl，以及 Wolfram 語言，非- 表示為 。在FORTRAN中，非- 寫成.not.A，其中 是一個邏輯型別。