SLOG2

    This week I enjoyed a good time learning some complicated logic converts, which make me enable to turn some kinds of statements into symbolical descriptions, and of course, vice versa.
    It is an interesting process turning a normal sentence into some symbols, and the most important thing is they finally refer to the same meaning! I did not even imagine I could use some symbols to represent statements before attending the class this week!
    Actually, to realize those magical things I mentioned above, I only need several simple symbols.
The symbols are : ¬(negate),   ∧(and), ∨(or), ==> , <==, ∃(some) and ∀(all)
For example, if there is a statement “All the employees earn more than $3000.”
How to turn it into some symbols?
    FIRSTLY ，you have to assume that “earn more than $3000” as P, the set of employees as E
    SECONDLY, do the convert, following the meaning of the statement.
∀x∈ E, P.
    It is easy and clear, right?
    Then how to convert “Not all employees earn more than $3000 ”?
¬∀x∈ E, P. You can also state that in this way: ∃ x∈ E, P.

    It is, maybe, the best choice during this year to join this class, because it has been greatly helping me understand the logic world, which is a world I had never considered about.
    Of course, a good class should create some challenges for students to improve them and help them be experts in the fields that the class talks about. This class is a typical good class. After the class on Monday, I spent about 3 hours in the library, looking at the teaching materials, trying to find the specific logical relationship among those symbols I did not even see before.Unfortunately, I still failed. But the tutorial gave the hope and useful help, and now I can proudly say I have totally got command of the symbols and their logical relationship.