- Тавтология (логика)
-
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Содержание
Примеры тавтологий
- («Из A следует A»)
- («A или не-A»)
- .
Пример тавтологии в литературе
Рассмотрим известное из песни высказывание: «В хоккей играют настоящие мужчины, Трус не играет в хоккей».
Формализуем его:
- играет в хоккей
- настоящий мужчина
- не играет в хоккей
- не настоящий мужчина (трус)
Получаем формулу:
которая является логической тавтологией.
Литература
- Карпов Ю. Г. Теория автоматов. — П.: 2003. — С. 49, 60.
См. также
Категория:- Логика
Wikimedia Foundation. 2010.