Hola, consulta...Veo que en los parciales aparece mucho este tipo de ejercicios.

   

La pregunta es: ¿hay alguna forma rápida de ver si son tesis válidas? A mi lo que se me ocurre es ir probando cada una de las tesis y ver si a partir de las hipótesis planteadas se puede llegar o no a las tesis, el tema es que me resulta un procedimiento muy largo.

De movida si tenes un existe en las hipotesis, tiene que ser existe en las tesis... ahi generalmente podes descartar alguno, lastima que justo este no es el caso... pero la mayoría vi asi

Te voy a contar el secreto de Batman (que le sirvió para promocionar)...
Lo que hacía es mirar las hipótesis y encontrar el "camino" entre ellas: Si te fijas, la primera te lleva a C o D, que aparecen en la 2da o 3ra hipótesis. Y además tiene una B, que te deja ir a la 4ta, que a su vez termina en H, o sea que esa también te lleva a la 2da.
Entonces
1 -> 2, 3, 4
4 -> 2

Ya tenés todas las hipótesis usadas, así que sabés que el camino arranca en la 1ra. Y las terminales son la 2 y 3, que aparte ambas terminan en E...
1-> 2, 3

Y recién AHI miraba las tesis que me daban........ Es medio a ojo/fruta pero a mi me servía para hacer un "análisis rápido" e ir descartando.

Que trucazo eh! Ojala te sirva che.....

(11-06-2018 00:01)Batman escribió:  Te voy a contar el secreto de Batman (que le sirvió para promocionar)...
Lo que hacía es mirar las hipótesis y encontrar el "camino" entre ellas: Si te fijas, la primera te lleva a C o D, que aparecen en la 2da o 3ra hipótesis. Y además tiene una B, que te deja ir a la 4ta, que a su vez termina en H, o sea que esa también te lleva a la 2da.
Entonces
1 -> 2, 3, 4
4 -> 2

Ya tenés todas las hipótesis usadas, así que sabés que el camino arranca en la 1ra. Y las terminales son la 2 y 3, que aparte ambas terminan en E...
1-> 2, 3

Y recién AHI miraba las tesis que me daban........ Es medio a ojo/fruta pero a mi me servía para hacer un "análisis rápido" e ir descartando.

Que trucazo eh! Ojala te sirva che.....

Buenísimo! Lo voy a implementar, después te cuento como me fue. Gracias!

Aporto:
-Si en la tesis hay un existe:
a) En la hipótesis debe haber un existe.

-Si en la tesis no hay existe:
a) Se comienza con la operación de alguna hipótesis.
b) No se puede suponer dentro del ejercicio.

-Si en la tesis hay un entonces, se comienza el ejercicio suponiendo el antecedente de la tesis.
-Se debe usar al menos una vez cada una de las hipótesis.

Para este ejercicio no se puede sacar ninguna H de una, pero en otros con estos tips sirve.

Primero sabemos que las hipotesis son todas verdaderas para llegar a la tesis entonces como son todas implicaciones la unica que queda es que la tesis sea una implicacion porque sino no podemos arrancar ya que ninguna parte de la implicacion se puede asegurar verdadera segun la tabla de verdad. (aca elimine la opcion 4)
Usando las reglas que te enumeraron antes suponemos las partes delanteras de las opciones 1, 2 y 3 y vemos si sirven para continuar con alguna tesis.

Si elegis la opcion 3 por ejemplo ves que supones B, usando B y la 4 hipotesis por MP obtenes H y de ahi no hay nada que hacer porque H esta en un conector Y por lo que no se puede agregar nada (elimino ls opcion 3)

Si elegis la opcion 2 entonces suponemos (A o B), tenes que hacer el camino doble por A y por B, si vamos por B ya sabemos donde termina, en H por el punto anterior y si vamos por A ya vemos q con A no hacemos nada. (elimino 2)

Por descarte queda la 1 pero si te fijas es:

5) (A y B) (supongo)
6) (C o D ) (modus ponens con 5 e Hipotesis 1)
7) B (elimino disyuncion en 5)
8) H (modus ponens con 7 e Hipotesis 4)
9) C (elimino conjuncion en 6) 9) D (elimino conjuncion en 6)
10) C y H (introduzco disyuncion en 8 y 9) 10) D o I (introduzco conjuncion en 9)
11) E y F (modus ponens con Hipotesis 2) 11) E (modus ponens con Hipotesis 3)
12) E (elimino disyuncion en 5)
13) E o L (introduzco conjuncion en 9)
...... y a partir de aca ya sale.


Espero que te sirva.

(11-06-2018 00:01)Batman escribió:  Te voy a contar el secreto de Batman (que le sirvió para promocionar)...
Lo que hacía es mirar las hipótesis y encontrar el "camino" entre ellas: Si te fijas, la primera te lleva a C o D, que aparecen en la 2da o 3ra hipótesis. Y además tiene una B, que te deja ir a la 4ta, que a su vez termina en H, o sea que esa también te lleva a la 2da.
Entonces
1 -> 2, 3, 4
4 -> 2

Ya tenés todas las hipótesis usadas, así que sabés que el camino arranca en la 1ra. Y las terminales son la 2 y 3, que aparte ambas terminan en E...
1-> 2, 3

Y recién AHI miraba las tesis que me daban........ Es medio a ojo/fruta pero a mi me servía para hacer un "análisis rápido" e ir descartando.

Que trucazo eh! Ojala te sirva che.....

Me anduvo de 10 este método, Maestro. Lamentablemente no me alcanzó para aprobar, pero este punto lo hice bien. Se agradece!