








Rule 14: Pack Biconditional (PB) If Q P and P Q are both available lines, then P Q may be written as a new line in the derivation. 
Rule 15: Unpack Biconditional (UB) If P Q is an available line, then Q P or P Q may be written as a new line in the derivation. 
1.  2.  3.  4. 
5.  6.  7.  8. 
9.  10.  11.  12. 
13.  14.  15.  16. 
17.  18.  19.  20. 
21.  22.  23.  24. 
25.  26.  27.  28. 