Week 4

We covered some more about the differences between the universal and existential quantifiers at the beginning of this week, and although this made sense I found it interesting to see exactly what can happen when wrong assumptions are made. In tutorial we went over some simple negations, proofs, and guarantees. At first the guarantees section did not really make much sense to me, but after seeing Gal go through every step I was able to grasp the concept a lot better. This week the first assignment was also due. I think that I did fairly well on this assignment, as I understood how to do all the questions. Any marks off would simply be for me making a mistake and not because I did not know how to do something. Hopefully this assignment will serve as a good indicator of my progress and whether or not I actually understand things fully.