SOLUTION: Prove this 1. P∨Q 2. (Q∙~R)→S 3. R→P 4. ~P ∴ S I don't understand where to go from here,

Algebra.Com
Question 677564: Prove this
1. P∨Q
2. (Q∙~R)→S
3. R→P
4. ~P ∴ S
I don't understand where to go from here, I appreciate the help very much! I need to better understand the concept from this example
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.   P ∨ Q
2.   (Q ∙ ~R) → S
3.   R → P 
4.   ~P         ∴ S 
---------------------------
5.   ~R                3,4   Modus Tollens
6.   Q                 1,4   Disjunctive Syllogism
7.   Q ∙ ~R            6,5   Conjunction
8.   S                 2,7   Modus Ponens

RELATED QUESTIONS

1. ~P∨Q 2. Q→R ∴ P→R 1. R∨~Q 2. P→Q 3. ~R (answered by Edwin McCravy)
1. (Q∨R)→(W∨U) 2. W→P 3. (answered by jim_thompson5910)
Solve use reductio ad absurdum 1. ~P→(R∙S) 2.... (answered by math_helper)
1. (Q∨R)→(W∨U) 2. W→P 3. Q∙T 4. U→Z 5. S→M (answered by jim_thompson5910)
write a direct proof using the eight rules of inference (C → Q) • (~L →... (answered by Edwin McCravy)
Construct Conditional Proofs 1. P → Q 2. (P • Q) → R 3. P → (R... (answered by jim_thompson5910)
1. (A∨~B)→(F∨(R∙G)) 2. A 3. F→L (answered by math_helper)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
Q∨P R→~P R→Q Here is what I put but I have not been able to pass... (answered by jim_thompson5910)