In this lesson, we learn about several types of proofs and their differences. The most common types of proofs discussed are direct proofs, indirect proofs, proofs by contradiction, trivial proofs, vacuous proofs, and proofs by exhaustion. The lesson provides examples for each type of proof and explains how to use them to prove statements true or false. The lesson also includes a famous proof by contradiction for the irrationality of the square root of 2 and a proof by contradiction for the infinitude of prime numbers.
A brief introduction to several types of proofs and simple examples of each type. Several proofs of each type are worked through, and differences between types of proofs are examined. Now, you can finally understand how different proofs are different, what a proof is, and how to complete different proofs.