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

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

Приклади

• $A\vee \mathrm{\neg }A$ (закон виключення третього),
• $\mathrm{\neg }\mathrm{\neg }A\equiv A$ (закон подвійного заперечення),
• $\mathrm{\neg }(A\wedge \mathrm{\neg }A)$ (закон протиріччя),
• $(\mathrm{\neg }A\supset B)\wedge (\mathrm{\neg }A\supset \mathrm{\neg }B)\supset A$ (використовується для доведення від супротивного).

Література

• Шаблон:Cite book

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

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

Шаблон:Math-stub Шаблон:Navbox Шаблон:Математична логіка