me queda q v ¬p, ademas de que de por si haciendo la tabla de verdad de la proposicion compuesta te da una contingencia, asi que no es una tautología, está bien como les dio
Al final era que habia un error en como tipearon el ejercicio, es:
(p => q) v (¬q ^ p)
Ahi si te da una tautologia
(09-04-2012 19:19)rodam escribió: [ -> ]Al final era que habia un error en como tipearon el ejercicio, es:
(p => q) v (¬q ^ p)
Ahi si te da una tautologia
Ah, con razón!! Muchisimas gracias Rodam!!!
El ejercicio esta mal escrito. Hay un "NO" que no deberia estar, lo chequeamos el otro dia en clase. Donde dice -(-q^p) deberia ser solamente (-q^p)