22/09/2019, 01:55:11 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Deducción natural  (Leído 840 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Sdc
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 4


Ver Perfil
« : 27/03/2019, 03:25:23 am »

Buenas a todos estoy empezando con las demostraciones a través de la deducción natural y me tope con el siguiente ejemplo:



Tengo la duda de si es posible demostrar [texx]q \rightarrow{s}[/texx] con simplemente esa hipotesis anidada, es decir, yo pense que era necesario hacer una eliminación de la disyunción para poder dar por hecho el resultado de :

[texx]q \rightarrow{s}[/texx]

Detallando un poco mas.... yo pensaría que primero debería dar como suposición que 'q' es verdadera como lo esta haciendo en la imagen para finalmente llegar a [texx]q \rightarrow{s}[/texx] y posterior debería partir de 'r' para llegar a la misma conclusión y utilizar la regla de eliminación de disyunción. Tengo duda si solo realiza la hipótesis con 'q' debido a que una vez que da por supuesto eso también determina que 'r' es verdadero y ya no tiene que hacer la segunda suposición para quitar la disyunción.

Ademas de eso y para quitarme un poco el miedo... ¿Que puede ser tomado como hipótesis?, ¿absolutamente todo?, es decir que ¿ la deducción natural solo me ayuda a comprobar si algo es verdadero para algún caso posible ? ... O ¿ solo puedo tomar como hipótesis o suposición el antecedente exclusivamente de la conclusión o lo que quiero llegar a demostrar ?.

* deduccionantur.png (44.74 KB - descargado 355 veces.)
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 44.777


Ver Perfil
« Respuesta #1 : 27/03/2019, 06:43:06 am »

Hola

Tengo la duda de si es posible demostrar [texx]q \rightarrow{s}[/texx] con simplemente esa hipotesis anidada, es decir, yo pense que era necesario hacer una eliminación de la disyunción para poder dar por hecho el resultado de :

[texx]q \rightarrow{s}[/texx]

Tienes tres hipótesis.

1. [texx](p\to (q\wedge r))[/texx]
2. [texx]q\to r[/texx]
3. [texx]r\to s[/texx]

Por la transitividad de la implicación de (2) y (3) se deduce que [texx]q\to s[/texx].

Cita
Detallando un poco mas.... yo pensaría que primero debería dar como suposición que 'q' es verdadera como lo esta haciendo en la imagen para finalmente llegar a [texx]q \rightarrow{s}[/texx] y posterior debería partir de 'r' para llegar a la misma conclusión y utilizar la regla de eliminación de disyunción. Tengo duda si solo realiza la hipótesis con 'q' debido a que una vez que da por supuesto eso también determina que 'r' es verdadero y ya no tiene que hacer la segunda suposición para quitar la disyunción.

No estoy seguro de entender lo que dices; simplemente puedes demostrar la transitividad de la implicación o todo tu problema con una tabla de verdad del estilo de la que viene en el enlace anterior.

Cita
Ademas de eso y para quitarme un poco el miedo... ¿Que puede ser tomado como hipótesis?, ¿absolutamente todo?, es decir que ¿ la deducción natural solo me ayuda a comprobar si algo es verdadero para algún caso posible ? ... O ¿ solo puedo tomar como hipótesis o suposición el antecedente exclusivamente de la conclusión o lo que quiero llegar a demostrar ?.

Tampoco acabo de entender que estás diciendo aquí. Lo que te están pidiendo en este ejercicio es que muestres que de tres hipótesis se puede deducir una determinada tesis. ¿Cuál es el problema?.

Saludos.
En línea
Sdc
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 4


Ver Perfil
« Respuesta #2 : 27/03/2019, 09:52:00 am »

Una disculpa, me falto especificar mas el entorno del problema... Estoy viendo la deducción natural en el sistema axiomatico de kleene, a partir de el el solo puedo utilizar 8 reglas de inferencia que son la implicación y la eliminación de la conjunción,disyunción,negacion e implicación. He aquí un link que explica muy bien eso.
http://di002.edv.uniovi.es/~labra/Logica/apuntes/nd.pdf

Mi duda surge en la ley de la eliminación de una disyunción que es lo que creo que esta aplicando el autor del ejercicio anterior,esta regla tiene esta estructura.


Y yo la interpreto como que para eliminar la disyunción debo partir primero de una de las proposiciones de la disyunción como un supuesto y llegar a un resultado pero debo repetir ese proceso con la segunda proposición de la disyunción para yo afirmar que esa conclusión que se da es verdadera mientras que en el ejercicio anterior no hace estos dos sub bloques y simplemente supone que la primera proposición de la disyunción es verdadera... Llega a la conclusión y lo le importa comprobar esto para la segunda proposición y así manejar la regla como tal cual esta declarada.

A partir de lo anterior me causa la duda de  ¿ que puede ser manejado como un supuesto?, en los anteriores problemas yo solo había necesitado manejar como supuesto el antecedente de a lo que quería llegar pero no encontrado ninguna fuente que me deje muy claro que es lo que realmente puedo dar como supuesto en una deducción natural y eso me confunde un poco debido a que vengo de ver sistemas formales en los cuales solo tenia 3 reglas y eran muy rígidos en el sentido de que no podía dar nada por hecho pero en este sistema ahora se me permite crear suposiciones pero no sé si puedo suponer todo lo que yo quiera o solo el antecedente de una implicación o para ser mas específicos solo antecedente de la implicación que forma parte de lo que queremos demostrar.

En línea
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 727



Ver Perfil
« Respuesta #3 : 27/03/2019, 09:52:27 am »

En deducción natural puedes tomar cualquier fórmula como hipótesis y luego usar introducción del implicador para descartar la hipótesis y obtener una implicación. Otra cosa es que eso te ayude a probar lo que quieras probar. Normalmente la parte difícil es saber qué hipótesis debes tomar para llegar a lo que quieres.

La prueba de [texx]q \rightarrow s[/texx] de la imagen es correcta: asumes [texx]q[/texx] como hipótesis, a partir de ahí pruebas [texx]s[/texx] y por introducción del implicador descartas la hipótesis [texx]q[/texx] y obtienes una prueba de [texx]q \rightarrow s[/texx]. En particular, esta parte no tiene nada que ver con eliminación del disyuntor, no usa 2 (la única disyunción que aparece ahí) para nada.

Más tarde, usa eliminación del disyuntor 2 [texx]q \vee r[/texx] para obtener una prueba de [texx]s[/texx]: esto es lícito porque ya has probado antes tanto [texx]q \rightarrow s[/texx] como [texx]r \rightarrow s[/texx].

Añadido: Viendo la regla que te han dado, creo que el ejemplo es algo confuso, aunque son detalles sin demasiada importancia. Si quieres usar la regla tal cual, para eliminar el disyuntor no deberías probar [texx]q \rightarrow s[/texx] y [texx]r \rightarrow s[/texx] como hacen en el ejemplo, sino suponer [texx]q[/texx] como hipótesis y llegar a [texx]s[/texx] (como hacen ahí), ahora aparte suponer [texx]r[/texx] como hipótesis y llegar a [texx]s[/texx] (trivial: eliminación del implicador en p3) y ahora usar eliminación de la disyunción para obtener una prueba de [texx]s[/texx] incondicional, es decir, sin suponer ni [texx]q[/texx] ni [texx]r[/texx].
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
Sdc
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 4


Ver Perfil
« Respuesta #4 : 27/03/2019, 10:01:49 am »

Ahora comprendo.. Entonces la razón por la cual no hace esa segunda parte es por que la esta suponiendo ya de la premisa. Solo reafirmando entonces podriamos decir que la suposición puede ser cualquier proposición que pueda aparecer en una disyunción,conjunción,implicacion o como parte de las otras proposiciones dentro de las premisas o de la conclusión a la que queremos llegar , simplemente debe ser algo que se me ocurra que me puede hacer llegar a la conclusión y que supongo que la única regla es que no sea la misma conclusión a la que quieres llegar. Entonces la deducción natural me va dar una demostración que no siempre va ser una tautología, es decir, ¿ se puede demostrar cosas que no siempre son tautologías pero que se cumplen cuando se hacen las suposiciones especificas que se planteo en el proceso?
En línea
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 727



Ver Perfil
« Respuesta #5 : 27/03/2019, 10:31:30 am »

A ver, con deducción natural puedes demostrar exactamente lo mismo que con cualquier otro cálculo deductivo, ni más ni menos. Si no partes de ninguna premisa, puedes demostrar exactamente las tautologías. Si tienes premisas (como en el ejemplo), puedes demostrar exactamente las proposiciones que son verdaderas asumiendo que las premisas son verdaderas (más técnicamente, puedes demostrar exactamente las fórmulas que cumplen que cualquier valuación que hace verdaderas las premisas también hace verdadera la conclusión).

Otra cosa es que en mitad de una demostración en deducción natural puedas hacer hipótesis extra (las que quieras, como te he dicho antes) y usarlas libremente para probar lo que quieras. Pero lo importante es que toda hipótesis extra que hagas en mitad de una demostración debe descartarse. Es decir, no pueden haber hipótesis abiertas al final de la demostración (que no sean las premisas), sino no es una prueba válida.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.367



Ver Perfil
« Respuesta #6 : 27/03/2019, 10:57:26 am »



Ademas de eso y para quitarme un poco el miedo...

Yo todo eso no lo entiendo muy bien, pero te digo mi deducción natural sin miedo (más natural que la mía, que no lo he estudiado, difícil que la haya) es la siguiente

Si [texx]p\rightarrow(q\vee r)
 [/texx] y a la vez ocurre [texx]q\rightarrow r
 [/texx], está diciendo que implica las dos conjuntamente [texx]p\rightarrow(q\wedge r)
 [/texx].

Spoiler (click para mostrar u ocultar)

Por lo mismo, si [texx]r\rightarrow s
 [/texx], entonces esto [texx]p\rightarrow(q\wedge r)
 [/texx] implica a la vez esto [texx]p\rightarrow(q\wedge s)
 [/texx].

De lo último, obviamente, por ser una conjunción, [texx]p\rightarrow s)
 [/texx].

Saludos.
En línea

geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 727



Ver Perfil
« Respuesta #7 : 27/03/2019, 02:15:37 pm »

Yo todo eso no lo entiendo muy bien, pero te digo mi deducción natural sin miedo (más natural que la mía, que no lo he estudiado, difícil que la haya) es la siguiente

Si [texx]p\rightarrow(q\vee r)
 [/texx] y a la vez ocurre [texx]q\rightarrow r
 [/texx], está diciendo que implica las dos conjuntamente [texx]p\rightarrow(q\wedge r)
 [/texx].

Esto es falso. Lo que implica es [texx]p \rightarrow r[/texx]. Pero podría ser que [texx]p[/texx] y [texx]r[/texx] fueran verdaderas y [texx]q[/texx] falsa, en cuyo caso [texx]p \rightarrow (q \vee r), q \rightarrow r[/texx] son verdaderas pero [texx]p \rightarrow (q \wedge r)[/texx] es falsa.

De todas maneras, no sé si ha quedado claro, pero "deducción natural" no es una forma de hablar, es un concepto técnico que denota un tipo de cálculo deductivo concreto en lógica formal. No creo que Sdc dude de la veracidad de la inferencia de su ejemplo o pregunte por maneras de justificarla en general, sino que pregunta por su demostración usando este cálculo deductivo concreto, la deducción natural.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.367



Ver Perfil
« Respuesta #8 : 27/03/2019, 02:46:28 pm »

Yo todo eso no lo entiendo muy bien, pero te digo mi deducción natural sin miedo (más natural que la mía, que no lo he estudiado, difícil que la haya) es la siguiente

Si [texx]p\rightarrow(q\vee r)
 [/texx] y a la vez ocurre [texx]q\rightarrow r
 [/texx], está diciendo que implica las dos conjuntamente [texx]p\rightarrow(q\wedge r)
 [/texx].

Esto es falso. Lo que implica es [texx]p \rightarrow r[/texx]. Pero podría ser que [texx]p[/texx] y [texx]r[/texx] fueran verdaderas y [texx]q[/texx] falsa, en cuyo caso [texx]p \rightarrow (q \vee r), q \rightarrow r[/texx] son verdaderas pero [texx]p \rightarrow (q \wedge r)[/texx] es falsa.

Ah, sí, sí, perdón; tenrdía que ser [texx]q\leftrightarrow r
 [/texx]; en ese caso sí, ¿no?



Cita
De todas maneras, no sé si ha quedado claro, pero "deducción natural" no es una forma de hablar, es un concepto técnico que denota un tipo de cálculo deductivo concreto en lógica formal

Sí, lo suponía.

Gracias, geómetracat.
En línea

geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 727



Ver Perfil
« Respuesta #9 : 27/03/2019, 02:52:54 pm »

Sí, si la premisa fuera [texx]q \leftrightarrow r[/texx] tu conclusión sería cierta.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.367



Ver Perfil
« Respuesta #10 : 27/03/2019, 03:04:20 pm »

Sí, si la premisa fuera [texx]q \leftrightarrow r[/texx] tu conclusión sería cierta.

Muchas 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!