indirect proof

Quick Reference

A theorem of the form pq can be proved by establishing instead its contrapositive, by supposing ¬ q and showing that ¬ p follows. Such a method is called an indirect proof. Another example of an indirect proof is the method of proof by contradiction.

Subjects: Mathematics.

Reference entries