05-08-2013, 23:14
Hola tengo una duda con un ejercicio de lógica, espero alguien la tenga clara y me diga si está bien.
el ejercicio es :
[(p v ¬q) ^(s => r) ^ (s v q)] => (¬p => r)
[(¬p=>¬q) ^(s=> r) ^ (s v q)] => (¬p => r) uso: P => Q <=> ¬P v Q pero de forma inversa( no se como se llama esta propiedad)
[(¬p=>¬q) ^(s=> r) ^ (q v s)] => (¬p => r) " : conmutatividad de la disyunción
[(¬p=>¬q) ^(s=> r) ^ (¬q => s)] => (¬p => r) " : P => Q <=> ¬P v Q
[(¬p=>¬q) ^ (¬q=>s) ^ (s=>r)] => (¬p => r) " : conmutatividad de la conjunción
llego hasta acá no se como seguir, esto por alguna propiedad transitiva aplicada en el corchete queda así?
[(¬p => r)]=> (¬p => r)
Gracias
el ejercicio es :
[(p v ¬q) ^(s => r) ^ (s v q)] => (¬p => r)
[(¬p=>¬q) ^(s=> r) ^ (s v q)] => (¬p => r) uso: P => Q <=> ¬P v Q pero de forma inversa( no se como se llama esta propiedad)
[(¬p=>¬q) ^(s=> r) ^ (q v s)] => (¬p => r) " : conmutatividad de la disyunción
[(¬p=>¬q) ^(s=> r) ^ (¬q => s)] => (¬p => r) " : P => Q <=> ¬P v Q
[(¬p=>¬q) ^ (¬q=>s) ^ (s=>r)] => (¬p => r) " : conmutatividad de la conjunción
llego hasta acá no se como seguir, esto por alguna propiedad transitiva aplicada en el corchete queda así?
[(¬p => r)]=> (¬p => r)
Gracias