Fire Proof

This week, we started off with more implications and laws.  First we looked at bi-implication, and a few different ways of writing these statements.  I think I am slowly catching on, and I feel somewhat confident about finding the negation of most statements.  Equivalency is still a challenge though, and I am not too sure how the laws of distribution work in some cases.  Next we covered transitivity which seemed straightforward.  Working through Assignment 1 gave me a bit of understanding with transitivity as well, so by the time the material came up it seemed fairly clear.  We moved on to mixed quantifiers next, demonstrating how switching around a statement might mean different things.  An example was shown about how this is done in math, and while the math equation was not too challenging, the way the instructor explained it was a bit convoluted.  After studying the example for a while I think I understand, but as he was explaining it I was completely lost.  After a break, we had our first introduction to proofs.  I had done a few proofs in calculus in high school, so this was not extremely new to me, but the types of transformations are.  I suppose these first few weeks have been about learning the building blocks that we will use to accomplish the proofs that are yet to come.  This is somewhat exciting actually, because it will help me learn the laws that we have been working on.  I think proofs are very beautiful, and I would love to be fluent in solving them. For now though, it does feel like my head is on fire, panicking as it can't escape the burning equations falling on top of it. 

M