Week 3

CSC165 Week 3

Week 3
In this week, we studied about negation, implication, conjunction and dis conjunctions. It was a quiet interesting week as  the materials we studies are very logical and enlightening.
However, I found it to be particularly hard sometimes to differentiate between the antecedent and the conclusion. Furthermore, I find ti difficult to prove and understand the laws regarding implications, such as distributive law and De Morgan's law.

The negation part was rather easy. I was able to understand how to properly negate an implication. For instance, in order to negate "for all", we use a counter example "there exist". And in order to negate there exist, we use for all. In order to negate a conjunction, we use "or" ext.

Overall this week has been easy and understandable.