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

Algebra ->  Proofs -> 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      Log On


   

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