consistencia (lógica)

En lógica, la consistencia o consistencia lógica es una propiedad que pueden tener los conjuntos de fórmulas lógicas. Intuitivamente, un conjunto de fórmulas es consistente cuando no contiene una contradicción, es decir, que si p puede ser deducido de () entonces su negación ￢p no puede ser deducida del mismo conjunto. Equivalentemente, esto se puede expresar diciendo que para ninguna proposición lógica p: y simultáneamente.