Diferencia entre revisiones de «Consistencia (lógica)»
Contenido eliminado Contenido añadido
m Pequeñas correcciones WP:CEM. |
Sin resumen de edición |
||
Línea 1:
{{fusionar
En [[congragacion]], la '''consistencia''' o '''consistencia lógica''' es una propiedad que pueden tener los [[conjunto]]s de [[Fórmula bien formada|fórmulas]].Para mañor consistencia tienes que subir la cohecion Intuitivamente, un conjunto de fórmulas es consistente cuando no contiene una [[Principio de no contradicción|contradicción]] o [[ambigüedad]]. La consistencia 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]]. Es decir, si existe al menos una [[Interpretación (lógica)|interpretación]] que haga verdaderas a todas las fórmulas del conjunto. En términos sintácticos, un conjunto de fórmulas es consistente si y sólo si para toda fórmula A, no es posible deducir tanto A como ¬A (i.e. la [[negación lógica]] de A) a partir del conjunto de fórmulas.<ref name="Hunter">{{cita libro |apellido=Hunter |nombre=Geoffrey |título=Metalogic: An Introduction to the Metatheory of Standard First-Order Logic |editorial=University of California Press |año=1971 |capítulo=Sección 24}}</ref>
Por ejemplo, considérese el siguiente conjunto de fórmulas de la [[lógica proposicional]]: { p, q, (q→¬p), r }. Utilizando la regla de inferencia del [[modus ponens]] entre q y (q→¬p), es posible deducir ¬p. Luego, según la definición sintáctica de consistencia, el conjunto es inconsistente. Para evaluar si el conjunto es consistente según la definición semántica, podemos construir una [[tabla de verdad]]:
:<math>
\begin{array}{c|c|c|c}
p & q & (q \to \neg p) & r \\
\hline
V & V & F & V \\
V & V & F & F \\
V & F & V & V \\
V & F & V & F \\
F & V & V & V \\
F & V & V & F \\
F & F & V & V \\
F & F & V & F \\
\end{array}
</math>
Como se ve, en ninguna de las interpretaciones (ninguna de las filas de la tabla) se da que todas las fórmulas son verdaderas. Luego, de acuerdo con la definición semántica, el conjunto es inconsistente.
Un [[sistema formal]] es consistente si y sólo si el conjunto de sus [[teorema]]s es consistente.<ref name="Hunter">Véase {{cita libro |apellido=Hunter |nombre=Geoffrey |título=Metalogic: An Introduction to the Metatheory of Standard First-Order Logic |editorial=University of California Press |año=1971 |capítulo=Sección 24}}</ref>
Por los [[teoremas de la incompletitud de Gödel]] sabemos que ningún sistema formal que tenga un mínimo de poder expresivo puede ser a la vez consistente y [[Completitud semántica|completo]].
== Véase también ==
* [[Metalógica]]
* [[Principio de no contradicción]]
* [[Principio de explosión]]
* [[Teoremas de la incompletitud de Gödel]]
== Notas y referencias ==
{{listaref}}
[[Categoría:Metalógica]]
|