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.

Ejemplo ↓
[math][(p \wedge q) \vee (¬p\wedge q)][/math]
es una fórmula consistente
E5010-2.png