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

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

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)

I need help finishing this proof. (P . Q) -> (R v S) :. (P -> R) v (Q -> S) 1. (P . (answered by jim_thompson5910)

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

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

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

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

P, R, S, and T represent numbers when p= -3/4,r=-1/2, s=1/2 t=1 1/4 Which statement... (answered by richard1234)

P, R, S, and T represent numbers, P= -3/4, R= -1/2, S=1/2, T= 1 1/4. Which statement... (answered by MathLover1)