Matemática => Lógica => Mensaje iniciado por: Charlypi en 15/02/2006, 17:29:20



Título: ¿Qué es consistencia?
Publicado por: Charlypi en 15/02/2006, 17:29:20
Hola a todos, espero que se encuentren bien y en especial con las matemáticas. Antes de comenzar con mi pregunta quisiera agradecer a los que han mandado su mensaje en respuesta al mío que se titula "matemáticos autodidactas". La verdad que me da mucho aliento para seguir adelante y refuerza muchas de mis ideas con respecto a las matemáticas ya que me identifico con muchas de las respuestas.
En estas vacaciones he estudiado lógica aristotélica, proposicional y funcional y me he encontrado con cierta dificultad que no puedo comprender del todo: ¿Qué es que un teorema sea consistente?
¿Cuándo pruebo la consistencia de un teorema?¿Solamente cuando es válido?
Les estaría muy agradecidos si me dieran una pequeña orientación para poder seguir desarrollando mi estudio sobre lógica.
Buena suerte a todos.


Título: Re: ¿Qué es consistencia?
Publicado por: argentinator en 15/02/2006, 18:23:57
¿Un teorema consistente o una teoria consistente?


Título: Re: ¿Qué es consistencia?
Publicado por: tzafriri en 15/02/2006, 19:24:06
Que una teoría sea consistente se podría interpretar que a partir de la misma no se puedan deducir proposiciones contradictorias. Es decir si deducimos que la proposicion A es verdadara, a partir de la misma teoría no podemos deducir que A es falsa.