Domains of Discourse
A free Logic lesson from the “Quantifiers and Predicates” unit, with a worked example and practice problems including step-by-step solutions.
A predicate contains a free variable. Its truth is evaluated using an assignment in a specified domain. An existential claim needs one allowed witness; a universal claim must survive every allowed value. Changing the domain can change whether witnesses and counterexamples exist.
What you'll learn
- State the set of objects a quantified claim is talking about
- Explain the idea in plain English before using symbols
- Use examples, non-examples, or counterexamples to check the reasoning
Worked example
Problem. For P(x): x > 25, evaluate P(26).
- 26 exceeds 25.
Answer: True
Lesson preview: this page shows 5 practice items. The interactive activity contains 6 practice items and 6 quiz items (multiple choice). Counts include repeated prompts and variants.
Practice problems
1. For P(x): x > 10, evaluate P(11).
Choices: True · False
Show solution
- 11 exceeds 10.
Answer: True
2. For P(x): x > 10, evaluate P(10).
Choices: True · False
Show solution
- Strict inequality excludes equality.
Answer: False
3. For domain {10, 11, 12} and P(x): x is even, which values satisfy P?
Choices: 10, 12 · 11 · All three values · No values
Show solution
- Test the stated predicate separately at every domain value.
Answer: 10, 12
4. Over positive integers, ∃x(x²=2) is false. What happens if the domain changes to positive real numbers?
Choices: It stays false because 2 is not a perfect square · It becomes a command · Every real number becomes a witness · It becomes true because √2 is allowed
Show solution
- Existential truth depends on whether the domain contains a witness.
Answer: It becomes true because √2 is allowed
5. Which operation turns the open sentence P(x) into a closed statement?
Choices: Leave x unspecified · Change the font of P · Assign a particular value to x or bind x with a quantifier · Write x twice
Show solution
- A free variable needs an assignment or quantifier for a definite proposition in the stated interpretation.
Answer: Assign a particular value to x or bind x with a quantifier
Practice this interactively with instant feedback and an AI tutor.
Practice Domains of Discourse Take the free placement check