18-06-2013, 20:37
Buenas, tengo una seria duda en cuanto a las reglas de inferencia.
Por ejemplo, el ejercicio 1.10.b dice lo siguiente
Dar la validez de los siguientes razonamientos
[[(¬p v ¬q) => (r=>s)] ^ (r=>t) ^ ¬t] => p
Ahora, veo que tengo 3 términos
a : [(¬p v ¬q) => (r=>s)]
b: (r=>t)
c: ¬t
Si uno los términos b y c me queda
(r=>t) ^ ¬t
Mi duda es la siguiente, dado que la regla de Modus Tollens dice ((p=>q) ^ ¬q) => ¬p, que es equivalente a lo que me queda de juntar b y c, ¿puedo dejar la proposición expresada de la siguiente manera?
[[(¬p v ¬q) => (r=>s)] ^ ¬r] => p
Se que es una pavada, pero no encuentro por ningún lado la confirmación de esto y falté la clase en que se dio el tema.
En caso de que esté en lo correcto, se aplica el mismo criterio para las demás reglas de inferencia?
Gracias!
Por ejemplo, el ejercicio 1.10.b dice lo siguiente
Dar la validez de los siguientes razonamientos
[[(¬p v ¬q) => (r=>s)] ^ (r=>t) ^ ¬t] => p
Ahora, veo que tengo 3 términos
a : [(¬p v ¬q) => (r=>s)]
b: (r=>t)
c: ¬t
Si uno los términos b y c me queda
(r=>t) ^ ¬t
Mi duda es la siguiente, dado que la regla de Modus Tollens dice ((p=>q) ^ ¬q) => ¬p, que es equivalente a lo que me queda de juntar b y c, ¿puedo dejar la proposición expresada de la siguiente manera?
[[(¬p v ¬q) => (r=>s)] ^ ¬r] => p
Se que es una pavada, pero no encuentro por ningún lado la confirmación de esto y falté la clase en que se dio el tema.
En caso de que esté en lo correcto, se aplica el mismo criterio para las demás reglas de inferencia?
Gracias!