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.