PracticeVideosBlogFlashcards

2.3 Complex Multi-Premise Passages & Quantifiers

Key Takeaways

  • Quantifiers define exact set relationships: 'All' (100%), 'No' (0%), 'Some' (at least 1, up to 100%), 'Most' (>50%).

  • 'Some' in formal logic means 'at least one' and does NOT imply 'some are not'.

  • Multi-premise logic requires chaining statements together using common linking terms.

  • Overlapping quantifiers (e.g., combining 'Most' and 'All') allow valid sub-set deductions.

  • Venn diagramming or shorthand notation on scratch paper resolves complex multi-premise chains rapidly.

Last updated: July 2026

2.3 Complex Multi-Premise Passages & Quantifiers

As candidates progress through Section 1 of the SAEE, passages become increasingly dense, combining four, five, or more interconnected premises featuring categorical quantifiers. Master-level performance requires rapid set-relationship mapping and fluent calculation of quantifier intersections.

Formal Definitions of Categorical Quantifiers

In everyday conversation, words like "some" or "most" are used casually and ambiguously. On the SAEE, quantifiers possess strict, non-negotiable mathematical definitions:

QuantifierStrict Logical DefinitionSet NotationCommon Distractor Trap
ALL / EVERY100% of the set. Absolute inclusion.A⊆BA \subseteq B (A  ⟹  BA \implies B)Assuming converse (B  ⟹  AB \implies A).
NO / NONE0% of the set. Absolute exclusion.A∩B=∅A \cap B = \emptysetAssuming partial overlap is possible.
SOMEAt least one item (1% to 100%).A∩B≠∅A \cap B \neq \emptysetAssuming "some" means "not all." In formal logic, "some" allows for the possibility of "all."
MOSTGreater than 50% (51% to 100%).∣A∩B∣>0.5∣A∣\vert A \cap B\vert> 0.5\vert A\vertAssuming "most" specifies the minority portion.
FEWSome exist, but less than 50%.0<∣A∩B∣<0.5∣A∣0 < \vert A \cap B\vert< 0.5\vert A\vertTreating "few" as equivalent to zero/none.

The Critical "SOME" Rule

In standard English, saying "Some agents completed the course" implies that some agents did not. In formal logic, this implication does NOT exist. "Some" means strictly "at least one." It establishes a lower bound of 1, but sets no upper bound. A passage stating "Some agents completed the course" is mathematically compatible with a scenario where 100% of agents completed the course.

Quantifier Combination & Set Overlap Matrix

When premises with different quantifiers are combined in a multi-premise chain, specific set overlap rules dictate what inferences can be drawn:

+---------------------------------------------------------------------------------------+
|                              QUANTIFIER COMBINATION MATRIX                            |
+-------------------+-------------------+-----------------------+-----------------------+
| Premise 1         | Premise 2         | Valid Combination     | Invalid Fallacy       |
+-------------------+-------------------+-----------------------+-----------------------+
| ALL A are B       | ALL B are C       | ALL A are C           | ALL C are A           |
| ALL A are B       | SOME A are C      | SOME B are C          | SOME B are NOT C      |
| ALL A are B       | NO B are C        | NO A are C            | SOME A are C          |
| MOST A are B      | MOST A are C      | SOME B are C (Overlap)| MOST B are C          |
| SOME A are B      | SOME B are C      | NO VALID INFERENCE    | SOME A are C          |
+-------------------+-------------------+-----------------------+-----------------------+

Key Multi-Premise Deduction Rules:

  1. The Universal Transitive Rule: All A→BAll\ A \rightarrow B AND All B→C  ⟹  All A→CAll\ B \rightarrow C \implies All\ A \rightarrow C.
  2. Universal + Particular Combination: All A→BAll\ A \rightarrow B AND Some A→C  ⟹  Some B→CSome\ A \rightarrow C \implies Some\ B \rightarrow C. Because the AA's that are CC are contained within BB, there must be an overlap between BB and CC.
  3. The Double-MOST Pigeonhole Overlap: If Premise 1 states "Most AA are BB" (>50%>50\%), and Premise 2 states "Most AA are CC" (>50%>50\%), then at least some BB MUST be CC. Because two subsets each exceeding 50% of the same total set AA cannot exist without intersecting, an overlap is mathematically forced.
  4. The Mid-Chain Particular Fallacy: You CANNOT link two "SOME" statements across a middle term. If "Some AA are BB" and "Some BB are CC", there is zero guaranteed overlap between AA and CC. The subset of BB that overlaps with AA could be completely disjoint from the subset of BB that overlaps with CC.

Visualizing Set Relationships with Euler & Venn Diagrams

When scratch-pad mapping complex passages, sketch simple overlapping circles (Euler diagrams) to track set boundaries:

  NESTED SETS (ALL A are B)         DISJOINT SETS (NO A are B)        INTERSECTING SETS (SOME A are B)
       +---------------+                 +---+   +---+                       +---+---+
       |  B (Outer)    |                 | A |   | B |                       | A | B |
       |   +-------+   |                 +---+   +---+                       |   |   |
       |   | A (In)|   |                                                     +---+---+
       |   +-------+   |               (Zero Overlap)                     (Overlap >= 1)
       +---------------+

Step-by-Step Multi-Premise Walkthrough

Analyze the following 5-premise SAEE passage using systematic set mapping:

Complex Investigative Passage: "All Special Agents assigned to the Cyber Fraud Task Force (CFTF) are certified polygraph examiners. All certified polygraph examiners are trained in advanced interrogation techniques. Most CFTF Special Agents are fluent in Mandarin. No agent trained in advanced interrogation techniques is permitted to conduct unmonitored field interviews without senior supervisor authorization. Agent Liang is assigned to the CFTF."

Premise Isolation & Formal Symbolic Breakdown:

  1. P1P_1: CFTF⊆Polygraph ExaminersCFTF \subseteq Polygraph\ Examiners (All CFTF→PolyAll\ CFTF \rightarrow Poly)
  2. P2P_2: Polygraph Examiners⊆Advanced InterrogationPolygraph\ Examiners \subseteq Advanced\ Interrogation (All Poly→InterrogationAll\ Poly \rightarrow Interrogation)
  3. P3P_3: Most CFTF→Mandarin FluentMost\ CFTF \rightarrow Mandarin\ Fluent (>50% of CFTF>50\%\ of\ CFTF)
  4. P4P_4: No Interrogation→Unmonitored Field Interview (without Auth)No\ Interrogation \rightarrow Unmonitored\ Field\ Interview\ (without\ Auth)
  5. P5P_5: Agent Liang∈CFTFAgent\ Liang \in CFTF

Step-by-Step Deduction Chain:

  • Chain 1 (P5+P1+P2P_5 + P_1 + P_2): Liang is in CFTF (P5P_5). All CFTF are Polygraph Examiners (P1P_1). All Polygraph Examiners are trained in Advanced Interrogation (P2P_2).
    • Deduction A: Agent Liang IS a certified polygraph examiner.
    • Deduction B: Agent Liang IS trained in advanced interrogation techniques.
  • Chain 2 (Deduction B + P4P_4): Liang is trained in advanced interrogation. Under P4P_4, no such agent can conduct unmonitored field interviews without senior supervisor authorization.
    • Deduction C: Agent Liang CANNOT conduct unmonitored field interviews without senior supervisor authorization.
  • Chain 3 (P1+P3P_1 + P_3): All CFTF are Polygraph Examiners (P1P_1). Most CFTF are fluent in Mandarin (P3P_3).
    • Deduction D: Some certified polygraph examiners are fluent in Mandarin. (Specifically, those CFTF agents who speak Mandarin).

Evaluating Test Conclusion Items:

  • Item 1: "Agent Liang cannot conduct unmonitored field interviews unless senior supervisor authorization is obtained."
    • Result: TRUE (Proven by Deduction C).
  • Item 2: "Some certified polygraph examiners are fluent in Mandarin."
    • Result: TRUE (Proven by Deduction D).
  • Item 3: "Agent Liang is fluent in Mandarin."
    • Result: CANNOT BE DETERMINED. While most CFTF agents speak Mandarin, we do not know if Liang belongs to the >50%>50\% Mandarin-speaking majority or the <50%<50\% non-Mandarin minority.
  • Item 4: "All agents fluent in Mandarin are assigned to the CFTF."
    • Result: CANNOT BE DETERMINED (Classic converse trap; passage asserts CFTF →\rightarrow Mandarin for most, but sets no bound on outside Mandarin speakers).
Test Your Knowledge

What is the formal definition of the word 'SOME' in SAEE deductive logic passages?

A

Exactly two or three items

B

Between 10% and 50% of the total set

C

At least one (1 to 100% of the set)

D

A minority portion that excludes all

Test Your Knowledge

Passage: 'All intelligence analysts speak a foreign language. Most intelligence analysts hold a master's degree.' Which conclusion MUST be True?

A

Some people who speak a foreign language hold a master's degree

B

All people who speak a foreign language are intelligence analysts

C

Most master's degree holders are intelligence analysts

D

No intelligence analyst lacks a master's degree

Test Your Knowledge

Passage: 'No probationary agent is assigned to the President's detail. All agents assigned to the President's detail are evasive driving qualified.' Conclusion: 'No probationary agent is evasive driving qualified.' How should this conclusion be classified?

A

True

B

Cannot Be Determined

C

False

D

True only during training

Sections you finish are checked off in the contents.