This week we talked more about logics, and the mid term is coming up next week.
At first I was a little confused with how we got from P <--> Q to not P or Q. But from looking at the slides a few times I now get it and are comfortable with the derivations in them. The reference to epsilon-delta proofs was quite surprising as I was doing them in both my first year and mat237 now.
The proof section was also pretty clear to me, I will work more on bi-implications for the mid term. Lastly, I found that the hanging paradox that professor told us might have some flaw in its logic, but I don't know quite exactly which part is wrong.
