Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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.
