Consistencia lógica (Spanish)
January 27, 2008 by identityandconsulting
http://es.wikipedia.org/wiki/Consistencia_l%C3%B3gica
Consistencia lógica
De Wikipedia, la enciclopedia libre
La consistencia lógica es una propiedad de un conjunto de axiomas. Se dice que un conjunto de axiomas es consistente si a partir de él no puede deducirse simultáneamente una proposición (p) y su contraria (¬p, no-p). Por el teorema de incompletitud de Gödel sabemos que para sistemas de una cierta complejidad dicha propiedad está relacionada con la de completitud.
Referido a un argumento 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 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.
Leave a Reply
You must be logged in to post a comment.
