Diferencia entre revisiones de «Consistencia (lógica)»

En [[lógica]], la '''consistencia''' o '''consistencia lógica''' es una propiedad que pueden tener los [[conjunto]]s de [[Fórmula bien formada|fórmulas]] lógicas. Intuitivamente, un conjunto de fórmulas <math>\mathcal{A}</math> es consistente cuando no contiene una [[Principio de no contradicción|contradicción]], es decir, que si ''p'' puede ser deducido de <math>\mathcal{A}</math> (<math>\mathcal{A}\vdash p</math>) 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'': <math>\mathcal{A}\vdash p</math> y <math>\mathcal{A}\vdash\neg p</math> simultáneamente.