Week 1 & 2: Implication and Claim

     Throughout the first two weeks of CSC165 course, I was able to expand my knowledge on how the mathematical reasoning is related to computer science. During the first week, I learnt about two types of claim; universal and existential claim. 

    Universal claim is when there is not a single counter argument towards the claim, I can justify that the claim is universal claim. Nonetheless if there is at least one counter argument which is true, then the claim is no longer an universal claim. On the other hands, for existential claim, there can only be one evidence to support the claim. 

    One of the most difficult part throughout this two weeks was the concept of implication, converse, and contrapositive. Not to mention I had to learn the symbol for both universal claim and and existential claim. 

    Following below symbols were required to recognize during the week 2 classes. 

Symbol   Definition

∀:           for every, for all

∃:            some, there is 

¬:            not 

∈:           is a subset(or element) of

    Basic concept of implication, converse, and contrapostive was as follows;

∀x ∈ Z, f(x) → g(x)   This indicates that for every element of x is a subset(or element) of set Z. 

                                 And if f(x) is true, then g(x) is also true (or If f(x) then g(x)).

     Now this is an implication which uses the format of 'if f(x), then g(x)'. However later in week 2, I was able to realize that implications can take any form (meaning it is not necessary to follow the written form, "if x, then y")  as I listened to "natural" language slide on Danny's PowerPoint.   

∀x ∈ Z, f(x) → g(x)  can be rewritten as ∀x ∈ Z, if f(x), then g(x)

    Now let ∀x ∈ Z, f(x) → g(x) be my example of implication. Then converse of my implication would be ∀x ∈ Z, g(x) → f(x), which tells "For every element of x is a subset Z, and if g(x) is true, then f(x) is also true. However the converse of the original example of implication contains a different information compare to the original implication example I used. This was later proven by Danny's lecture using "numerical example".

   Yet, unlike the converse of the implication, the contrapostive of the implication contains the same information as the original implication. The contrapositive of my implication example would be 

∀x ∈ Z, ¬f(x) → ¬g(x)

The above claim can be interpreted as "for every element of x is a subset of Z, and if f(x) is false, then g(x) is also false". The understanding of contrapositive was also understood by the same slide "numerical example". 

For instance, using a numerical example, let f(x): x be a multiple of 3, and g(x): x³ is a multiple of 3. (This will be my mathematical approach for week 1 and 2.) And let's say the claim "x is a multiple of 3" is true. Given the following information, the result is as follows;. 

Claim                             Type of claim        Result

∀x ∈ Z, f(x) → g(x)           Implication             x is a multiple of 3 → x³ is also a multiple of 3. 

∀x ∈ Z, g(x) → f(x)           Converse               No information 

∀x ∈ Z, ¬g(x) → ¬f(x)       Contrapositive        x³ is not a multiple of 3 → x is not a multiple of 3.
                                                                  (contains the same information as the implication) 

As a result, whenever implication, f(x) → g(x) is true, ¬g(x) → ¬f(x) is true as well. 

 Thus, at a first glance, the course material looked insanely difficult, however as I pay a close attention to professor's lecture, I was able to learn what the course is step by step. Of course, I decide to review every course material I did in order to not forget the information I learnt. As for the first tutorial and quiz, I think it went pretty well considering how I was able to understand what the question was asking. In conclusion, the course material was good and I cannot wait to write for my next entry of slog.