HUNTERTUTORING

Answer Key — Proof systems and completeness

View PDF →

Mathematical logic & set theory

Do not share with students before practice tests.

Worksheets — Sets 1–10

| Set | Guidance | | --- | --- | | Set 1 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 2 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 3 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 4 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 5 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 6 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 7 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 8 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 9 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 10 | Proof systems and completeness — verify written work and accept reasonable drawings. |

Worksheets — Sets 11–20

| Set | Guidance | | --- | --- | | Set 11 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 12 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 13 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 14 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 15 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 16 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 17 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 18 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 19 | Proof systems and completeness — verify written work and accept reasonable drawings. | | Set 20 | Proof systems and completeness — verify written work and accept reasonable drawings. |

Review tiers 1–10

  • Checklists are parent-judged.
  • Written items: verify against practice set patterns.
  • Standard text: Natural deduction or Hilbert-style proof systems (introduction) Soundness and completeness theorems (statements) Compactness theorem and its consequences (introduction) Löwenheim–Skolem theorems (overview) Undecidability and Gödel's incompleteness theorems (introduction)

Practice test scoring

| Tier | Pass guidance | | --- | --- | | 1–3 | Most oral tasks smooth; majority of written correct | | 4–6 | 7/10+ total with clear understanding | | 7–8 | 9/12+ with explanations | | 9–10 | Near-perfect; ready to move on |

___________________________ ___________________________ ___________________________ ___________________________ ___________________________ ___________________________

For your personal study only. Copying, printing, screenshotting, or sharing this material is not permitted and may result in loss of access.

Back to unit