week5

This week went so fast. We did the term test and learned many ways of proving. The term test is not difficult. Some questions are very similar to the previous. Given some python Boolean functions, and work out the output. We were also given the question about negation. By doing lots of exercises during the tutorial, all of these are easy. The lectures of this week were mainly about proof. When we don’t know how to prove the origin statement, we could prove its contrapositive.