Es una proposición compuesta que resulta verdadera para cualquier interpretacion de los simbolos proposicionales que contiene.[3]

*A es una tautología si es verdadera para todos las combinaciones de valores de las variables que ocurren en A.

Se simboliza ├ A.

Un ejemplo de ello es la proposición p v ¬p.