Lgica 1 - Tarea 13

Prof. Hugo Enrique Snchez

Fecha de entrega: lunes 29 de octubre


Demuestra las siguientes afirmaciones utilizando solamente las reglas bsicas y los
teoremas demostrados hasta ahora.
1. (p q) (r s),(r t) (p q),~(r t) r s
2. ~r (p q),r p,(r p) ~p q
3. (p q) r;((p q) r) ~r,(p q) (q r) ~q
4. (p q),(p q) (q p),(p q) p p q
5. ~p q,(r q) (~s p),~s t ~t
6. o y,[ o,o [ y o
7. o y,[ o,~y ~o ~o ~[
8. ~(o [) ~o ~[