Diferencia entre revisiones de «Consistencia (lógica)»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 187.159.204.206 (disc.) (HG) (3.1.16) |
||
Línea 1:
{{fusionar en|Consistencia (lógica)}}
En [[lógica matemática]], 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 A y su contraria ¬A
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 ser [[validez lógica|válido]] o no válido. Referido al discurso la consistencia tiene que ver con que las implicaciones lógicas del mismo no sean autocontradictorias.
| |||