Sunday, January 27, 2013

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.

No comments:

Post a Comment