week4

This week I learned something about transitivity, the order of ‘for all, one’ and ‘one for all’, and proof. I thought that the order of the symbols ‘for all’ and ‘exist one’ does not matter before I took the class. After this week, I know this order is important, especially when we write some programs. Computers will give us different answers with different orders. Proof is always the hardest part. Just like the math class I am taking, the structure is important, and we need to know what we want to show. Proving takes long time to think and understand every step, and we need to make our proofs convincing. The tutorial of this week is showing the equivalence. Implication rules and DeMorgan’s laws are important. Every small symbol is important.