22/01/2020, 09:24:21 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: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Fundamentar el método de reducción al absurdo  (Leído 1430 veces)
0 Usuarios y 1 Visitante están viendo este tema.
alemar888
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 19


Ver Perfil
« : 11/04/2009, 19:06:07 pm »

Hola! Necesito ayuda o al menos una idea de donde partir para demostrar el metodo de reduccion al absurdo.
Cualquier aporte es bien agradecido. Saludos! Gracias
En línea
Jjjuan
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Argentina Argentina

Mensajes: 159


Ver Perfil
« Respuesta #1 : 11/04/2009, 21:20:26 pm »

Buenas,
Mirá, creo que la cuestión es así. Hay una regla de lógica que dice [texx]p\Rightarrow{q}[/texx] y [texx]-q[/texx] es cierto, entonces debe ser cierto que [texx]-p[/texx]. Se llama "modus tollendo ponens".
En el absurdo vos querés probar [texx]p\Rightarrow{q}[/texx], entonces partís de que [texx]p[/texx] es cierto, pero decís, veamos que pasa si asumo que [texx]-q[/texx]. Si eso te lleva a que [texx]-p[/texx], se contradice tu suposición inicial sobre la verdad de [texx]p[/texx], cuestión que solo se salva si la propiedad [texx]q[/texx] es cierta. Fijate que, visto de otro modo, no es más que usar el "modus tollendo ponens" de arriba en definitiva. También se conoce esto como "probar el contrarecíproco".
Un saludo
En línea
Teón
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.322


C:.J:.T:.


Ver Perfil
« Respuesta #2 : 12/04/2009, 17:42:14 pm »

Como primera aproximación, te sugiero que demuestres que el método es semánticamente válido, y luego hagas uso de los teoremas de corrección y completitud.
En lógica de proposiciones, la validez semántica de un esquema de argumento, se demuestra mediante tablas de verdad.
Saludos.
En línea

Eram quod es, eris quod sum.
alemar888
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 19


Ver Perfil
« Respuesta #3 : 12/04/2009, 18:30:35 pm »

Muchas gracias por la ayuda Jjjuan y Teón  :sonrisa_amplia:, siempre me impresiona lo rapido que responden en este foro! Gracias, Saludos!
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!