Negacja to zaprzeczenie.
Zaprzeczenie zdania p oznaczamy jako ~p i odczytujemy jako nieprawda, że p.
Negacja zmienia wartość logiczną na przeciwną.
