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

Матеріал з Вікіпедії — вільної енциклопедії.

Перейти до навігації Перейти до пошуку

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

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

Приклади

[ред. | ред. код]

$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$ (використовується для доведення від супротивного).

Література

[ред. | ред. код]

Колмогоров А. Н., Драглин А. Г. (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$ )

Отримано з https://uk.wikipedia.org/w/index.php?title=Тавтологія_(логіка)&oldid=42401445

Категорія:

Математична логіка

Приховані категорії: