Consistencia

Un conjunto de enunciados es consistente cuando existe al menos una situación que los hace simultáneamente verdaderos. Conjunto de fórmulas del que no se deriva en un cálculo determinado ninguna contradicción.

La consistencia es una propiedad que debe tener todo cálculo en un sistema formal. El requisito de consistencia exige que en un sistema formal no haya ninguna fbf A tal que A y ~A sean ambas teoremas.

En otras palabras, la consistencia exige que esté vigente en el sistema el principio de no contradicción: ~(A&~A).

(Véase sistema formal, teorema).