CSC165 SLOG week5

This week we have a term test for CSC165.Therefore, we only have two lectures. We continued to learn the structure of proof.Generally, there are two steps or phases to creating a proof:1. Understanding why something is true.2. Writing up your understanding. Sometimes these steps can be combined, and often these steps feedback on each other.For the proof outline, when we prove a statement leaded by the universally quantification, we assume the element is a generic one.And we conclude with the whole statement. In the middle, we assume antecedent and then try to prove the consequence of implication. When we prove a statement leaded by existential quantification, we just pick an element from the specific scale, then assume the antecedent and prove step by step until we get the consequence of implication. In the end, we conclude. I found out that writing comments is a good habit.Because if you could not understand one step, comments are very helpful.We also learnt how to prove by using contradiction. It seems that proof is not an easy chapter, we need to do a lot of practices to get to know how to do proof problems better.
  Btw, for the test I felt I did so so. Waiting for the result.