Тавтология (логика)
Материал из Википедии — свободной encyclopedia
У этого термина существуют и другие значения, см. Тавтология.
Тавтологией в логике называется тождественно истинное высказывание.
Тот факт, что формула A — тавтология, обозначается . В каждом логическом исчислении имеется своё множество тавтологий.
Тавтология также является результатом функции идентичности , так что .