Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.

Примеры тавтологий

• («Из A следует A»)
• («A или не-A»)
• .

Пример тавтологии в литературе

Рассмотрим известное из песни высказывание: «В хоккей играют настоящие мужчины, Трус не играет в хоккей».

Формализуем его:

- играет в хоккей

- настоящий мужчина

- не играет в хоккей

- не настоящий мужчина (трус)

Получаем формулу:

которая является логической тавтологией.

Литература

• Карпов Ю. Г. Теория автоматов. — П.: 2003. — С. 49, 60.

См. также

• Противоречие