Una tautología es una fórmula bien formada que resulta verdadera bajo todas las interpretaciones posibles de sus fórmulas atómicos.