2.2 Formal Deduction, Quantifiers & Conditional Statements

Key Takeaways

  • Universal quantifiers ('all', 'every', 'no') admit zero exceptions, whereas particular quantifiers ('some', 'many', 'most') describe non-exhaustive subsets.
  • In formal EPSO reasoning, 'some' strictly means 'at least one and possibly all', while 'most' denotes strictly more than 50% without implying 100%.
  • The conditional premise 'If P, then Q' guarantees only its contrapositive ('If not Q, then not P'); inferring the converse ('If Q, then P') or inverse ('If not P, then not Q') is a fatal deductive fallacy.
  • Linguistic markers must be translated into directional logic: 'P only if Q' denotes P → Q (Q is necessary), whereas 'P provided that Q' denotes Q → P (Q is sufficient).
  • Set intersections across particular quantifiers are non-transitive: knowing that 'Some A are B' and 'Some B are C' provides zero deductive guarantee that any A is C.
Last updated: September 2026

The Formal Grammar of EPSO Logic: Quantifiers and Scope

In natural conversation, humans use quantifiers loosely. In colloquial discourse, stating that "Some member states supported the directive" carries a conversational implicature that "Not all member states supported it." In the formal psychometric environment of EPSO verbal reasoning, this colloquial assumption is completely invalid.

Formal logic operates on strict mathematical set boundaries:

  • Universal Affirmative (All / Every / Each): Encompasses 100% of the reference class. Zero exceptions are permitted. If All A are B, there cannot exist a single A that is outside set B.
  • Universal Negative (No / None / Never): Encompasses 0% of the reference class. Complete mutual exclusivity. The intersection of set A and set B is completely empty ($A \cap B = \emptyset$).
  • Particular Affirmative (Some / At least one / Certain): Defined mathematically as greater than or equal to 1 (and potentially up to 100%). Stating "Some A are B" guarantees only that the intersection is not empty. Crucially, it leaves open the possibility that All A are B! You cannot deduce that "Some A are not B" unless the passage explicitly states it.
  • Majority (Most / A majority): Defined mathematically as strictly greater than 50% (50.001% to 100%). Stating "Most A are B" does not prove that all A are B, nor does stating "Many A are B" prove that a majority is reached.
  • Plural Indefinite (Many / Several / A number of): Denotes an unspecified quantity greater than one, but has no mathematical lower or upper bound. "Many" does not mean "most"; 5,000 out of 1,000,000 is "many," but it represents a tiny fraction of 1%.
Natural Language TermFormal Logical ScopeFormal Logical NegationValid DeductionsCommon Deductive Traps
All / Every / EachExactly 100%Some... not (At least one is not)Some are; at least one isInferring "All B are A" is an illicit conversion ("All auditors are officials" does not make all officials auditors).
No / None / NeverExactly 0%Some are (At least one is)"No B are A" also holds (a universal negative converts validly)Reading exceptions into "no"; the text allows none.
Some / At least one1% to 100% (≥ 1)None / No (0%)At least one instance existsInferring that "Some are not" or escalating "some" to "most" or "all".
Most / The majority50.1% to 100% (> 50%)50% or fewer (≤ 50%)Some are; at least one isAssuming "most" guarantees "all", or assuming "many" equals "most".
Many / SeveralIndefinite (≥ 2)None or exactly oneSome are; at least one isEquating "many" with a numerical majority (> 50%).

Propositional Logic: Sufficient vs. Necessary Conditions

EPSO passages are saturated with administrative rules, regulatory mandates, and policy conditionalities. To decode them accurately, candidates must untangle sufficient conditions from necessary conditions.

A conditional statement is expressed symbolically as $P \rightarrow Q$:

  • P is the Antecedent (Sufficient Condition): If P is satisfied, Q is guaranteed to occur. P alone is sufficient to produce Q.
  • Q is the Consequent (Necessary Condition): Q is an indispensable prerequisite. Without Q, P cannot possibly occur. If Q is absent, P is definitively absent.

Translating Complex Administrative Phrasing into Directional Logic

Item writers deliberately conceal conditionals inside bureaucratic vocabulary. Use this reference translation guide:

  • "Q provided that P" $\implies P \rightarrow Q$ (P is sufficient; if P occurs, Q follows).
  • "P only if Q" $\implies P \rightarrow Q$ (Q is necessary for P; P cannot occur unless Q is present).
  • "Only if Q, does P occur" $\implies P \rightarrow Q$ (Q is the mandatory prerequisite).
  • "Q is a prerequisite / requirement for P" $\implies P \rightarrow Q$.
  • "P guarantees Q" $\implies P \rightarrow Q$.
  • "Unless Q, P cannot occur" $\implies P \rightarrow Q$ (Equivalent to: If not Q, then not P).

Notice the dangerous trap of "If" vs. "Only If":

  • "The Commission approves the grant if the audit is completed" means: Audit $\rightarrow$ Approval (Completing the audit guarantees approval).
  • "The Commission approves the grant only if the audit is completed" means: Approval $\rightarrow$ Audit (The audit is a prerequisite; approval guarantees the audit was completed, but completing the audit does not guarantee approval!).

The Contrapositive Imperative and the Two Classical Fallacies

When a passage establishes a conditional premise $P \rightarrow Q$, there is only one valid formal deduction that can be derived from it without additional facts: the contrapositive.

The Valid Contrapositive: $\neg Q \rightarrow \neg P$

If P guarantees Q, then the absence of Q guarantees the absence of P. If a project must have an environmental license (Q) to receive Union funding (P), then a project that lacks an environmental license ($\neg Q$) cannot possibly receive Union funding ($\neg P$). This deduction is 100% logically watertight.

Classical Fallacy 1: Affirming the Consequent (The Invalid Converse)

  • The Error: Given $P \rightarrow Q$, observing that Q is true does not allow you to deduce that P is true ($Q \centernot\implies P$).
  • Administrative Example: The rule states: "If an industrial facility emits more than 100 tonnes of sulfur, it is subject to mandatory filtration audits." An auditor observes an installation undergoing a mandatory filtration audit (Q). It is a fallacy to deduce that the installation emits more than 100 tonnes of sulfur (P). The audit could have been triggered by nitrogen levels, routine sampling, or proximity to a wetland.

Classical Fallacy 2: Denying the Antecedent (The Invalid Inverse)

  • The Error: Given $P \rightarrow Q$, observing that P is false does not allow you to deduce that Q is false ($\neg P \centernot\implies \neg Q$).
  • Administrative Example: Using the same sulfur rule, an installation emits only 20 tonnes of sulfur ($\neg P$). It is a fallacy to deduce that the facility is exempt from mandatory filtration audits ($\neg Q$). The condition only established what happens when emissions exceed 100 tonnes; it did not state that sulfur is the only trigger for an audit.

Categorical Syllogisms and Euler Set Logic in Verbal Context

Categorical logic governs relationships between subsets. EPSO questions test this through narrative statements that can be mapped directly onto Euler set diagrams.

The Transitivity of Universal Statements (Valid)

  • Premise 1: All members of Consortium A are certified research universities ($A \subseteq B$).
  • Premise 2: All certified research universities are eligible for Horizon infrastructure grants ($B \subseteq C$).
  • Valid Deduction: All members of Consortium A are eligible for Horizon infrastructure grants ($A \subseteq C$).

The Non-Transitivity of Particular Statements (The Fatal Syllogism Trap)

  • Premise 1: Some agricultural cooperatives produce organic wine ($A \cap B \neq \emptyset$).
  • Premise 2: Some organic wine producers receive Mediterranean regional subsidies ($B \cap C \neq \emptyset$).
  • Candidate Fallacy: "Some agricultural cooperatives receive Mediterranean regional subsidies."
  • Deductive Reality: CANNOT BE DEDUCED. Sets A and C both intersect set B, but they may intersect completely different, non-overlapping parts of set B! The cooperatives producing organic wine could be in Germany, while the subsidized wine producers in set B are in Greece. In formal logic, two overlapping particular premises yield zero transitive conclusions.

Step-by-Step Worked Demonstration: Agricultural Grants and Soil Audits

Representative Passage

All agricultural holdings seeking Union soil conservation subsidies must complete an independent bio-nutrient baseline audit. Holdings that implement certified crop-rotation regimens are entitled to receive preferential co-financing rates, provided that their baseline audit confirms organic matter levels above 3%. While most commercial holdings in the eastern river basin submitted audit documentation on schedule, several specialized viticulture enterprises failed to register their soil samples before the statutory deadline. Under the financial regulation, no holding that fails to register its baseline audit before the deadline may receive soil conservation disbursements in the current fiscal year.

Logical Structural Breakdown

  1. Soil conservation subsidy $\rightarrow$ Baseline audit.
  2. Preferential rate $\rightarrow$ Crop rotation AND Organic matter > 3%.
  3. Most eastern basin commercial holdings $\rightarrow$ On-schedule submission.
  4. Some specialized viticulture enterprises $\rightarrow$ Failed to register before deadline.
  5. Failed to register before deadline $\rightarrow$ NO disbursements in current fiscal year.

Deductive Verification

  • Valid Contrapositive: If an agricultural holding receives soil conservation disbursements in the current fiscal year, it must have registered its baseline audit before the statutory deadline (Derivation: $Disbursement \rightarrow Registered$; contrapositive of Statement 5).
  • Invalid Converse Trap: "Any holding that registered its baseline audit on schedule will receive soil conservation disbursements." (Registration is necessary, but not declared to be sufficient for disbursement).
  • Invalid Quantifier Escalation: "Most agricultural enterprises that failed to meet the deadline were viticulture holdings." (The text states that several viticulture holdings failed to meet it, not that they constituted most of all delinquent holdings).
Loading diagram...
Conditional Reasoning and Fallacy Matrix
Test Your Knowledge

PASSAGE: Foreign nationals traveling to the Schengen area under the automated travel authorization scheme are subject to mandatory biometric screening at external border crossing points. A biometric profile is verified at automated self-service gates only if the passenger holds a machine-readable biometric passport and has secured a valid pre-travel digital authorization. Passengers who cannot be processed through automated gates due to system read failures or non-biometric travel documents must undergo manual secondary inspection by border control officers. Under border regulations, no passenger may be admitted to the territory unless their identity is authenticated through either automated verification or manual secondary clearance. On the basis of the conditional rules established in the text, which statement is logically necessary?

A
B
C
D
Test Your Knowledge

PASSAGE: The Clean Hydrogen Innovation Framework awards collaborative research grants to multinational consortia composed of academic institutions and industrial engineering enterprises. Every consortium receiving Tier-1 grant funding must include at least three independent universities from different member states. In the current funding cycle, all Tier-1 consortia have established joint intellectual property sharing agreements. While some participating industrial enterprises have filed private patent claims, at least one Tier-1 consortium featuring university partners has submitted a joint international patent application for solid-state hydrogen storage. Which of the following conclusions can be formally deduced from the quantifier relationships in the text?

A
B
C
D
Test Your Knowledge

PASSAGE: Under the European Banking Authority's macroprudential guidelines, non-bank financial intermediaries that manage cross-border investment portfolios exceeding five billion euros are classified as systemically interconnected entities. A systemically interconnected entity is subject to mandatory direct supervisory intervention if its liquid asset reserve falls below 8% of total outstanding liabilities while its unhedged derivative exposure exceeds thirty percent of its Tier-1 capitalization. Non-bank intermediaries that maintain liquidity reserves above 12% are entitled to submit streamlined quarterly compliance statements instead of monthly balance audits. According to the passage, which condition guarantees that a non-bank financial intermediary is subject to mandatory supervisory intervention?

A
B
C
D