indirect proof

Show Summary Details

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

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.