Worksheets — Set 11
Mathematical logic & set theory · Propositional and predicate logic
Print and write your answers. Use diagrams to show thinking.
Warm-up
1. Prove: the sum of two even integers is even. ___ 2. Give a direct proof that √14 is irrational (outline key step). ___ 3. Prove by induction: 1 + 2 + … + n = n(n+1)/2
_See printable PDF for diagram._
Written practice
1. Prove: the sum of two even integers is even. ___ 2. Give a direct proof that √13 is irrational (outline key step). ___ 3. Prove by induction: 1 + 2 + … + n = n(n+1)/2 4. State the contrapositive of: if n² is even, then n is even ___ 5. Find a counterexample if false: every continuous f is differentiable 6. Write a ε-δ style argument outline for a limit. ___ 7. Give a direct proof that √16 is irrational (outline key step). ___ 8. Give a direct proof that √19 is irrational (outline key step). ___
___________________________ ___________________________ ___________________________ ___________________________
More written practice
1. Give a direct proof that √22 is irrational (outline key step). ___ 2. Give a direct proof that √25 is irrational (outline key step). ___ 3. 3 + 5 = ___ 4. 4 + 6 = ___ 5. 5 + 7 = ___ 6. 6 + 4 = ___
___________________________ ___________________________ ___________________________ ___________________________ ___________________________
Patterns and rules
1. Prove: the sum of two even integers is even. ___ 2. Give a direct proof that √30 is irrational (outline key step). ___ 3. Prove by induction: 1 + 2 + … + n = n(n+1)/2
_See printable PDF for diagram._
___________________________ ___________________________ ___________________________ ___________________________
Parent tip: Start from what is given