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

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

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

Приклади

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

Це незавершена стаття з математики.
Ви можете допомогти проєкту, виправивши або дописавши її.

п о р Логічні операції
Тавтологія ( $\top$ )
NAND ( $\uparrow$ ) · Обернена імплікація ( $\leftarrow$ ) · Імплікація ( $\rightarrow$ ) · OR ( $\lor$ )
Заперечення ( $\neg$ ) · XOR ( $\oplus$ ) · Еквівалентність ( $\leftrightarrow$ ) · Твердження (Цифровий буфер^[en])
NOR ( $\downarrow$ ) · Неімплікація ( $\nrightarrow$ ) · Обернена неімплікація ( $\nleftarrow$ ) · AND ( $\land$ )
Суперечність ( $\bot$ )