Question 227930
<pre>
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
</pre>