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

У Вікіпедії є статті про інші значення цього терміна: Тавтологія.

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

Приклади

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

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

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