Stress relieving...

As it's getting to the end of the semester, I'm getting increasingly stressed. The best relief? Logic! It was suggested in class that we do some problems from sections 7.3 and 8.3 in Bonevac's Deduction, and I spent some time zoning out doing proofs. In case you're interested, here are the solutions. Ahhh... All better now...