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.
No comments:
Post a Comment