Negacja jest podstawowym operatorem logicznym. Przekształca ona każde zdanie na zdanie o przeciwnej wartości logicznej. Inaczej nazywana jest zaprzeczeniem.
Jeśli zdanie jest prawdziwe jego zaprzeczeniem jest zdanie fałszywe.
Jeśli zdanie jest fałszywe jego zaprzeczeniem jest zdanie prawdziwe.
Negacja oznaczana jest symbolem , czytanym jako „nie prawda, że”.
Tabelka wartości logicznej negacji
Jeśli zdanie ma wartość logiczną 1, zdanie
ma wartość logiczną 0.
Jeśli zdanie ma wartość logiczną 0, zdanie
ma wartość logiczną 1.
Przykład:
: Warszawa jest stolicą Polski. Wartość logiczna 1.
: Nie prawda, że Warszawa jest stolicą Polski. Wartość logiczna 0.