¿Qué es?
No se ha añadido ninguna twiki todavía.
Una fórmula es consistente si y sólo si tiene por lo menos una interpretación (en un dominio no vacío) que la hace verdadera, o es verdadera por lo menos para una asignación de valores de verdad.
Toda tautología es, por tanto, una fórmula consistente, pero no a la inversa.
