For any two propositions (i.e., statements that can be either true or false) P and Q, we have that the compound proposition "PandQ" implies P. This is just a fancy way to describe the meaning of the word "and".

Now, let P be and Q be . Then is PandQ. Therefore, implies .