Tarea de lógica

1. P y q

P q

2. (p y q) y r

Pyq r

P q

3. –(p entonces -q) y (p y –q)

-(p entonces –q) P y –q

P entonces –q p -q

P -q q

q
4. (p y q) o (p o –q)

Pyq p o –q

P q p -q

q
5. P y q y r

Pyq r

P q
6. –(p y –q ) y (p y –q)

-(p y –q) p y –q

P y –q p -q

P -q q

7. - - (-p y –q) o (p y -q)

- - (-p y –q) P y -q

-(p y –q) p -q

P y –q q

P -q

8. P o q y r

Poq r

P q
9. –(-p y -q) y (-p y –q)

-(-p y –q) (-p y –q)

-p y –q -p -q

-p -q p q

P q

10. P o q y –r

Poq -r

P q r

11. P y q entonces r

Pyq r

P q

12. P y q entonces –r

Pyq -r

P q r

13. P entonces –p

P -p

P
14. –(p y –q) y (p y –q)

-(p y –q) p y –q

P y –q p -q

P -q q

15. – p o –q

--p - -q

-p -q

P q

16. P o q

P q

17. P entonces q o r

P entonces q r

P q
18. [(-p o q) y (p o q)] entonces [(-p o q) o –p]

[(-p o q) y (p o q)] [(-p o q) o -p)]

-p o q poq -p o q -p

-p q p q -p q p

P p

19. (p o –q) entonces (-p entonces –q)

P o –q -p entonces –q

P -q -p -q

q p q

20. (p entonces –q) o ( p o –q)

P entonces q p o –q

P q p -q

q
21. (-p y q) o (-p o q)

-p y q -p o q

-p q -p q

P p

22. –q o –p

-q -p

q p

23. (p entonces q y r) entonces –(-q o r) o –r

(p entonces q y r) -(-q o r) o –r

P entonces q r (q o r) o –r

P q -q o r -r

-q r r

q
24. (-q y r) entonces –(-q o r) y –r

(-q y r) -(q o r) y -r

-q r (q o r) y –r

q (q o r) -r

q r r

25. (p entonces q) y r entonces –(p o r) o –r

(p entonces q) y r -(p o r) o –r

(p entonces q) r (p o r) o -r

P q (p o r) -r

P r

26. ( p entonces q) y (q entonces r) entonces (p y –r)

(p entonces q) y (q entonces r) (p y –r)

P entonces q q entonces r p -r

P q q r r
 27. –p si y solo si (q y r ) o –(-q o r)

-p si y solo si (q y r) -(q o r)

-p qyr qor

P q r q r

28. [(p o –q) entonces (p entonces q)] entonces[-p entonces q) o –p] o –p

[(p o –q) entonces (p entonces q)] entonces[-p entonces q) o –p] -p

P o –q p entonces q -p entonces q -q p

P -q p q -p -q

q p q

30 (p entonces q) y ( q entonces r) entonces (p y r)

(p entonces q) y ( q entonces r) (p y r)

(p entonces q ) (q entonces r) p r

P q q r
31. (p y q entonces r) entonces (p o r)

(p y q entonces r) por

Pyq r p r

P q