SOLUTION: I need help finishing this proof. (P<->Q)->R,P->Q,Q->P |-R 1 (1) (P<->Q)->R A 2 (2) P->Q A 3 (3) Q->P A

Question 227930: I need help finishing this proof.
(P<->Q)->R,P->Q,Q->P |-R
1 (1) (P<->Q)->R A
2 (2) P->Q A
3 (3) Q->P A
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1. (P<->Q)->R  
2.  P->Q   
3.  Q->P          / R
--------------------------------
4.  (P->Q) & (Q->P)              2,3    Conjunction
5.   P<->Q                         4    Material Equivalence
6.   R                           1,5    Modus Ponens

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

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

If p,q,r are any real numbers,then a)max(p,q) < max(p,q,r) b)min(p,q)=1/2((p+q)-(p-q)) (answered by tommyt3rd)

q+r/q+p (answered by Alan3354)

P->~(Q&R),Q->R:... (answered by lynnlo)

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

1. P v R 2. R -> Q ////// :. (P v Q) (answered by solver91311)

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