SOLUTION: I need help finishing this proof. Pv~R,~R->S,~P|- S&~R 1 (1) Pv~R A 2 (2) ~R->S A 3 (3) ~P A

Algebra ->  Proofs -> SOLUTION: I need help finishing this proof. Pv~R,~R->S,~P|- S&~R 1 (1) Pv~R A 2 (2) ~R->S A 3 (3) ~P A      Log On


   

Question 227925: I need help finishing this proof.
Pv~R,~R->S,~P|- S&~R
1 (1) Pv~R A
2 (2) ~R->S A
3 (3) ~P A
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  P v ~R 
2.  ~R -> S
3.  ~P             / S & ~R 
---------------------------
4.  ~R                     1,3    Disjunctive Syllogism
5.  S                      2,4    Modus Ponens
6.  S & ~R                 5,4    Conjunction