Proving an implication

One of most common thing you would prove in this course is an implication, i.e. a logical statement of the form PQ. In this note, we will recap some common ways to prove an implication.