Тавтологія (логіка)

Тавтологія — це формула логіки, що має значення «істина» не залежно від конкретних значень аргументів.

Приклади

• $A \or \lnot A$ (закон виключення третього),
• $\lnot \lnot A \equiv A$ (закон подвійного заперечення),
• $\lnot (A \and \lnot A)$ (закон протиріччя),
• $(\lnot A \supset B) \and (\lnot A \supset \lnot B) \supset A$ (використовується для доведення від супротивного).

Література

• Колмогоров А. Н., Драглин А. Г. (2006). Математическая логика. ISBN 5-484-00520-5. 

Дивіться також

• Протиріччя,
• Логічна хиба.