Quantified logical form: translation and tableaux
Translation exercises reward pattern recognition: four sentence forms cover almost all of them, and the errors cluster in scope and in the difference between 'not every' and 'none'.
Editorial process
Last reviewed · August 15, 2026
Translation is mechanical once the pattern is clear
Most of these translations reduce to four recurring patterns, and recognising which one you are looking at removes the great majority of the difficulty before you write anything. All A are B becomes a universal with a conditional inside it; no A are B becomes a universal with a negated consequent; some A are B becomes an existential with a conjunction; and some A are not B becomes an existential with a negated conjunct. The single most common error is using a conjunction with a universal quantifier, which claims that everything in the universe is both A and B rather than that every A is B, and it is worth rereading every universal you write specifically to check for it. The predicate letters are supplied with each item, so use them rather than inventing your own — the exercise is testing logical form, not your choice of letters.
Scope and negation placement are where the remaining marks go. Not everything is settled and nothing is settled are different claims: the first negates a universal, the second asserts a universal negation, and English blurs them in a way the notation cannot. Very few people do not like Mac computers requires care with the double negative before you even reach the quantifier. Only registered voters can vote reverses the conditional that an unwary reading suggests, since only A are B means all B are A rather than all A are B, and that reversal catches almost everyone once. For the tableaux section, the task is different in kind: you are asked to give an assignment of values showing each argument invalid, which means producing a counter-model — an interpretation making the premises true and the conclusion false — rather than deriving anything, and a single such assignment settles it.
Likely learning objectives
Inferred from the brief — check these against your own rubric.
- 01Recognise the four standard patterns of categorical translation.
- 02Place negation and quantifier scope correctly in ambiguous English.
- 03Construct a counter-model demonstrating invalidity.
Read the full question
Review every instruction before using the planning guidance that follows.
Turn the brief into deliverables
- 01Translations for exercises 7.4 items 1-10.
- 02Translations for exercises 7.6 items 5-9.
- 03Counter-models for the arguments in 7.9.3.
- 04Consistent use of the supplied predicate letters.
Quantifiers, scope, then the tableaux
Identify the pattern
Classify each assertion as all, no, some, or some-not before translating.
Universals take conditionals
Translate the all and no forms, checking that no universal carries a conjunction.
Existentials take conjunctions
Translate the some and some-not forms with correct negation placement.
Handle the awkward English
Work 'not every', 'nothing', 'very few... do not' and 'only' carefully.
Counter-models for invalidity
Give an interpretation making premises true and conclusion false for each argument.
Matching your textbook's notation exactly
Recommended databases
- Your course textbook, chapter 7
- Open Logic Project
- Stanford Encyclopedia of Philosophy
- Internet Encyclopedia of Philosophy
- Your lecture notes on tableaux
Search sequence
- 1.Match your textbook's notation exactly, since symbol conventions differ between logic texts.
- 2.Check the tableaux method as your course teaches it before attempting 7.9.3.
- 3.Verify the 'only' translation rule in a reference source, as it is the item most often reversed.
- 4.Work the examples in the chapter before the exercises rather than after.
Reference shortlist
These are authoritative starting points, not a ready-made bibliography. A qualified reviewer must confirm that each source fits the assignment and supports the claim beside which it is cited.
Nothing here is cleared for citation until you have read it.
- 01
Aristotle's Logic
Stanford Encyclopedia of Philosophy · 2024
The categorical forms underlying these translations, useful for checking that a quantified rendering preserves the original claim.
- 02
Deontological Ethics
Stanford Encyclopedia of Philosophy · 2020
An example of formal precision applied to natural-language claims, which is the discipline these exercises train.
- 03
Kant's Moral Philosophy
Stanford Encyclopedia of Philosophy · 2022
A worked case of rendering ordinary statements into strict universal form, relevant to the scope questions.
- 04
Information Technology and Moral Values
Stanford Encyclopedia of Philosophy · 2018
A model of applying a formal apparatus to concrete statements accurately rather than approximately.
Review before submission
Common mistakes
- Pairing a universal quantifier with a conjunction instead of a conditional.
- Confusing 'not every' with 'none'.
- Reversing the conditional wrongly on 'only' statements.
- Attempting to derive invalidity instead of producing a counter-model.
Submission checklist
- Does every universal use a conditional rather than a conjunction?
- Have you checked each negation's scope against the English?
- Are the supplied predicate letters used throughout?
- Does each tableaux answer give a specific assignment of values?
Use this guide to plan and review your own work. Follow your institution's rules and read our academic-integrity policy.
Written by
Aaron Bishop
MA, Education
assignment interpretation and research-methods coaching across disciplines
Aaron leads the EssayCrackers editorial desk. He works on how assignment briefs are read — what a rubric is actually asking for, and where students most often answer a different question than the one set.
Reviewed by
Dr. Nathan Cole
PhD, Rhetoric & Composition
Argumentation and thesis development
Nathan teaches first-year composition and directs a university writing center. He reviews EssayCrackers guides for argumentative soundness and citation accuracy.