Autor Tema: ¿Qué es consistencia?

0 Usuarios y 1 Visitante están viendo este tema.

15 Febrero, 2006, 09:29 pm
Leído 2423 veces

Charlypi

  • Junior
  • Mensajes: 31
  • Karma: +0/-0
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.

15 Febrero, 2006, 10:23 pm
Respuesta #1

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,272
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)

15 Febrero, 2006, 11:24 pm
Respuesta #2

tzafriri

  • Visitante
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.