Week 3

  This week's content is pretty tricky because we are trying to translate English to symbols. The problem is that English may not very clear stating a statement but symbol only leads to one possibility. For example, English has exclusive situation about "or" or "and" but not symbol. Moreover, it's a special case that when we facing an "unless", we can just translate it to "if not".

  Conjunction:

              A conjunction is false is either part is False. * its different from application.*

  Negation:

           Basically a negation is to put a "Not" in front a statement, and sometimes it give us a counterexample as well.

Week 2

  This week's lectures are basically discussed about math logic or statement in computer science. Firstly, we review how to use math symbols to state English sentences or in the opposite way. For example, there are two main types of statements to describe quantifiers which are universal claims and existential claims. 

  However, there are something unclear for me about describing existential claim. In this week's tutorial problem set, there is a statement start with "there is one of three...". I am confused about this question because I cannot be sure whether it is saying "there is exactly one" or "there exists one".

  Secondly, graphic diagram-- Venn diagram is very helpful to understand the relationships between claims. Every time if you are not sure about some quantifiers' relations, to draw a diagram is the best to get a better understanding.