5.2 Deductive Reasoning: Categorical Logic, Syllogisms, and Conditionals
Key Takeaways
The Aptitude Test's 演繹推理 (Deductive Reasoning) part has 8 questions set in Chinese, each asking for the inference, or set of inferences, that must follow from a short passage assumed to be true.
In formal logic, the quantifier 'Some' strictly means 'at least one, and possibly all'; it does not imply 'some but not all' as it does in everyday conversation.
The Law of the Contrapositive () is the single most vital deduction tool: if a conditional statement is true, its contrapositive is always identically true.
Affirming the consequent and denying the antecedent are both invalid, so a correct inference never runs a conditional rule backwards.
In Chinese deductive items, 只要……就…… marks a sufficient condition, 只有……才…… marks a necessary condition, and 除非 P,否則 Q means 'if not P, then Q'.
5.2 Deductive Reasoning: Categorical Logic, Syllogisms, and Conditionals
Quick Answer: The Aptitude Test's 8 Deductive Reasoning (演繹推理) questions are set in Chinese. Each gives a short passage that you must assume is true and asks for the inference, or set of inferences, that must follow. Key competencies include: (1) evaluating categorical syllogisms via Euler/Venn diagrams while remembering that some means at least one, possibly all; (2) applying the contrapositive rule () across chained conditionals; (3) rejecting invalid inferences generated by Affirming the Consequent () or Denying the Antecedent (); and (4) translating administrative directives where if marks sufficiency, only if marks necessity, and unless establishes a negated antecedent ().
The Architecture of Deductive Reasoning
Unlike Verbal Reasoning—which evaluates factual adherence to an informational text—Deductive Reasoning (演繹推理) tests formal, structural validity. In deductive logic, if the stated premises are assumed to be true, the valid conclusion must be true by necessity. The truth of the premises guarantees the truth of the conclusion; there is no room for probability, induction, or real-world plausibility.
On the CRE Aptitude Test, the 8 Deductive Reasoning items are set in Chinese (the English Verbal Reasoning items are covered in Section 5.1). The CSB's directions read: 「請根據以下短文的內容,選出一個或一組推論。請假定短文的內容都是正確的。」 That is: based on the passage, choose one inference or a set of inferences, and assume everything in the passage is true. The logic involved includes:
- Categorical Syllogisms: Deductions based on set inclusions and exclusions (all, no, some, some... not).
- Conditional Reasoning: Logical implications involving if... then, only if, unless, and if and only if.
- Chained Deductions: Multi-step relational chains where three or four regulatory conditions must be linked together to evaluate an individual case.
The Official Sample and Chinese Logic Words
The CSB's sample:
龍門鎮中的每一個人都是亞華的親戚,亞華只有一個兒子,銘希在龍門鎮裡生活,志南是亞華的丈夫。由此可推論: A 銘希是亞華的女兒。 B 亞華生活在龍門鎮裡。 C 銘希是亞華的親戚。 D 志南生活在龍門鎮裡。 答案:C
- C follows: everyone in the town is Ah Wa's relative (所有 S 都是 P), and Ming Hei lives in the town (Ming Hei is S), so Ming Hei is Ah Wa's relative.
- A does not follow: being a relative does not make Ming Hei a daughter.
- B and D do not follow: the passage says people in the town are relatives; it does not say relatives live in the town. Inferring that Ah Wa or her husband lives there reverses the rule (所有 S 是 P does not give 所有 P 是 S).
Because the items are in Chinese, translate each logic word into its formal meaning before testing the options:
| Chinese wording | Formal meaning | Note |
|---|---|---|
| 所有/凡是/每一個……都…… | All S are P | Cannot be reversed |
| 所有……都不……/沒有……是…… | No S are P | Can be reversed: no P are S |
| 有些/有的……是…… | Some S are P | At least one, possibly all |
| 有些……不是…… | Some S are not P | Does not imply some S are P |
| 如果/只要 P,就 Q | P → Q (P is sufficient) | Contrapositive: 非 Q → 非 P |
| 只有 P,才 Q | Q → P (P is necessary) | Do not read it as P → Q |
| 除非 P,否則 Q | 非 P → Q | 除非 P,否則不 Q is the same as 只有 P,才 Q |
| 當且僅當 | P ↔ Q | Both directions hold |
| 或者 P,或者 Q | At least one of P and Q | Both may be true |
| 要麼 P,要麼 Q | Exactly one of P and Q | Not both |
| 並非所有 S 都是 P | Some S are not P | Negating "all" gives "some ... not" |
| 並非有些 S 是 P | No S are P | Negating "some" gives "none" |
When an item offers sets of inferences (for example, "(1) and (3) only"), test each numbered inference separately and then pick the option that lists exactly the valid ones.
Categorical Logic: Aristotle's Four Standard Forms
Categorical logic deals with relationships between categories or classes of objects. Every categorical proposition connects a Subject class () with a Predicate class () through one of four standard structures established in classical logic:
| Type | Designation | Standard Phrasing | Set-Theoretic Definition | Venn / Euler Representation |
|---|---|---|---|---|
| A | Universal Affirmative | All S are P | The entire circle of is drawn completely inside . | |
| E | Universal Negative | No S are P | Circle and Circle are completely separated (disjoint). | |
| I | Particular Affirmative | Some S are P | Circle and Circle overlap by at least one member. | |
| O | Particular Negative | Some S are not P | At least one member of lies outside Circle . |
The Crucial "Some" Distinction in Formal Logic
In everyday English and Cantonese conversation, using the word "some" carries a conversational implicature of limitation: if someone says "Some committee members attended the briefing", listeners naturally infer that not all members attended.
Important
The "Some" Trap: In formal deductive logic, "Some" means "at least one, and potentially all". It guarantees an existential lower bound of one member, but it does not establish an upper bound. The statement "Some Senior Engineers are HKIE Fellows" is entirely compatible with the possibility that all Senior Engineers are HKIE Fellows. Never conclude that "Some S are not P" merely because you were told that "Some S are P".
Testing Syllogisms with Euler Diagrams
A categorical syllogism consists of two premises (Major and Minor) and a conclusion connecting three terms: the Major Term, the Minor Term, and the Middle Term (which appears in both premises but never in the conclusion).
To test whether a syllogistic deduction is valid under CRE exam conditions:
- Draw the spatial relationships of the premises using overlapping circles (Euler diagrams).
- Attempt actively to construct a counterexample diagram—a valid configuration of the circles that satisfies both premises but falsifies the candidate conclusion.
- The Golden Rule of Deductive Validity: A conclusion is valid if and only if it holds true across every single possible Euler diagram configuration. If even one valid spatial arrangement violates the conclusion, the deduction is invalid.
The Fallacy of the Undistributed Middle
Consider this classic syllogistic error:
- Premise 1: All Administrative Officers are degree holders ().
- Premise 2: All Town Planners are degree holders ().
- Candidate Conclusion: All Administrative Officers are Town Planners ().
Euler Analysis: Circle is inside Circle . Circle is also inside Circle . However, Circle and Circle can be completely separate from each other while both remaining inside . Because an arrangement exists where , the conclusion is invalid. The middle term (degree holders) was never "distributed" across the entire class in a way that forces and to touch.
Conditional Logic: The Law of the Contrapositive
Conditional statements govern the vast majority of civil service regulations, legal codes, and administrative criteria. A standard conditional is expressed as: Where:
- is the Antecedent (the condition or trigger).
- is the Consequent (the guaranteed result or required property).
The Four Forms of Conditional Inference
Given the rule :
- Modus Ponens (Affirming the Antecedent - VALID):
- Given: is True.
- Deduction: Therefore, must be True.
- Example: "If an application is submitted late, it is rejected. Application X was submitted late. Therefore, Application X is rejected."
- Modus Tollens (Denying the Consequent - VALID):
- Given: is False ().
- Deduction: Therefore, must be False ().
- Example: "Application Y was not rejected. Therefore, Application Y was not submitted late."
- Fallacy of Affirming the Consequent (INVALID):
- Given: is True.
- Faulty Deduction: Therefore, must be True. (ERROR)
- Why it fails: An application could be rejected for another reason, such as missing documents. Knowing the result occurred does not prove it was triggered by .
- Fallacy of Denying the Antecedent (INVALID):
- Given: is False ().
- Faulty Deduction: Therefore, must be False (). (ERROR)
- Why it fails: Denying the specific condition does not prevent from occurring via an alternative path.
The Contrapositive Equivalence
The fundamental law of deductive logic is: A conditional statement and its contrapositive are logically identical in truth value. If a conditional rule is true, its contrapositive is unconditionally true. However, its converse () and its inverse () are formal fallacies.
| Proposition Name | Symbolic Form | Logical Status Relative to |
|---|---|---|
| Original Statement | Given True | |
| Contrapositive | Logically Equivalent (Always True) | |
| Converse | Invalid Fallacy (Unknown Truth Value) | |
| Inverse | Invalid Fallacy (Unknown Truth Value) |
Translating Bureaucratic and Statutory Language
On the CRE Aptitude Test, premises rarely arrive in tidy mathematical symbols like . They are embedded in dense bureaucratic prose. You must instantly translate these linguistic formulations into proper directional conditionals.
1. Sufficient vs. Necessary Conditions
- Sufficient Condition Indicator Words: if, when, whenever, every time, all who, any person who, provided that.
- These words introduce the Antecedent (the left side: ).
- Sentence: "Any applicant who submits the form before the deadline is entered into the ballot."
- Symbolic Form: .
- Necessary Condition Indicator Words: only if, only when, requires, must, is a prerequisite for, is a mandatory condition.
- These words introduce the Consequent (the right side: ).
- Sentence: "A candidate is eligible for the Administrative Officer interview only if they attain Level 2 in Use of English."
- Symbolic Form: .
Warning
Many candidates see the word "if" in "only if" and mistakenly place the phrase into the antecedent. Remember: "P only if Q" means . Attaining Level 2 in English () does not guarantee an interview (); rather, without Level 2, an interview is strictly impossible ().
2. The Logic of "Unless"
In administrative regulations, the word "unless" appears constantly:
- "An application will be rejected unless it is countersigned by a directorate supervisor."
The Universal Translation Formula for "Unless": Replace "unless" with "if not":
- "If an application is not countersigned by a directorate supervisor, it will be rejected" ().
- Contrapositive: "If an application is not rejected, it must have been countersigned" ().
3. Biconditionals: "If and Only If"
A biconditional () signifies that and are both sufficient and necessary for each other. It means and . If one is true, the other must be true; if one is false, the other must be false.
- Indicator phrases: if and only if, exactly when, precisely in cases where.
Chained Conditionals and Syllogistic Deduction Walkthrough
To observe how multi-step deductive logic operates under exam conditions, examine the following worked case study.
Fictional Regulatory Stimulus: Staff Benefit Rules
- All Grade A officers () are Band 1 officers ().
- No Band 1 officer () is eligible for standard overtime cash compensation ().
- An officer is granted the Housing Benefit () only if they are a Band 1 officer ().
- An officer is entitled to the Travel Concession () if and only if they receive the Housing Benefit () and have completed at least 8 years of continuous civil service ().
- Officer Chan is entitled to the Travel Concession ( is True).
Step-by-Step Formalization
- (from "only if": receiving allowance requires Band 1 status)
- (biconditional: entitlement implies both and )
Deriving Inescapable Deductions
- Deduction A (from Premise 4 and 5): Because is True and , both and must be strictly True. Therefore, Officer Chan receives the Housing Benefit (), and Officer Chan has completed at least 8 years of continuous service ().
- Deduction B (from Premise 3 and Deduction A): We know . Since is True, by Modus Ponens, Officer Chan is a Band 1 officer ().
- Deduction C (from Premise 2 and Deduction B): We know . Since Chan is a Band 1 officer ( is True), by Modus Ponens, Officer Chan is NOT eligible for standard overtime cash compensation ().
Testing Distractor Traps on Officer Chan
- Trap Statement 1: "Officer Chan is a Grade A officer ()."
- Analysis: We know , and we know Chan is . Inferring from commits the Fallacy of Affirming the Consequent. Chan could be a an officer in any other Band 1 grade. This statement is not logically guaranteed.
- Trap Statement 2: "If Officer Chan had completed only 7 years of service, she could still receive the Travel Concession."
- Analysis: The rule specifies . If is false (7 years years), the conjunction is false, which necessitates that is false. This statement directly contradicts the biconditional rule.
+--------------------------------------------------------------------------+
| DEDUCTIVE DERIVATION AUDIT TRAIL |
+--------------------------------------------------------------------------+
| Premise / Step | Symbolic Translation | Derived Truth State |
|----------------------+-----------------------------+---------------------|
| Given Fact | T is True | T = 1 |
| Premise 4 (Bicond.) | T <-> (H AND Y) | H = 1, Y = 1 |
| Premise 3 (Cond.) | H -> D | D = 1 |
| Premise 2 (Negative) | D -> NOT O | O = 0 (Not eligible)|
| Premise 1 (Trap) | S -> D (Affirming Conseq.) | S = UNKNOWN |
+--------------------------------------------------------------------------+
Independent Preparation Advisory
This guide is published independently by OpenExamPrep for self-study and examination preparation. It is not affiliated with, authorized by, sponsored by, or endorsed by the Civil Service Bureau of the HKSAR Government. Candidates should confirm examination formats and regulatory standards against official CSB documentation.
Consider the following three formal logical statements regarding public health personnel:
- All accredited environmental health officers are certified infection control specialists.
- Some certified infection control specialists are registered epidemiological analysts.
- No registered epidemiological analyst is an unauthorized building inspector.
Assuming all three premises are strictly true, which of the following conclusions MUST logically follow?
Some certified infection control specialists are not unauthorized building inspectors
All accredited environmental health officers are registered epidemiological analysts
Some accredited environmental health officers are unauthorized building inspectors
Every certified infection control specialist is an accredited environmental health officer
A set of Civil Service Bureau operational regulations contains the following administrative guidelines: Rule 1: An executive officer is granted overseas duty visit approval only if their departmental head submits a formal business justification. Rule 2: If a formal business justification is submitted, the financial controller must allocate dedicated travel credits. Rule 3: Travel credits are allocated only if the departmental account has an uncommitted surplus balance.
Based strictly on the rules above, which of the following statements is a logically guaranteed deduction?
If an executive officer is not granted overseas duty visit approval, the departmental head did not submit a formal business justification
Whenever the financial controller allocates travel credits, an executive officer must be granted overseas duty visit approval
If the departmental account does not have an uncommitted surplus balance, an executive officer cannot be granted overseas duty visit approval
If the departmental account has an uncommitted surplus balance, a formal business justification must have been submitted
閱讀下面短文,並假定短文的內容都是正確的:
「凡是參加了培訓課程的職員都獲發證書。有些獲發證書的職員是新入職的。陳先生沒有獲發證書。」
由此可推論:
陳先生是新入職的職員
所有新入職的職員都參加了培訓課程
有些新入職的職員沒有參加培訓課程
陳先生沒有參加培訓課程
Sections you finish are checked off in the contents.