Az állítás negációja (vagy tagadása) egy egyváltozós művelet. Egy $A$ kijelentés negációja az a kijelentés, amely akkor igaz, ha $A$ hamis és akkor hamis, ha $A$ igaz.
Egy $A$ kijelentés negációja az a kijelentés, amely akkor igaz, ha $A$ hamis és akkor hamis, ha $A$ igaz.
1.
Van itt ez az állítás: "Minden mamut sárga."
Válasszuk ki innen azokat, amik az állítás tagadása:
Egyik mamut sem sárga.
Van olyan mamut, ami sárga.
Van olyan mamut, ami nem sárga.
A legtöbb mamut nem sárga.
Nem minden mamut sárga.
