Use propositional logic to prove the validity of the arguments in Exercises 1-. These will become…

Use propositional logic to prove the validity of the arguments in Exercises 1-. These will become additional derivation rules for propositional logic, summarized in Table 1.14. 1. (P V Q) ∧P”→ Q 2. (P →Q) -(Q” →P”) 3. (Q”→P”) → (P <Q) 4. P→P∧P 5. P V P →P 6. [(P ∧Q) →R] → [P→ (Q R)] 7. P∧P”→Q 8. P A (Q V R) — (P ∧Q) V (P ∧R) 9. P V (Q ∧R) →(P V Q) ∧(PV R) P V (Q ∧R) -→(P V R); for each proof, first rewrite the Read more…