Definición:

Es una expresión lógica  que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad.La construcción de una tabla de verdad es un método efectivo para determinar si una expresión cualquiera es una tautología o no.

Por ejemplo:

Definición:

Una proposición es una contradicción, si es falsa para todos sus valores de verdad .

Por ejemplo:

Definición:

Una proposición es una contingencia si no es ni verdadera ni  falsa independientemente de los valores de verdad de las proposiciones simples que la componen.

Por ejemplo: