I will hereby argue that I am the Pope. Consider the following sentence:

*If this sentence is true, then I am the Pope.*

It is an implication, i.e. a sentence of the form [tex](A\to B)[/tex], where A is *“this sentence is true”* and B is *“I am the Pope”*. If we check that whenever A (premise) is true, also B (conclusion) is true, then we have checked that [tex](A\to B)[/tex] is true. So suppose that A is true, i.e. the sentence is true. Because the sentence is true, the implication is also true, so B, the conclusion, is true. So we have verified that [tex](A\to B)[/tex] is true. But the sentence *is* [tex](A\to B)[/tex], so the premise of the sentence A as well as the sentence [tex](A\to B)[/tex] are both true. This implies that B is true.

Hence I am the Pope!