Answer Key — Propositional and predicate logic
Mathematical logic & set theory
Do not share with students before practice tests.
Worksheets — Sets 1–10
| Set | Guidance | | --- | --- | | Set 1 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 2 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 3 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 4 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 5 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 6 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 7 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 8 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 9 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 10 | Propositional and predicate logic — verify written work and accept reasonable drawings. |
Worksheets — Sets 11–20
| Set | Guidance | | --- | --- | | Set 11 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 12 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 13 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 14 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 15 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 16 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 17 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 18 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 19 | Propositional and predicate logic — verify written work and accept reasonable drawings. | | Set 20 | Propositional and predicate logic — verify written work and accept reasonable drawings. |
Review tiers 1–10
- Checklists are parent-judged.
- Written items: verify against practice set patterns.
- Standard text: Syntax and semantics of propositional logic Truth tables, tautologies, and logical equivalence Normal forms: CNF and DNF Predicate logic: quantifiers, scope, and interpretation Validity, satisfiability, and logical consequence
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 |
___________________________ ___________________________ ___________________________ ___________________________ ___________________________ ___________________________