LOGICA MATEMATICA

LOGICA MATEMATICA
1. p q

32. (p q) (q p).

1. p q

32. (p q) (q p).

2. (p q) r

33. (p q p v r) (q v r) r

2. (p q) r

33. (p q p v r) (q v r) r

3. (p q) (p q)

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

3. (p q) (p q)

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

4. (p q) (p q)

35. p (q v r) s

4. (p q) (p q)

35. p (q v r) s

5. p q r

36. (p q) v (p q)

5. p q r

36. (p q) v (p q)

6. (p q) (p q)

37. (p v q) (p q v r)

6. (p q) (p q)

37. (p v q) (p q v r)

7. (p q) (p q)

38. (p q p v r) (q v r) r

7. (p q) (p q)

38. (p q p v r) (q v r) r

8. p q r

39. [ (p v q) (r s) + v t

8. p q r

39. [ (p v q) (r s) + v t

9. (p q) (p q)

40. (p q) v r * r (p q)]

9. (p q) (p q)

40. (p q) v r * r (p q)]

10. p q r

41. * (p v q ) r + * (p q) v r ]

10. p q r

41. * (p v q ) r + * (p q) v r ]

11. p q r

42. (p q p r) (q v r) v r

11. p q r

42. (p q p r) (q v r) v r

12. p q r

43. (p q r) ( q v r) v ( r v s )

12. p q r

43. (p q r) ( q v r) v ( r v s )

13. p p

44. (p q p r ) * ( q v r) v ( r q) +

13. p p

44. (p q p r ) * ( q v r) v ( r q) +

14. (p q) (p q)

45. (p q) (p v p q v r)

14. (p q) (p q)

45. (p q) (p v p q v r)

15. p q

46. (p r p) (q p r) r

15. p q

46. (p r p) (q p r) r

16. p q

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

16. p q

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

17. p q v r

48. p v q (p q)

17. p q v r

48. p v q (p q)

18. [ (p q) v (p q)+ * (p q) v p ]

49. (p v q) (p q)

18. [ (p q) v (p q)+ * (p q) v p ]

49. (p v q) (p q)

19. (p q) ( p q)

50. * (p v q) (q p) + v p

19. (p q) ( p q)

50. * (p v q) (q p) + v p

20. (p q) v (p q)

51. (p q) v ( p q)

20. (p q) v (p q)

51. (p q) v ( p q)

21. (p q) (p q)

52. (p v q) ( p q)

21. (p q) (p q)

52. (p v q) ( p q)

22. q p

53. p q p

22. q p

53. p q p

23. (p q r) (q v r) v r

54. (p v q) (qp)+ v p

23. (p q r) (q v r) v r

54. (p v q) (qp)+ v p

24. (q r) (q v r) v r

55. *(AB)/\(BC)+ (AC)

24. (q r) (q v r) v r

55. *(AB)/\(BC)+ (AC)

25. (p q ) r (p v r) v r

56. (p q) q

25. (p q ) r (p v r) v r

56. (p q) q

26. (p q) (q r) (p r)

57. (p q r) (q s v t) (p r)

26. (p q) (q r) (p r)

57. (p q r) (q s v t) (p r)

27. p (q r) (q v r)

58. p q p

27. p (q r) (q v r)

58. p q p

28. * (p v q) (p q)+ *(p q) v p+ v p

59. p v q (p q)

28. * (p v q) (p q)+ *(p q) v p+ v p 59. p v q (p q)

29. * (p v q) v (p q)+ *(p q) v p+

29. * (p v q) v (p q)+ *(p q) v p+

30. (p q) (q r) (p r)

30. (p q) (q r) (p r)

31. (p q r) (p v r )

31. (p q r) (p v r )