4 Proof by contradiction

Proof by contradiction is essentially saying that if a proposition is not true, then there is a fundamental contradiction in the logic system itself.

It is best to illustrate this with examples.