SLOG1

    During this week, I mean, from September 15th to September 21th, I learned a lot of interesting converts and theories about logic applications. Generally, they are separated into two parts.
    The first part is talking about the difference between  ALL and SOME, which are, actually, the basic antecedents of the following second part. Maybe someone will think it is funny, or even ridiculous for a university lecture to talk about the distinction of ALL and SOME, because they think these two word are maybe two of the most simple words in English. In fact, I used to think in that way before. But now, after this week, I will not do that anymore. There is actually a charming world inside these two words. For example, ALL，of course, means the whole collections, can be used to describe a unit that contains everything you need. Then an interesting thing comes---How can we verify a universal claim? Or how to falsify it? These are really not a complicating question, but what they need is logic----the purpose of attending this lecture. The answers to these questions are that we need to show there is no counter-example to verify a universal claim. Conversely, showing there is at least one counter-example is required. That is an interesting beginning of the logic subject, isn’t that?
    In the second part, we learned the implication, which sounds much more like a word in logic.An implication consists two elements---antecedent(P) and consequent(Q). The format is like P   ====>  Q, and if we change the order of P and Q, we can get converse; if we toggle the truth value of the original implication, we can get negation; if we change both the order and the truth value, we can finally get contrapositive. Here are some incredibly amazing things: The truth value of the origin is the same as the contrapositive, which means, when the origin is true, the contrapositive must be true; when the origin is false, the contrapositive must be false. So do negation and converse. That is very wonderful and unbelievable, and I am still eager to know the reason.
    I really enjoyed the class this week, especially when I found the content of this class is related to my another class-------MAT135. Both of the two classes were talking about the unit, and I can understand them better through reviewing the content of the two lectures, and then find the part to help me understand them each other better.
    This week I find I can understand and process almost all the knowledge by listening carefully to the professor and reviewing the slides literally. During the first week, I was still not in a terrific condition.
   Tutorial is another good thing to talk about here. This week is the first week for the tutorial, and the teaching assistant patiently responded and explained almost all the questions and confusions we had, besides finishing his mission----working out the exercise and telling us the answers.
   Above all, this week is really an unforgettable one, and I believe I will improve in the future and will finally get a great mark in this lecture!