1. Read the model first
Each lesson opens with a guided explanation so the learner sees what the core move is before any saved response is required.
Predicate Logic
Predicate Logic: Quantifiers, Predicates, and Formal Structure
How internal sentence structure changes formal reasoning
Students move beyond sentence-level structure to analyze internal form with predicates, variables, and quantifiers. They learn to translate quantified claims, manage quantifier scope and variable binding, and construct short proofs using universal and existential instantiation and generalization.
Study Flow
How to work through this unit without overwhelm
2. Study an example on purpose
The examples are there to show what strong reasoning looks like and where the structure becomes clearer than ordinary language.
3. Practice with a target in mind
Activities work best when the learner already knows what the answer needs to show, what rule applies, and what mistake would make the response weak.
Lesson Sequence
What you will work through
Lesson 1
Why Predicate Logic Extends Propositional Logic
Motivates the move from propositional to predicate logic by showing arguments that propositional logic cannot capture and introduces the basic vocabulary of predicates, constants, and variables.
Start with a short reading sequence, study 2 worked examples, then use 15 practice activitys to test whether the distinction is actually clear.
Guided reading2 worked examples15 practice activitys
Lesson 2
Universal and Existential Quantifiers
Introduces the universal and existential quantifiers, teaches students to translate simple quantified English claims into first-order form, and establishes the relationship between quantifiers and the connectives that typically accompany them.
Start with a short reading sequence, study 2 worked examples, then use 15 practice activitys to test whether the distinction is actually clear.
Guided reading2 worked examples15 practice activitys
Lesson 3
Multiple Quantifiers and Scope
Tackles the hardest translation challenges in predicate logic: multiple quantifiers, nested scope, mixed universal and existential claims, and the subtleties of relational predicates.
Read for structure first, inspect how the example turns ordinary language into cleaner form, then complete 15 formalization exercises yourself.
Guided reading2 worked examples15 practice activitystranslation support
Lesson 4
Quantifier Rules in Proof
Introduces the four quantifier inference rules (universal instantiation, existential instantiation, universal generalization, existential generalization) and explains the restrictions that each rule imposes.
Use the reading and examples to learn what the standards demand, then practice applying those standards explicitly in 15 activitys.
Guided reading2 worked examples15 practice activitysstandards focus
Lesson 5
Capstone: Quantified Reasoning in Mixed Arguments
An integrative lesson that asks students to translate ordinary-language arguments involving quantifiers and predicates, construct short proofs using quantifier rules, and diagnose scope errors.
Each lesson now opens with guided reading, then moves through examples and 2 practice activitys so you are not dropped into the task cold.
Guided reading1 worked example2 practice activitys
Rules And Standards
What counts as good reasoning here
Universal Instantiation
From ∀x φ(x), infer φ(a) for any individual constant or previously introduced name a.
Common failures
- Instantiating to a name that has been reserved for existential reasoning.
- Substituting the same variable for two different bound variables by accident.
Existential Instantiation
From ∃x φ(x), infer φ(c), where c is a fresh name not appearing earlier in the proof.
Common failures
- Reusing an existing name for the witness, which can lead to spurious identifications.
- Treating the witness name as if it had arbitrary properties beyond φ(c).
Universal Generalization
From φ(a), where a was introduced as an arbitrary individual, infer ∀x φ(x).
Common failures
- Generalizing from a name introduced by existential instantiation.
- Generalizing from a name that already has specific properties from earlier premises.
Existential Generalization
From φ(a), infer ∃x φ(x) for any individual constant a.
Common failures
- Generalizing to the wrong variable when φ(a) already contains that variable free.
- Using existential generalization to justify a claim that the original individual was unspecified.
Respect Scope and Binding
No variable occurrence may be treated as bound unless a quantifier with that variable actually governs it, and no free variable may be ignored in semantic evaluation.
Common failures
- Claiming a free variable is bound because another quantifier uses the same letter.
- Misplacing a quantifier so that it binds fewer or more occurrences than intended.
Formalization Patterns
How arguments get translated into structure
Quantified Translation Schema
Input form
natural_language_claim
Output form
first_order_formula
Steps
- Identify the domain of discourse.
- Identify the predicates needed and their arities (one-place, two-place, etc.).
- Decide whether each part of the claim is universal, existential, or relational.
- Place quantifiers in the order that the English demands.
- Verify that every variable occurrence is bound and that the scope matches the English meaning.
Common errors
- Swapping the order of nested quantifiers.
- Using a two-place predicate as if it were one-place.
- Letting a variable escape the scope of its quantifier.
Predicate Proof Schema
Input form
first_order_argument
Output form
quantifier_sensitive_derivation
Steps
- Formalize premises and conclusion.
- Instantiate universal premises to names that fit the goal.
- When using an existential premise, introduce a fresh witness name.
- Apply propositional inference rules to the instantiated formulas.
- Generalize only when the name is arbitrary (for universal generalization) or when a specific witness is available (for existential generalization).
Common errors
- Generalizing from a name introduced by existential instantiation.
- Reusing a witness name across different existential claims.
- Skipping the instantiation step and trying to manipulate quantified formulas directly.
Concept Map
Key ideas in the unit
Predicate
An expression that attributes a property to an object or a relation among several objects; a one-place predicate applies to a single object, while a relational predicate applies to two or more.
Individual Constant
A symbol that names a specific object in the domain of discourse, typically written with lowercase letters like a, b, c.
Variable
A symbol like x, y, or z that does not name a specific individual but can range over the domain when bound by a quantifier.
Domain of Discourse
The set of objects that the variables of a predicate-logic formula are taken to range over in a given interpretation.
Quantifier
An operator that binds a variable and states how much of the domain it ranges over; the universal quantifier ∀ means 'for all,' and the existential quantifier ∃ means 'for some' or 'there exists.'
Scope and Binding
The scope of a quantifier is the portion of a formula it governs; a variable occurrence is bound if it falls within the scope of a quantifier using the same variable, and free otherwise.
Universal Quantifier
The quantifier ∀x, read 'for all x,' which claims that the formula it binds holds for every object in the domain.
Existential Quantifier
The quantifier ∃x, read 'there exists x such that,' which claims that the formula it binds holds for at least one object in the domain.
Instantiation
A proof move that goes from a quantified claim to a claim about a specific individual; universal instantiation picks any individual, while existential instantiation introduces a fresh name for a witness.
Generalization
A proof move that goes from a claim about an individual to a quantified claim; universal generalization is allowed only when the individual was arbitrary, and existential generalization is always allowed when a specific instance has been found.
Assessment
How to judge your own work
Assessment advice
- Have I identified the arity of every predicate?
- Have I respected argument order in relational predicates?
- Is my domain of discourse clear?
- Do not mix up predicates and their arguments; the order in Lab is not interchangeable with Lba.
- Do not move on to quantifiers before atomic syntax feels natural.
- Did I use the right pairing (conditional for universal, conjunction for existential)?
- Does the formalization say what the English says when I read it back?
- Is any negation inside or outside the quantifier where I need it to be?
- Do not pair universals with conjunctions; the resulting formula overreaches.
- Do not pair existentials with conditionals; the resulting formula is usually vacuously satisfied.
- Did I ask 'same or different' before committing to quantifier order?
- Does each quantifier's scope contain everything it should bind and nothing else?
- Does the read-back match the original English?
- Do not swap ∀...∃ with ∃...∀; the change is usually not meaning-preserving.
- Do not forget the pairing rule at inner quantifiers just because you already used it outside.
- Does every existential instantiation use a fresh name?
- Does every universal generalization use a name that was arbitrary?
- Did I instantiate before applying propositional rules?
- Do not skip the fresh-name requirement for existential instantiation; it is what keeps the proof honest.
- Do not generalize from any name whose provenance you cannot trace to arbitrary assumptions.
- Is my translation faithful to the original when I read it back in English?
- Did I check scope at every quantifier rule application?
- Did I distinguish invalidity from mere scope confusion in my diagnosis?
- Ignoring scope because the formula 'looks right'.
- Conflating 'some' with 'the' in existential translations.
Mastery requirements
- Identify Predicates And Arity
- Translate Simple Quantified Claims
- Translate Multi Quantifier Claims
- Construct Quantifier Proofs
History Links
How earlier logicians shaped modern tools
Gottlob Frege
Introduced the first formal system of quantified logic in his Begriffsschrift, making generality and existence expressible with explicit variable binding.
Bertrand Russell and Alfred North Whitehead
Systematized quantified logic in Principia Mathematica and used it to formalize large portions of mathematics.
Alfred Tarski
Gave the first rigorous model-theoretic semantics for quantified logic, defining truth in a model in terms of variable assignments.