Week 3 - Negations

In this week we learned many interesting new concepts of conjunction, disjunction, and most importantly negation.
Conjunction or 'and', brings two set as one, it is a way to modify qualification or implications so P,Q becomes P and Q. This also changes the truth table for P,Q because now in order for P v Q to be true, P and Q both has to be true, and if it turns out on of them is false or both of them is false then the answer for P v Q is false. Disjunction in other hand means 'or' and has a symbol of '^'. This makes the statement to be true if one of the P,Q is true.
Negation is a big part of this week's lesson. If we negate a statement says 'some P is a Q' this statement becomes 'not(some P is a Q)' and it is equal to the saying 'every P is a non-Q'. If we negate a statement 'not(every P is a Q)' then this becomes 'some P is not a Q'. Therefore we can conclude that when we negate some statement it changes the qualifier from 'for all' to 'there exist' or vice versa.
We also learned about DeMorgan's Law. This law I felt is the most commonsense concept I have learned this week. This law contains two definitions, one is (not(s1 and s2)) becomes (not(s1) or not(s2)), and second (not(s1 or s2)) becomes (not(s1) and not(s2)). This concept is very easy for me to understand because it is so commonsense and related to daily life. For example, we all know when 'apple and dog is animal' is false when either 'apple' or 'dog' is not animal, and when 'apple or orange' is animal' is false when 'apple' and 'orange' both are not animal.