SOLUTION: I need help solving this proof. P,QvR,~RvS,~Q |- P&S 1 (1) P A 2 (2) QvR A 3 (3) ~RvS A 4 (4) ~Q A

Algebra ->  Proofs -> SOLUTION: I need help solving this proof. P,QvR,~RvS,~Q |- P&S 1 (1) P A 2 (2) QvR A 3 (3) ~RvS A 4 (4) ~Q A      Log On


   

Question 227929: I need help solving this proof.
P,QvR,~RvS,~Q |- P&S
1 (1) P A
2 (2) QvR A
3 (3) ~RvS A
4 (4) ~Q A
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   P
2.   Q v R
3.   ~R v S
4.   ~Q                 / P & S
---------------------------------
5.   R                          2,4    Disjunctive Syllogism
6.   ~~R                          5    Double Negation
7.   S                          3,6    Disjunctive Syllogism  
8.   P & S                      1,7    Conjunction