Given the following premises:
1)∼P
2)L ⊃ (P ∨ M)
3)(P • M) ⊃ (∼R ∨ ∼R)
A)(P • M) ⊃ ∼R 3, Taut
B)P 3, Simp
C)L ⊃ (∼R ∨ ∼R) 2, 3, HS
D)(L ⊃ P) ∨ (L ⊃ M) 2, Dist
E)M 1, 2, DS

Question

Quizplus · Accepted Answer

E  A) The tautology (∼R ∨ ∼R) simplifies to ∼R, making the statement (P • M) ⊃ ∼R valid.  E) Using disjunctive syllogism (DS) on premises 1 and 2, since ∼P is true, M must be true.

Given the Following Premises