18/01/2020, 00:40:36 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: ¿Qué es consistencia?  (Leído 2318 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Charlypi
Junior
**

Karma: +0/-0
Desconectado Desconectado

Uruguay Uruguay

Mensajes: 31


Ver Perfil
« : 15/02/2006, 17:29:20 pm »

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.
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.282

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #1 : 15/02/2006, 18:23:57 pm »

¿Un teorema consistente o una teoria consistente?
En línea

tzafriri
Visitante
« Respuesta #2 : 15/02/2006, 19:24:06 pm »

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.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!