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

(09-04-2012 01:00)rodam escribió:  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

GRACIAS!! =)

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

Gente les dejo una pagina para resolver los ejercicios de lógica que a mi me sirvió:
http://www.wolframalpha.com
Este es el ej que plantean:
http://www.wolframalpha.com/input/?i=%28...%26%26q%29

Saludos.

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)