Mitől tagadás a tagadás?
P állítás tagadása, jelölve ¬P, pontosan akkor igaz, amikor P hamis. A két mondat nem lehet egyszerre igaz, és nem lehet egyszerre hamis ugyanabban a helyzetben. Nem minden ellentétes hangulatú mondat logikai tagadás: a „hideg van” tagadása „nem hideg van”, nem automatikusan „meleg van”.