Dada la forma de sentar las bases de un sistema formal (con relatores, funtores, constantes, variables, cuantificador generalizador, implicador y negador junto con los axiomas lógicos, las reglas de inferencia correspondientes y los axiomas del sistema) así como la admisión de modelos y valoraciones correspondientes, se tiene:
Definición 1. Una sentencia (según se las tiene entendidas) es verdadera respecto a un modelo siempre y cuando cualesquiera valoraciones posibles la validen.
Se tienen, por hipótesis, dos sentencias que bajo el mismo modelo resultan verdaderas. Se dice que ambas son consistentes entre sí y que la colección de sentencias que forman es consistente. En general:
Definición 2. Una colección de sentencias y el sistema formal al cual comprenden, se dicen consistentes si para todas las valoraciones posibles de un modelo dado todas las sentencias quedan verdaderas.
Las sentencias de un sistema formal consistente deducen teoremas (sentencias obtenidas de una deducción por medio de las reglas de inferencia, los axiomas lógicos y los axiomas del sistema) consistentes porque se los valora según el mismo modelo. De tal forma, los teoremas también se admiten como parte del sistema formal.
Teniendo un sistema formal desconocido consistente o inconsistente se efectúa una demostración en la cual se deduce cierto teorema. Luego partiendo de otra demostración se deduce la negación del teorema que se obtuvo de la primera demostración. A este tipo de sistemas se les dice inconsistentes (no consistentes) porque no hay forma de que alguna valoración según un modelo dado pueda validar ambos teoremas. Esto es, si se da el caso de un sistema formal inconsistente porque deduce contradicciones (teoremas y sus negaciones) y se impone a éste cualquier modelo, en ningún caso (evidentemente) se podrá observar que las valoraciones determinen que todas las sentencias son verdaderas: si una de las deducidas por el sistema queda verdadera, la negación queda no verdadera, es decir, falsa.
Por esto se expresa el siguiente:
Teorema fundamental de la Lógica. Si de un sistema formal se deduce al menos un teorema y también su negación, entonces el sistema formal se dice inconsistente.
Definición 1. Una sentencia (según se las tiene entendidas) es verdadera respecto a un modelo siempre y cuando cualesquiera valoraciones posibles la validen.
Se tienen, por hipótesis, dos sentencias que bajo el mismo modelo resultan verdaderas. Se dice que ambas son consistentes entre sí y que la colección de sentencias que forman es consistente. En general:
Definición 2. Una colección de sentencias y el sistema formal al cual comprenden, se dicen consistentes si para todas las valoraciones posibles de un modelo dado todas las sentencias quedan verdaderas.
Las sentencias de un sistema formal consistente deducen teoremas (sentencias obtenidas de una deducción por medio de las reglas de inferencia, los axiomas lógicos y los axiomas del sistema) consistentes porque se los valora según el mismo modelo. De tal forma, los teoremas también se admiten como parte del sistema formal.
Teniendo un sistema formal desconocido consistente o inconsistente se efectúa una demostración en la cual se deduce cierto teorema. Luego partiendo de otra demostración se deduce la negación del teorema que se obtuvo de la primera demostración. A este tipo de sistemas se les dice inconsistentes (no consistentes) porque no hay forma de que alguna valoración según un modelo dado pueda validar ambos teoremas. Esto es, si se da el caso de un sistema formal inconsistente porque deduce contradicciones (teoremas y sus negaciones) y se impone a éste cualquier modelo, en ningún caso (evidentemente) se podrá observar que las valoraciones determinen que todas las sentencias son verdaderas: si una de las deducidas por el sistema queda verdadera, la negación queda no verdadera, es decir, falsa.
Por esto se expresa el siguiente:
Teorema fundamental de la Lógica. Si de un sistema formal se deduce al menos un teorema y también su negación, entonces el sistema formal se dice inconsistente.
∎
31 de Marzo de 2012
No hay comentarios:
Publicar un comentario