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

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