Week 2

In week 2, we learned about negation, disjunction, conjunction, intersection, contrapositive, implication, converse, and vacuous truth. 

I understood that implication was simply a statement: If P then Q, which P was the antecedent and Q was the consequent. Reading from left to right, this is one way/ direction. In converse/ other direction, the implication worked also because both P and Q were consistent. In inverse/contrapositive, the implication P => Q then became ~Q => ~P (~ is an alternative symbol of negation symbol)

For example:

Statement: If I walk around, then I am bored. (=>)
Converse: If I'm bored, then I walk around. (<=)
Contrapositive/Inverse: If I'm not walking around, then I'm not bored. (adding "not")

Moreover, vacuous truth simply meant that if we had an implication and there was no counterexample then it was true (no matter how ridiculous the implication statement was). 

For example: 

"If the sky turns red tomorrow then I will be the tallest man in the world."  (thanks to vacuous truth. This is true because there is no counterexample to this statement.)