1 Construct derivations to show that the following arguments are valid. You may use the expanded rules. a) P → (Q → R) ∴ Q → (P → R)
1 Construct derivations to show that the following arguments are valid. You may use the expanded rules.
a) P → (Q → R)
∴ Q → (P → R)
b) (L ∨ M) ∧ (L ∨ ¬S)
A → ¬L
A → (¬M ∨ S)
∴ ¬A
2 Construct a derivation of the following theorems. Again you may use the
additional rules.
a)[(H → I) → H] → H
b) [A ∨ (A ∨ A)] → A
c) (A ∧ B) ↔ (B ∧ A)
Click here for further assistance on this assignment
