Kenneth ChengMathematical modeling
← Senior Mathematics Studio

LEARN · EXPLAIN · REVISE

Universal and existential quantifiers

Read the idea, work independently, then explain what changed.

高一必修 第一册(A版).pdf · 1.5 · PDF 33 / printed page 26

Revisit first: Sufficient and necessary conditions

TOPIC 01

Universal and existential quantifiers

Build understanding of universal and existential quantifiers through definitions, contrasting cases and justified applications.

What you will be able to explain

  • Apply universal and existential quantifiers with explicit conditions.
  • Connect representations and justify the steps, including boundary cases.
  • Explain a solution and apply the idea to a changed situation.

Scope

Universal means every domain member; existential means at least one witness.

Negation

Swap the quantifier and negate the predicate while keeping the domain.

PREDICT → EXPLORE → EXPLAIN → TRANSFER

Make a prediction, then explore the relationship.

Lesson question: Before calculating, predict how the conclusion changes when one defining condition in universal and existential quantifiers changes. Record a reason.

Model exploration: predict which displayed result changes with the parameters, check the values, and compare the observation with the lesson question.

U={1,…,7}; A={1,2,3}; B={3,4,5}. Result={3}. 3 belongs to the result.A: 1,23B: 4,56,7

U={1,…,7}; A={1,2,3}; B={3,4,5}. Result={3}. 3 belongs to the result.

Explain: Compare two admissible cases and one boundary or invalid case. Explain the observed difference using the stated definition.

Transfer: Construct a new example and a tempting incorrect solution. Repair the solution by naming the missing condition.

Try it. Leave your reasoning visible.

Use one hint at a time. A correction explains what changed, not just the final answer.

01 / Foundation#Worked example

Negate this statement.

∀x∈R, x2>2\forall x\in\mathbb R,\ x^2>2
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Swap ∀ for ∃ and negate >.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∃x∈R, x2≤2\exists x\in\mathbb R,\ x^2\le2

  3. The equality case belongs in the negation.

Some real x satisfies x²≤2.

Checks and common pitfalls: The equality case belongs in the negation.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

02 / Standard#Worked example

Negate this existential claim.

∃x∈Z, x2=5\exists x\in\mathbb Z,\ x^2=5
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Every candidate must fail.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∀x∈Z, x2≠5\forall x\in\mathbb Z,\ x^2\ne5

  3. Keep the integer domain unchanged.

Every integer x has x²≠5.

Checks and common pitfalls: Keep the integer domain unchanged.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

03 / Transfer#Worked example

Decide whether each domain supplies a witness.

x2=2;x∈Z or x∈Rx^2=2;\quad x\in\mathbb Z\text{ or }x\in\mathbb R
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Compare consecutive integer squares around two.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    12<2<22;(±2)2=21^2<2<2^2;\quad (\pm\sqrt2)^2=2

  3. An existential statement depends on its domain.

No integer witness; real witnesses are ±√2.

Checks and common pitfalls: An existential statement depends on its domain.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

04 / Foundation#Your turn

Negate this statement.

∀x∈R, x2>3\forall x\in\mathbb R,\ x^2>3
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Swap ∀ for ∃ and negate >.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∃x∈R, x2≤3\exists x\in\mathbb R,\ x^2\le3

  3. The equality case belongs in the negation.

Some real x satisfies x²≤3.

Checks and common pitfalls: The equality case belongs in the negation.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

05 / Foundation#Your turn

Negate this existential claim.

∃x∈Z, x2=10\exists x\in\mathbb Z,\ x^2=10
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Every candidate must fail.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∀x∈Z, x2≠10\forall x\in\mathbb Z,\ x^2\ne10

  3. Keep the integer domain unchanged.

Every integer x has x²≠10.

Checks and common pitfalls: Keep the integer domain unchanged.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

06 / Foundation#Your turn

Prove the quantified statement.

∀x∈R, x2+1>0\forall x\in\mathbb R,\ x^2+1>0
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Find a bound valid for every real square.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    x2≥0⇒x2+1≥1>0x^2\ge0\Rightarrow x^2+1\ge1>0

  3. Testing a few numbers alone is not a universal proof.

True for every real x.

Checks and common pitfalls: Testing a few numbers alone is not a universal proof.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

07 / Foundation#Your turn

Give an integer counterexample.

∀n∈Z, n2>n\forall n\in\mathbb Z,\ n^2>n
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
A strict inequality fails at equality.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    02=0≯00^2=0\not>0

  3. One witness of failure is sufficient.

n=0 is a counterexample.

Checks and common pitfalls: One witness of failure is sufficient.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

08 / Standard#Your turn

Count the possible integer witnesses.

−3<x<3-3<x<3
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Exclude both endpoints.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    (2)−(−2)+1=5(2)-(-2)+1=5

  3. Existence needs one witness; counting asks for all admissible witnesses.

The requested value is 5.

Checks and common pitfalls: Existence needs one witness; counting asks for all admissible witnesses.

Think first. Reveal a hint when the class is ready.

09 / Standard#Your turn

Explain the effect of exchanging the quantifier order.

∀x∃y:y>x;∃y∀x:y>x\forall x\exists y:y>x;\quad \exists y\forall x:y>x
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Can y depend on x, or must one y work for every x?
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    y=x+1>xy=x+1>x

  3. Calculate or simplify this relation.

    x=y+1⇒y<xx=y+1\Rightarrow y<x

  4. There is no greatest real number.

The first is true; the second is false over the reals.

Checks and common pitfalls: There is no greatest real number.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

10 / Standard#Your turn

Determine whether x²=3 has a witness in the integers and in the reals.

x2=3x^2=3
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the two domains separate.
Hint 2
Compare the adjacent integer squares surrounding three.
Worked solution

  1. Keep the two domains separate.

  2. Calculate or simplify this relation.

    12<3<22;(±3)2=31^2<3<2^2;\quad(\pm\sqrt3)^2=3

  3. The same predicate can change truth value when its domain changes.

No integer witness; real witnesses are ±√3.

Checks and common pitfalls: The same predicate can change truth value when its domain changes.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

11 / Standard#Your turn

Negate this statement.

∀x∈R, x2>4\forall x\in\mathbb R,\ x^2>4
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Swap ∀ for ∃ and negate >.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∃x∈R, x2≤4\exists x\in\mathbb R,\ x^2\le4

  3. The equality case belongs in the negation.

Some real x satisfies x²≤4.

Checks and common pitfalls: The equality case belongs in the negation.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

12 / Transfer#Your turn

Negate this existential claim.

∃x∈Z, x2=17\exists x\in\mathbb Z,\ x^2=17
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Every candidate must fail.
Worked solution

  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∀x∈Z, x2≠17\forall x\in\mathbb Z,\ x^2\ne17

  3. Keep the integer domain unchanged.

Every integer x has x²≠17.

Checks and common pitfalls: Keep the integer domain unchanged.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

13 / Transfer#Your turn

Prove this universal statement by cases.

∀x∈R, ∣x∣≥x\forall x\in\mathbb R,\ |x|\ge x
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Use the definition of absolute value.
Hint 2
Separate nonnegative and negative inputs.
Worked solution

  1. Use the definition of absolute value.

  2. Calculate or simplify this relation.

    x≥0⇒∣x∣=xx\ge0\Rightarrow |x|=x

  3. Calculate or simplify this relation.

    x<0⇒∣x∣=−x>xx<0\Rightarrow |x|=-x>x

  4. The two cases cover the complete real domain.

True for all real x.

Checks and common pitfalls: The two cases cover the complete real domain.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

Focus on one question

End-of-lesson check and correction

Review your latest checked answers and explanations. A draft change requires a fresh check. Written work needs your self-assessment or a teacher’s review.

Enable JavaScript for a summary of your local work.

    Choose a foundation skill to revisit ↗

    Teacher preparation and assessment

    Question sequence

    • What must be true before using the main rule for universal and existential quantifiers?
    • Which representation makes this task easier, and why?
    • Change one assumption. Does the conclusion survive?

    Board plan

    • Apply universal and existential quantifiers with explicit conditions.
    • Scope: Universal means every domain member; existential means at least one witness.
    • Negation: Swap the quantifier and negate the predicate while keeping the domain.
    • Close with: conditions → representation → reasoning → check.

    Anticipated thinking

    • Expected reasoning: Universal means every domain member; existential means at least one witness.
    • Expected reasoning: Swap the quantifier and negate the predicate while keeping the domain.
    • Expected correction: Examples alone do not prove a universal statement.

    Assessment checklist

    • 1: identify the givens and required quantity.
    • 1: choose a valid definition, representation or method.
    • 1: present connected, correct reasoning.
    • 1: check conditions and explain the result.

    No sign-in. Work stays in this browser. Export before clearing browser data. Written reasoning is assessed with a checklist.

    Curriculum and source notes ↗