Ecuaciones

1.
p ^ q PROPOSICIN EMPRICA

P q p ^ q

V V V
V F F
F V F
F F F

2. (p ^ q) ^ r PROPOSICIN EMPRICA

P q R (p ^ q) (p ^ q) ^ r

V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F

3. (p q) ^ (p ^ q) CONTRADICCIN

P q q (p q) (p q) (p ^ q) (p q) ^ (p ^ q)

V V F F V F F
V F V V F V F
F V F V F F F
F F V V F F F

4. (p ^ q) v (p v q) PROPOSICIN EMPRICA

P q q (p ^ q) (p v q) (p ^ q) v (p v q)

V V F V V V
V F V F V V
F V F F F F
F F V F V V

5. p ^ q ^ r PROPOSICIN EMPRICA

p q r p ^ q p ^ q ^ r

V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F

6. (p ^ q) ^ (p ^ q) CONTRADICCIN

p q q (p ^ q) (p ^ q) (p ^ q) (p ^ q) ^ (p ^ q)

V V F F V F F
V F V V F V F
F V F F V F F
F F V F V F F

7. (p ^ q) v (p ^ q) PROPOSICIN EMPRICA

p q p q (p ^ q) (p ^ q) (p ^ q) (p ^ q) (p ^ q) v (p ^ q)

V V F F F V F F F
V F F V F V F V V
F V V F F V F F F
F F V V V F V F V

8. p v q ^ r PROPOSICIN EMPRICA

p q r p v q p v q ^ r

V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F F


p q p q p ^ q (p ^ q) p ^ q (p ^ q) ^ (p ^ q)

V V F F F V F F
V F F V F V F F
F V V F F V F F
F F V V V F V F

10. p v q ^ r PROPOSICIN EMPRICA

P q r r p v q p v q ^ r

V V V F V F
V V F V V V
V F V F V F
V F F V V V
F V V F V F
F V F V V V
F F V F F F
F F F V F F

11. p ^ q r PROPOSICIN EMPRICA

p q r p ^ q p ^ q r

V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

12. p ^ q r PROPOSICIN EMPRICA

p q r r p ^ q p ^ q r

V V V F V F
V V F V V V
V F V F F V
V F F V F V
F V V F F V
F V F V F V
F F V F F V
F F F V F V

13. p p CONTRADICCIN

P p p p

V F F
F V F


p q q (p ^ q) (p ^ q) (p ^ q) (p ^ q) ^ (p ^ q)

V V F F V F F
V F V V F V F
F V F F V F F
F F V F V F F

15. p v q PROPOSICIN EMPRICA

p q p q p q p vq
V V F F V V V
V F F V V F V
F V V F F V V
F F V V F F F

16. p v q PROPOSICIN EMPRICA

p q p v q
V V V
V F V
F V V
F F F

17. p q v r PROPOSICIN EMPRICA

p q r p q p q v r
V V V V V
V V F V V
V F V F V
V F F F F
F V V F V
F V F F F
F F V V V
F F F V V

18. (p v q) v (p ^ q) (p v q) v p TAUTOLOGA

p q p (p v q) (p ^ q) (p v q) v (p ^ q) (p v q) (p v q) v p (p v q) v (p ^ q) (p v q) v p

V V F V V V V V V
V F F F F F F F V
F V V V F V V V V
F F V V F V V V V

19. (p v q) (p q) TAUTOLOGA

p q p q (p v q) (p q) (p v q) (p q)

V V F F V V V
V F F V V V V
F V V F F F V
F F V V V V V

20. (p q) v (p v q) TAUTOLOGA

p q q (p q) (p v q) (p q) v (p v q)
V V F F V V
V F V V V V
F V F V F V
F F V F V V

21. (p ^ q) v (p q) PROPOSICIN EMPRICA

p q p (p ^ q) (p q) (p ^ q) v (p q)

V V F F V V
V F F F V V
F V V V V V
F F V F F F

22. q v p PROPOSICIN EMPRICA

p q p q q v p
V V F F F
V F F V V
F V V F V
F F V V V

23. (p q ^ r) (q v r) v r PROPOSICIN EMPRICA

p q r q r p q (p q ^ r) (q v r) (q v r) (q v r) v r (p q ^ r) (q v r) v r

V V V F F V V V F F F
V V F F V V F F V V F
V F V V F F F V F F V
V F F V V F F V F V F
F V V F F V V V F F F
F V F F V V F F V V F
F F V V F V V V F F F
F F F V V V F V F V F

24. (q ^ r) (q v r) v r PROPOSICIN EMPRICA

q r q r (q ^ r) (q v r) (q v r) (q v r) v r (q ^ r) (q v r) v r

V V F F F V F F V
V F F V F F V V V
F V V F V V F F F
F F V V F V F V V

25. (p q ) ^ r (p v r) v r PROPOSICIN EMPRICA

p q r r (p q) (p q) ^ r (p v r) (p v r) (p v r) v r (p q ) ^ r (p v r) v r
V V V F V V V F F F
V V F V V F V F V V
V F V F F F V F F V
V F F V F F V F V V
F V V F V V V F F F
F V F V V F F V V V
F F V F V V V F F F
F F F V V F F V V V

26. (p q ) ^ (p r) (p ^ r) PROPOSICIN EMPRICA

p q r r (p q ) (p r) (p q ) ^ (p r) (p ^ r) (p q ) ^ (p r) (p ^ r)

V V V F V V V F F
V V F V V F F V V
V F V F F V F F V
V F F V F F F V V
F V V F V V V F F
F V F V V V V F F
F F V F V V V F F
F F F V V V V F F

27. p (q ^ r) v (q v r) PROPOSICIN EMPRICA

p q r p q (q ^ r) p (q ^ r) (q v r) (q v r) p (q ^ r) v (q v r)
V V V F F V F V F F
V V F F F F V F V V
V F V F V F V V F V
V F F F V F V V F V
F V V V F V V V F V
F V F V F F F F V V
F F V V V F F V F F
F F F V V F F V F F

28. (p v q) (p q) (p q) v p v p TAUTOLOGA

p q p q (p v q) (p q) (p v q) (p q) (p q) (p q) v p (p q) v p v p (p v q) (p q) (p q) v p v p

V V F F V V V V V V V
V F F V V F F V V V V
F V V F F V V V V V V
F F V V V V V F V V V

29. (p v q) v (p q) (p q) v p TAUTOLOGA

p q p (p v q) (p v q) (p q) (p v q) v (p q) (pq) (pq)vp (p v q) v (p q) (p q) v p

V V F V F V V V V V
V F F V F F F V V V
F V V V F V V V V V
F F V F V V V F V V

30. (p q) ^ (q r) (p ^ r) PROPOSICIN EMPRICA

p q r (p q) (q r) (p q) ^ (q r) (p ^ r) (p q) ^ (q r) (p ^ r)

V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V F F
F V F V F F F V
F F V V V V F F
F F F V V V F F

31. (p ^ q r) (p v r) PROPOSICIN EMPRICA

p q r p ^ q (p ^ q r) (p v r) (p ^ q r) (p v r)

V V V V V V V
V V F V F V V
V F V F V V V
V F F F V V V
F V V F V V V
F V F F V F F
F F V F V V V
F F F F V F F

32. (p q) (q p) CONTRADICCIN

p q p q (p q) (q p) (p q) (q p)

V V F F V V F
V F F V F F F
F V V F F F F
F F V V V V F

33. (p ^ q p v r) (q v r) ^ r PROPOSICIN EMPRICA

p q r q r p ^ q p v r (p ^ q p v r) (q v r) (q v r) (q v r) ^ r (p ^ q p v r) (q v r) ^ r

V V V F F V V V F V V V
V V F F V V V V V F F F
V F V V F F V V V F F F
V F F V V F V V V F F F
F V V F F F F V F V V V
F V F F V F F V V F F F
F F V V F F V V V F F F
F F F V V F V V V F F F

34. (p ^ q p) (q v r) ^ (p ^ r) CONTRADICCIN

p q r p r p ^ q (p ^ q p) (q v r) (p ^ q p) (q v r) (p ^ r) (p ^ q p) (q v r) ^ (p ^ r)

V V V F F V V V V F F
V V F F V V V V V F F
V F V F F F V V V F F
V F F F V F V V V F F
F V V V F F V V V F F
F V F V V F V F F V F
F F V V F F V V V F F
F F F V V F V F F V F

35. p (q v r) ^ s PROPOSICIN EMPRICA

p q r S p s (q v r) p (q v r) p (q v r) ^ s

V V V V F F V V F
V V V F F V V V V
V V F V F F V V F
V V F F F V V V V
V F V V F F V V F
V F V F F V V V V
V F F V F F F V F
V F F F F V F V V
F V V V V F V V F
F V V F V V V V V
F V F V V F V V F
F V F F V V V V V
F F V V V F V V F
F F V F V V V V V
F F F V V F F F F
F F F F V V F F F
36. (p q) v (p q) PROPOSICIN EMPRICA

p q (p q) (p q) (p q) v (p q)

V V V V V
V F F F F
F V F V V
F F V V V

37. (p v q) ^ (p q v r) PROPOSICIN EMPRICA

38. (p ^ q p v r) (q v r) ^ r PROPOSICIN EMPRICA

p q r p q r p ^ q p v r (p ^ q p v r) (q v r) (q v r) (q v r) ^ r (p ^ q p v r) (q v r) ^r

V V V F F F F V V F V V V
V V F F F V F V V V F F F
V F V F V F F V V V F F F
V F F F V V F V V V F F F
F V V V F F V V V F V V V
F V F V F V V F F V F F V
F F V V V F F V V V F F F
F F F V V V F F V V F F F

p q r p q (p v q) p q (p q v r) (p v q) ^ (p q v r)

V V V F F V V V V
V V F F F V V V V
V F V F V V V V V
V F F F V V V V V
F V V V F V F V V
F V F V F V F F F
F F V V V F V V F
F F F V V F V V F
39. (p v q) ^ (r s) v t PROPOSICIN EMPRICA

p q r s t p t (p v q) (r s) (p v q) ^ (r s) (p v q) ^ (r s) v t

V V V V V F F V V V V
V V V V F F V V V V V
V V V F V F F V F F F
V V V F F F V V F F V
V V F V V F F V V V V
V V F V F F V V V V V
V V F F V F F V V V V
V V F F F F V V V V V
V F V V V F F F V F F
V F V V F F V F V F V
V F V F V F F F F F F
V F V F F F V F F F V
V F F V V F F F V F F
V F F V F F V F V F V
V F F F V F F F V F F
V F F F F F V F V F V
F V V V V V F V V V V
F V V V F V V V V V V
F V V F V V F V F F F
F V V F F V V V F F V
F V F V V V F V V V V
F V F V F V V V V V V
F V F F V V F V V V V
F V F F F V V V V V V
F F V V V V F V V V V
F F V V F V V V V V V
F F V F V V F V F F F
F F V F F V V V F F V
F F F V V V F V V V V
F F F V F V V V V V V
F F F F V V F V V V V
F F F F F V V V V V V
40. (p ^ q) v r r (p ^ q) TAUTOLOGA

p q r r (p ^ q) (p ^ q) v r (p ^ q) r (p ^ q) (p ^ q) v r r (p ^ q)

V V V F V V V V V
V V F V V V V V V
V F V F F V F V V
V F F V F F F F V
F V V F F V F V V
F V F V F F F F V
F F V F F V F V V
F F F V F F F F V

41. (p v q) r (p ^ q)v r TAUTOLOGA

p q r p q (p v q) (p v q) r (p ^ q) (p ^ q)v r (p v q) r (p ^ q)v r

V V V F F V V F V V
V V F F F V F F F V
V F V F V F V V V V
V F F F V F V V V V
F V V V F V V F V V
F V F V F V F F F V
F F V V V V V F V V
F F F V F V F F F V

42. (p v q p ^ r) (q v r)v r PROPOSICIN EMPRICA

p q r p q r p v q p ^ r (p v q p ^ r) (q v r) (q v r) (q v r)v r (p v q p ^ r) (q v r)v r

V V V F F F V V F F V V F
V V F F F V V F V F V V V
V F V F V F F V F F V V F
V F F F V V F F F V F F V
F V V V F F V F V F V V V
F V F V F V V F V F V V V
F F V V V F V F V F V V V
F F F V V V V F V V F F F

43. (p q ^ r) (q v r) v (r v s) PROPOSICIN EMPRICA

p q r s q r p q (p q ^ r) (q v r) (q v r) (r v s) (q v r) v (r v s) (p q ^ r) (q v r) v (r v s)

V V V V F F V F F V V V F
V V V F F F V F F V V V F
V V F V F V V V V F V V V
V V F F F V V V V F F F F
V F V V V F F F V F V V F
V F V F V F F F V F V V F
V F F V V V F F V F V V F
V F F F V V F F V F F F V
F V V V F F F F F V V V F
F V V F F F F F F V V V F
F V F V F V F F V F V V F
F V F F F V F F V F F F V
F F V V V F V F V F V V F
F F V F V F V F V F V V F
F F F V V V V V V F V V V
F F F F V V V V V F F F F

44. (p v q p ^ r ) ( q v r) v (r q) PROPOSICIN EMPRICA

45. (p q) ^ (p v p q v r) PROPOSICIN EMPRICA

p q r p q (p q) p v p q v r (p v p q v r) (p q) ^ (p v p q v r)

V V V F F F V V V F
V V F F F F V F F F
V F V F V V V V V V
V F F F V V V V V V
F V V V F V V V V V
F V F V F V V F F F
F F V V V F V V V F
F F F V V F V V V F
p q r q r p v q p ^ r (p v q p ^ r) ( q v r) ( q v r) (r q) ( q v r) v (r q) (p v q p ^ r ) ( q
v r) v (r q)
V V V F F V V V F V F V V
V V F F V V F F V F V V F
V F V V F V V V V F V V V
V F F V V V F F V F V V F
F V V F F F F V F V F V V
F V F F V F F V V F V V V
F F V V F V F F V F V V F
F F F V V V F F V F V V F
46. (p r ^ p) v (q p v r) r TAUTOLOGA

p q r p q r p r (p r )^( p) q p (q p) v (r) (q p v r) (q p v r) r (p r ^ p) v (q
p v r) r
V V V F F F V F V V F V V
V V F F F V F F V V F V V
V F V F V F V F F V F V V
V F F F V V F F F F V V V
F V V V F F F F V V F V V
F V F V F V V V V V F V V
F F V V V F F F V V F V V
F F F V V V V V V V F V V

47. (p q v r) ^ (p q v r) CONTRADICCIN

p q r p r p q (p q) v (r) p q (p q v r) (p q v r) (p q v r) ^ (p q v r)

V V V F F F F F F V F
V V F F V F V F V F F
V F V F F V V V V F F
V F F F V V V V V F F
F V V V F V V V V F F
F V F V V V V V V F F
F F V V F F F F F V F
F F F V V F V F V F F

48. p v q (p q) PROPOSICIN EMPRICA

p q p v q (p q) p v q (p q)

V V V V V
V F V F F
F V V V V
F F F V F

49. (p v q) (p q) PROPOSICIN EMPRICA

p q (p v q) (p q) (p v q) (p q)

V V V V V
V F V F F
F V V F F
F F F V V
50. (p v q) (q p) v p TAUTOLOGA

p q p (p v q) (q p) (p v q) (q p) (p v q) (q p) v p

V V F V V V V
V F F V V V V
F V V V F F V
F F V F V V V

51. (p q) v (p q) PROPOSICIN EMPRICA

p q (p q) (p q) (p q) v (p q)

V V V V V
V F F F F
F V F V V
F F V V V

52. (p v q) (p q) PROPOSICIN EMPRICA

p q p q p v q p q (p v q) (p q)

V V F F V V V
V F F V V V V
F V V F V F F
F F V V F V V

53. p ^ q p PROPOSICIN EMPRICA

p q p q p ^ q p ^ q p
V V F F F V
V F F V V F
F V V F F V
F F V V F V

54. [(p v q) ^ (q p) v p TAUTOLOGA

p q p p v q q p (p v q) ^ (q p) [(p v q) ^ (q p) v p

V V F V V V V
V F F V V V V
F V V V F F V
F F V F V F V
55. (AB) ^ (BC) (AC) TAUTOLOGA

A B C AB BC (AB) ^ (BC) AC (AB) ^ (BC) (AC)

V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

56. (p q) ^ q PROPOSICIN EMPRICA

p q q p q (p q) ^q
V V F F F
V F V V F
F V F V V
F F V F F

57. (p ^ q r) (q s v t) ^ (p ^ r) PROPOSICIN EMPRICA

p q r s t p r p ^ q p ^ q r (p ^ q r) q s (q s v t) (p ^ q r) (q
s v t)
p ^ r (p ^ q r) (q s
v t) ^ (p ^ r)
V V V V V F F V V F V V V F F
V V V V F F F V V F V V V F F
V V V F V F F V V F F V V F F
V V V F F F F V V F F F V F F
V V F V V F V V F V V V V F F
V V F V F F V V F V V V V F F
V V F F V F V V F V F V V F F
V V F F F F V V F V F F F F F
V F V V V F F F V F F V V F F
V F V V F F F F V F F F V F F
V F V F V F F F V F V V V F F
V F V F F F F F V F V V V F F
V F F V V F V F V F F V V F F
V F F V F F V F V F F F V F F
V F F F V F V F V F V V V F F
V F F F F F V F V F V V V F F
F V V V V V F F V F V V V F F
F V V V F V F F V F V V V F F
F V V F V V F F V F F V V F F
F V V F F V F F V F F F V F F
F V F V V V V F V F V V V V V
F V F V F V V F V F V V V V V
F V F F V V V F V F F V V V V
F V F F F V V F V F F F V V V
F F V V V V F F V F F V V F F
F F V V F V F F V F F F V F F
F F V F V V F F V F V V V F F
F F V F F V F F V F V V V F F
F F F V V V V F V F F V V V V
F F F V F V V F V F F F V V V
F F F F V V V F V F V V V V V
F F F F F V V F V F V V V V V

58. p ^ q p PROPOSICIN EMPRICA

p q p p ^ q p ^ q p

V V F F F
V F F F F
F V V V F
F F V F V

p q p v q (p q) p v q (p q)

V V V V V
V F V F F
F V V V V
F F F V F

60. (p v q p ^ r) (q ^ r) ^ r PROPOSICIN EMPRICA

p q r p q r p v q p ^ r (p v q p ^ r) q ^ r (q ^ r) (q ^ r) ^ r (p v q p ^ r) (q ^ r) ^r

V V V F F F V V V F V V V
V V F F F V V F F F V F V
V F V F V F F V V F V V V
V F F F V V F F V V F F F
F V V V F F V F F F V V F
F V F V F V V F F F V F V
F F V V V F V F F F V V F
F F F V V V V F F V F F V

61. (p v q) (p q v r) PROPOSICIN EMPRICA


P q p v q (p q) p v q (p q)
V V V V F
V F V F F
F V V F F
F F F V V

p q r p q p v q p q p q v r (p v q) (p q v r)

V V V F F V V V V
V V F F F V V V V
V F V F V V V V V
V F F F V V V V V
F V V V F V F V V
F V F V F V F F F
F F V V V F V V F
F F F V V F V V F
63. p v (q ^ r) (r p) PROPOSICIN EMPRICA

64. (p q) ^ (r v p r) PROPOSICIN EMPRICA

65.

p q r p q r q ^ r p v (q ^ r) r p p v (q ^ r) (r p)

V V V F F F F F F V
V V F F F V F F V V
V F V F V F V V F F
V F F F V V F F V V
F V V V F F F V V V
F V F V F V F V F F
F F V V V F V V V V
F F F V V V F V F F
p q r p q r p q r v p r v p r (p q) ^ (r v p r)

V V V F F F F V F F
V V F F F V F F F F
V F V F V F V V F F
V F F F V V V F F F
F V V V F F V V F F
F V F V F V V V V V
F F V V V F V V F F
F F F V V V V V V V

Ecuaciones

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Ecuaciones

Загружено:

Авторское право:

Доступные форматы

1.

Вам также может понравиться