Introduction to Proof: Informal and Two Column Proofs

Counterexamples

When you learned about inductive reasoning in the last section, you learned about counterexamples.  That is, an example that proves a statement is false.

Recall that 2 is a counterexample for the statement "All prime numbers are odd" because it is an even prime number, thus proving the statement false.

A theorem is a hypothesis.  Until it is proven, it is assumed true unless a counterexample can be given.

Example:

Statement: All non-prime odd numbers are divisible by 3 or 5.
Can you think of a counterexample?

solution