Výrok A∧¬A, má v příslušném sloupci pravdivostní tabulky samé nuly, tedy v žádném případě neplatí, a my ho nazýváme vždy nepravdivý výrok.
Vždy pravdivé výroky se nazývají TAUTOLOGIE, vždy nepravdivé výroky se nazývají KONTRADIKCE.
Protože víme, že výrok A∧¬A je vždy nepravdivý, tedy kontradikce, pak jeho negace
Úkol: Rozhodněte, který ze složených výroků je tautologie:
| (A∨¬B)∧(¬A∨B) | (A∧B)∨(¬A∨¬B) | (¬A)∧(A∨B) |