W2 Flashcards

[hockeyj85]

• [x] Predicate
• [x] Universe of discourse
• [x] Axiom
• [x] Proof by contradiction
• [x] Proof by induction
• [x] Invariant: A property that is present at the beginning, and present at every step, which is (or is not) present in the solution.
• [x] Corollary: Something that naturally follows from a lemma.
• [x] Parity
• [x] Lemma: Something to be relied on and trusted as true to prove a theorem.
• [x] Strong induction