En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir
una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no
es posible deducir unafórmula y su negación. La existencia de unmodelo implica que una teoría lógica es consistente.
Generalizando, la consistencia es una propiedad que pueden tener los conjuntos de fórmulas. Intuitivamente, un conjunto de fórmulas
es consistente cuando no es posible deducir una contradicción del mismo. Es decir, dado un lenguaje formal y un aparato deductivo,
no es posible demostrar una fórmula y su negación. Equivalentemente, esto se puede expresar diciendo que para ninguna proposición
lógica p: y simultáneamente.
Índice
Introducción
Demostración de consistencia
Consistencia y completitud
Fórmulas
Resultados básicos
Teorema de Henkin
Véase también
Notas y referencias
Bibliografía
Introducción
La consistencia de un conjunto de proposiciones puede ser definida tanto en términos semánticos como en términos sintácticos. En
términos semánticos, un conjunto de fórmulas es consistentesi y sólo si tiene un modelo :
Es decir, si existe al menos una 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.1
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:
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.
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 ycompleto.
Demostración de consistencia
Una demostración de consistencia, o prueba de consistencia, es una demostración formal de que un sistema formal es consistente. Un
sistema formal es consistente si no contiene una contradicción, o, en forma más precisa, no existe una proposición tal que se puede
demostrar o deducir simultáneamente la proposición y su negación.
Referido a un argumento, la consistencia es la necesidad de que todas las premisas tengan que ser necesariamente y a la vez, como
producto, todas verdaderas, para que el argumento, si es consistente, pueda serválido o no válido. Referido al discurso la consistencia
tiene que ver con que las implicaciones lógicas del mismo no sean autocontradictorias.
El desarrollo inicial de la teoría de la demostración matemática fue motivado por el deseo de proveer demostraciones de coherencia
finita para toda la matemáticas como parte del programa de Hilbert. El programa de Hilbert cumple con las observaciones de Gödel,
tal como se expresa en sus dos teoremas de incompletitud de Gödel, de que las teorías de demostración robustas no son capaces de
probar su propia consistencia.
A pesar de que es posible demostrar la consistencia mediante teoría de modelos, por lo general se realiza de una manera puramente
sintáctica, sin la necesidad de proveer una referencia a algún modelo de la lógica. La eliminación de corte (o en forma equivalente la
normalización del cálculo subyacente si es que existe uno) implica la consistencia del cálculo: dado que obviamente no existe prueba
de falsedad que sea libre de corte, no existe por lo tanto contradicción en general.
Consistencia y completitud
Los principales resultados relacionados con la consistencia y completitud fueron demostrados por
Kurt Gödel:
El teorema de completitud de Gödel indica que toda teoría de primer orden consistente es completa con respecto al
conjunto consistente máximo de las fórmulas que se generan por medio del algoritmo de búsqueda de
demostración.
Los teoremas de la incompletitud de Gödel indican que las teorías capaces de expresar su propia relación de
demostrabilidad y de desarrollar un argumento diagonal son capaces de demostrar su propia consistencia solo si
son inconsistentes. Estas teorías, si son consistentes, son denominadasteorías esencialmente incompletas.
Mediante la aplicación de estas ideas, se pueden encontrar cuatro tipos distintos de teorías de primer orden:
Fórmulas
Un conjunto de fórmulas en lógica de primer orden es consistente (expresado como Con ) si y solo si no existe una fórmula tal
que y . De lo contrario es inconsistente y se expresa Inc .
es simplemente consistente si y solo si para ninguna fórmula de son tanto como la negación de teoremas de .
se dice contiene testigos si y solo si para cada fórmula de la forma existe un término tal que .
Resultados básicos
1. Los siguientes son equivalentes:
(a) Inc
2. Todo conjunto de fórmulas satisfactible es consistente, un conjunto de fórmulas es satisfactible si y solo si existe un modelo
tal que .
3. Para todo y :
(a) si , entonces ,
(c) si y solo si o ,
(d) si y , entonces ,
Define una relación binaria en el conjunto de términos S si y solo si ; y sea la clase de términos de
equivalencia conteniendo ; y sea donde es el conjunto de términos basados en el conjunto de símbolo .
(3) Para , .
Véase también
Metalógica
Principio de no contradicción
Principio de explosión
Teoremas de la incompletitud de Gödel
Lógica paraconsistente
Problemas de Hilbert
Emil Post
Notas y referencias
1. Hunter, Geoffrey (1971). «Sección 24». Metalogic: An Introduction to the Metatheory of Standard First-Order Logic.
University of California Press.
Bibliografía
H. D. Ebbinghaus; J. Flum; W. Thomas (1994). Mathematical Logic (en inglés) (Second Edition edición). Springer-
Verlag. ISBN 0-387-94258-0.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Consistencia_(lógica)&oldid=99085738
»
Esta página se editó por última vez el 12 may 2017 a las 16:39.
El texto está disponible bajo laLicencia Creative Commons Atribución Compartir Igual 3.0 ; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestrostérminos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de laFundación Wikimedia, Inc., una organización sin ánimo de lucro.