Proofs
Direct proof, proof by contrapositive and by contradiction, and how to read a proposed proof critically enough to spot a hidden gap.
3 exercises
Exercise 1
Consider the statement “for all integers and , if is even, then and are even”
Write the contrapositive of the statement.
Write the converse of the statement.
Write the negation of the statement.
Is the original statement true or false? Prove your answer.
Is the contrapositive of the original statement true or false? Prove your answer.
Is the converse of the original statement true or false? Pro…
Exercise 2
For each of the statements below, say what method of proof you should use to prove them. Then say how the proof starts and how it ends. Bonus points for filling in the middle.
There are no integers and such that is a prime greater than 5 and .
For all integers , if is a multiple of 3, then can be written as the sum of consecutive integers.
For all integers and , if is odd, then or
Exercise 4
The game TENZI comes with 40 six-sided dice (each numbered 1 to 6). Suppose you roll all 40 dice.
- Prove that there will be at least seven dice that land on the same number.
How many dice would you have to roll before you were guaranteed that some four of them would all match or all be different? Prove your answer.
Adapted from Discrete Mathematics: An Open Introduction © 2013–2019 Oscar Levin. Licensed under CC BY-SA 4.0. Source: Discrete Mathematics: An Open Introduction. Imported at revision 1e2e26b.