Week 4

This is the 4th week of my university life. In this week, professor Larry taught us about the 

 'Implication/disjunction, mixed quantifiers, proof'. 

First of all,  he taught us that ¬(P => Q) is equivalent to  P ∧ ¬Q. Then he introduced the concept of 'Bi-implication' and mixed quantifier. I realized that the place of where i put down the quantifier will effect the meaning of equation itself. After few examples of normal life, Larry gave us a example using math, which made me confused at the beginning. However, after i read it over and over again at home by myself, i finally understood the concept of it. Also, Larry demonstrated the structure of proof in the class, which is different from what i have learnt from MAT137. Therefore, i have to memorize both ways of proof. I feel that proof is going to be the main topic in the next few weeks. Hope i can handle it.