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

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

RELATED QUESTIONS
I need help finishing this proof. (P<->Q)->R,P->Q,Q->P |-R 1 (1) (P<->Q)->R A 2 (2) (answered by jim_thompson5910)

Two column proof for: (p^q)^(~qvr)^(~rvs)=>s Need step and... (answered by robertb)

I need help completing this proof. 1. R&S, S->(P->Q), Q->P |- P<->Q (answered by solver91311)

Construct Conditional Proofs 1. P → Q 2. (P � Q) → R 3. P → (R... (answered by jim_thompson5910)

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

I need help completing this proof for my deductive logic class? 1. (O . P)--> Q 2. (answered by jim_thompson5910)

1. p <--> q 2. p -> r 3. p -> (r -> s) Therefore q -> s ...so far I've tried... (answered by jim_thompson5910)

Looking for a logical proof help using rules of implication! Thank you! 1. [(T � R) v (answered by Edwin McCravy)

I need help finishing this proof. Pv~R,~R->S,~P|- S&~R 1 (1) Pv~R A 2 (2)... (answered by jim_thompson5910)