LPL You Try It 8.2c: Rules of Proof for the Biconditional

This goes through the third "You Try It" exercise in Language, Proof, and Logic section 8.2, proof rules for the biconditional.