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 ->  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

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

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(14873) 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