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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Приклади[ред.ред. код]

Література[ред.ред. код]

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

Дивіться також[ред.ред. код]