Una tautología es una fórmula que es verdadera para "todas" las interpretaciones posibles de las fórmulas atómicas.