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

La consistencia de un conjunto de proposicionesdeivaciones <math>\scriptstyle \mathcal{A}</math> puede ser definida tanto en términos [[Semántica formal|semánticos]] como en términos [[Sintaxis|sintácticos]]. En términos semánticos, un conjunto de fórmulas es consistente [[si y sólo si]] tiene un [[Teoría de modelos|modelo]] <math>\scriptstyle \mathcal{M}</math>: