Problem 17. Which of the following are tautologies? Prove the tautologies in the following list by natural deduction. To
Posted: Sat Nov 27, 2021 10:26 am
- Problem 17 Which Of The Following Are Tautologies Prove The Tautologies In The Following List By Natural Deduction To 1 (33.18 KiB) Viewed 131 times
Problem 17. Which of the following are tautologies? Prove the tautologies in the following list by natural deduction. To prove something of the form p 4, you must give a proof of p+q and another proof of q + p. 1. (pvp) →p. 2. ((PVB) V7) + (pv (9V)). 3. (p+)-(piq). 4. (pA (pVq)) p. 5. (PVq) (-p). 6. p(q+)+(p+q) + (p+)). 7. (p+q) + (p+-9) +-p). 8. pp. 9. pp. 8/11 9 10. (p+q) (ap). 11. ((+9)+p) →p. 12. (p+q) + (pvq). 13. p Vap.