SOLUTION: 1.(D v L) -> ~S 2.(D & J) 3.(S v P) / P where v is a disjunction, & is a conjunction, -> is an implication

Algebra ->  Conjunction -> SOLUTION: 1.(D v L) -> ~S 2.(D & J) 3.(S v P) / P where v is a disjunction, & is a conjunction, -> is an implication       Log On


   

Question 977529: 1.(D v L) -> ~S
2.(D & J)
3.(S v P) / P

where v is a disjunction, & is a conjunction, -> is an implication
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1.(D v L) -> ~S
2.D & J
3.S v P
:.P
4.D2Simplification
5.D v L4Addition
6.~S1,5Modus Ponens
7.P3,6Disjunctive Syllogism