Tutorial 3

I found this tutorial lesson fun. The first two parts referred to rewriting equivalence statements, which wasn't difficult at all. The third had to do with writing proper proofs. Although the concept for these isn't hard, I noticed my format for writing them isn't completely correct yet. Just need practice I guess. My favourite part though was part four, where we had to solve a problem through logic. This reminded me of a game that I found in puzzle books about five years ago. I forgot how much fun they were. I hope we get to do more of them.