Entry 5 - Week 6

No tutorial or Monday lecture this week because of Thanksgiving, so there isn't all that much to say this week. Most of the stuff in the lecture was pretty intuitive; proving negations is just combining what we learned about negations with the work we've been doing on proofs. I did the problems for next week's tutorial and didn't have too much trouble, so I'm feeling fairly confident for what's ahead.