what is proof by exhaustion
we show that a statement is true for each number in consideration (or subsets of numbers)
what is disproof by counterexample
where a statement is shown to be wrong by finding a single example for when it is not satisfied
what is proof by contradiction
a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction
define contrapositive
refers to the inference of going from a conditional statement into its logically equivalent contrapositive
odd number
2n + 1
even number
2n