Proofs!

Joy to the world! The long awaited "Reading Week" has finally arrived!

So this week has dominantly been about proofs. The method / style being taught on how to set up these proofs is odd in my personal opinion, but easy to get used to. I like the structure of creating the assumptions and conclusions first, then working out the middle to connect the two ends. I find it trivial however to comment on every single line of the proof. I understand that it makes the code more understandable for others, as well as myself for when I come back to it later on, but still. Some steps are just obvious, but I guess it provides good practice for the more important steps.

Exercise 2: This exercise consisted of just proofs. I found the proofs in question 1 to be fun. It's easy to convert symbolic statements with the material given in chapter 3. You just need to mess with / convert the given statement until it looks like the given solution. Question 2 was also somewhat easy, however I'm not as fond of the steps to proving these types of statements. Having to state your assumptions, conclusions, and given information along with the middle portion is a little tedious to me, however important it is to mention.

Overall, proofs don't seem to be that hard to work with. I'm sure they'll get harder soon, but for now they're okay. That's all for now. 'night.