Nachfolgend betrachten wir die logische Operation „Negation“:
Die Negation kehrt einen Wahrheitswert ins Gegenteil.
Wahrheitstafel:
| A | ¬A |
| 1 | 0 |
| 0 | 1 |
Beispiel: A: x ist gerade.
¬A: x ist nicht gerade (also ungerade).
Die doppelte Verneinung führt auf den ursprünglichen Wert zurück: ¬(¬A) = A