Hola...como estan? Estoy teniendo problemas con los ejercicios del tipo deducción natural En un ejemplo de final decía: hallar la hipótesis faltante....Realicé las practicas y veo que este tipo de ejercicios no esta en ella. Podría alguien ayudarme con las reglas a tener en cuenta para suponer una hipotesis faltante o una tesis? si es posible ejemplificado. Tal vez lo tenga en mis manos y no logre verlo ....Gracias a todos,

Un Saludo

Yo le pregunte a los ayudantes en su momento como se hacían esos tipos de ejercicio y te cuento más o menos lo que me explicaron.

Si te piden la hipótesis faltante, presta atención a la tesis que tenes que demostrar (si la tesis tiene una implicación, tenes que empezar por suponer el antecedente; sino, no podes suponer nada) y te pones a trabajar con las hipótesis que tenes hasta que llega un punto donde te trabas. En ese momento te fijas cuál de las opciones te puede llegar a servir y vas probando. Obviamente tenes que utilizar todas las hipótesis para demostrar la tesis, si no usas alguna está mal. Suele pasar que yendo por algún camino te sobre alguna hipótesis y por eso descartas esa alternativa.

Si te piden la tesis, es parecido, empezás a trabajar con las hipótesis (tendrías que arrancar por alguna que no tenga una implicación) y tratas de ver como usar todas para llegar alguna de las opciones.

También influye el cuantificador, si la tesis tiene un "existe", alguna de las hipótesis necesariamente tiene que tener un "existe". Si la tesis tiene un "para todo", todas las hipótesis tienen que tener un "para todo".

Es cuestión de ir probando, no son difíciles. Espero que se entienda.

Saludos.

Gracias Fede, voy a ir probando con eso que me sugeris, veremos a ver que sale. Queda abierta la pregunta para quien tenga más sugerencias. En cuanto el tema este Ok envío algunos ejercicios hechos.

Sldos