Week 4

On this week, we finished learning the language of math, with bi-implications and mixed quantifiers, which is a subject that I found not so difficult. And them we started learn about proofs, the why, what and how. We saw that we can start from both ends, the beginning or the end, and sometimes one is easier then the other. It is necessary to seek the proof finding the chain, through the bubble search, or the tree search. In the tutorial we had a little bit of negations, proving equivalence, and guarantees, where I had a little bit of difficulty with the first one.