Proof Flashcards
NOT P
¬ P
P AND Q
P ∧ Q
If P then Q
P ⟹ Q
P if and only if Q
P ⟺ Q
NOT (P AND Q)
¬ P ∨ ¬Q
(NOT P) OR (NOT Q)
Direct proof steps
- Write down assumptions and known facts
- Create a logical chain of argument
- Deduce the statement to be proven
Proof by cases
Breaking down the statement into cases and proving them each on their own
Proof by contradiction steps
- Assume the negation of the statement (¬P) is true
- Use logical deductions to show it leads to a contradiction and conclude that the original statement (P) is true
Proof by induction steps
- Base case - irst check the base case: P(n) is true
The smallest possible n is usually 0 or 1 unless stated otherwise - Inductive Hypothesis - assume P(k) is true for some k such that k ∈ N
- Inductive Step - show if the statement is true for n = k then it must be true for n = k + 1
- Conclusion - conclude the statement holds for all n (since base case and inductive step work)
Proof by construction
- Create an object or example that satisfies the given statement
- Show that the object or example meets the required conditions
- Conclude that the statement is true by virtue of the constructed object or example
When to use direct proof
Claims in the form “if (some claim A is true), then (some other claim B is true)”.
When to use case proof
Claims with modular arithmetic, even versus odd numbers, claims about “is a multiple of”, or absolute values.
When to use construction
Claims in the form “Show that blah exists?”
When to use induction
Claims where it seems like your previous results stick together to give you a later result.
When to use contradiction
Anything else :’)