3.1 Formal Deductive Logic & Categorical Syllogisms

Deductive Reasoning Principles on the OTEE

The Canada Border Services Agency (CBSA) Officer Trainee Entrance Exam (OTEE) evaluates your capacity for rigorous, disciplined deductive reasoning. Unlike inductive reasoning—which forms probabilistic generalizations from patterns or past experience—deductive reasoning is absolute. In formal deduction, if the stated premises are true, the conclusion drawn from them must be true with 100% certainty. There is no room for conjecture, probability, or real-world plausibility.

These deductive-logic practice questions use hypothetical rules, records, and screening criteria. CBSA does not publish a detailed live-item blueprint. A critical rule for candidates is to never import outside knowledge. Even if a premise describes a procedure that contradicts everyday common sense or actual CBSA field practices (such as asserting that "All commercial drivers must wear orange high-visibility jackets to receive primary clearance"), you must accept the premise as an inviolable operational law for the duration of that question.

Truth versus Logical Validity

Exam candidates frequently confuse factual truth with logical validity:

• Truth refers to whether a statement aligns with empirical reality in the world.
• Validity refers to whether the conclusion follows inescapably from the structural relationship between the premises.

Premise 1: All commercial marine vessels carrying timber must dock at Berth 4.
Premise 2: The freighter Sea Rover is a commercial marine vessel carrying timber.
Conclusion: The freighter Sea Rover must dock at Berth 4.

This argument is valid. Note the discipline the OTEE requires: validity is all you can assess here. Whether the argument is also sound would depend on the premises being true in the real world, and on the OTEE you neither know nor care whether Berth 4 actually exists. The conclusion is guaranteed because the subject (Sea Rover) belongs to the subset (vessels carrying timber), which is wholly enclosed within the set of vessels required to dock at Berth 4. A weaker statement such as “Sea Rover might dock at Berth 4” is compatible with the premises, but “must dock at Berth 4” is the strongest guaranteed conclusion. In a multiple-choice item, read the exact question and select the strongest answer it requests.

---

Deduction versus plausible inference

Deduction asks what must follow from the stated premises. A plausible inference may be well supported without being guaranteed. For example, if three records show rising volume, a fourth may plausibly rise too, but the first three alone do not logically force it. If an item asks for the strongest supported conclusion, compare the evidence and avoid adding unstated causes. If it asks what must be true, use a counterexample: can the premises hold while the proposed conclusion is false? This distinction preserves useful evidence-reading practice without assuming a specific live OTEE item type.

---

Universal versus Particular Quantifiers

Quantifiers establish the exact scope of a relationship between two categories. Misinterpreting the mathematical boundary of a quantifier is the single most common cause of error on the reasoning subtest of the OTEE.

The "Some" Trap on the OTEE

In everyday English conversation, saying "Some arriving flights were directed to secondary inspection" often implies conversational pragmatics—namely, that some flights were not directed to secondary. In formal deductive logic, this conversational implication is false.

• In formal logic, "Some" strictly means "at least one" (and potentially all).
• The statement "Some commercial containers contain undeclared agricultural products" guarantees only that there is at least one container with undeclared agricultural products. It does not prove that any clean containers exist, nor does it prove that all containers are tainted.
• You cannot infer "Some S are not P" from "Some S are P". Doing so is an unjustified inductive leap that test developers specifically design as a distractor trap.

---

The Conditional Rule and Contrapositive Inference

Many OTEE deductive problems are framed around conditional rules: statements structured as "If P, then Q" (P → Q), where P is the antecedent (the sufficient condition) and Q is the consequent (the necessary condition).

Consider this CBSA operational scenario:

"If a traveller presents an emergency travel document, the primary inspection officer must initiate a secondary identity verification referral."

1. Sufficient Condition (P): Presenting an emergency travel document. The moment this occurs, secondary referral is triggered automatically.
2. Necessary Condition (Q): Initiating secondary identity verification referral. This is the mandatory requirement that must follow when P occurs.

The Contrapositive

The conditional and its contrapositive are logically equivalent. The original rule also supports direct modus ponens: P together with “if P then Q” establishes Q. To form the contrapositive, you must flip the direction and negate both terms:

$$\text{Original Rule: } P \rightarrow Q \iff \text{Contrapositive: } \text{NOT } Q \rightarrow \text{NOT } P$$

Applying this to our operational scenario:

• Original: If emergency travel document (P), then secondary referral (Q).
• Contrapositive: If secondary referral is not initiated (NOT Q), then the traveller did not present an emergency travel document (NOT P).

This inference is mathematically guaranteed. If an arriving traveller is processed through Primary Inspection Line (PIL) and released into Canada without a secondary referral, it is impossible that they presented an emergency travel document under this rule.

---

Formal Logical Fallacies: Common OTEE Distractor Traps

In these practice exercises, incorrect choices may mimic valid reasoning while committing classic formal fallacies. Recognizing their structural patterns allows you to eliminate them in seconds.

Valid Rule: If P, then Q (P → Q).
Modus Ponens (Valid): P, therefore Q.
Contrapositive / Modus Tollens (Valid): If NOT Q, then NOT P (¬Q → ¬P).
Fallacy 1 (Invalid): If Q, then P (Q → P). (Affirming the Consequent)
Fallacy 2 (Invalid): If NOT P, then NOT Q (¬P → ¬Q). (Denying the Antecedent)

Fallacy 1: Affirming the Consequent (Q → P)

This fallacy occurs when an answer choice assumes that because the necessary condition (Q) was fulfilled, the specific antecedent (P) must have triggered it.

• Rule: "All Border Services Officers assigned to the Marine Enforcement Team are certified in marine safety vessel operation." (M → C)
• Fact: "Officer Davies is certified in marine safety vessel operation." (C)
• Fallacious Conclusion: "Therefore, Officer Davies is assigned to the Marine Enforcement Team." (M)
• Why it is invalid: Officer Davies could be assigned to Highway Cargo, Commercial Examination, or Regional Headquarters and hold marine safety certification from a previous assignment. Certification is a necessary condition for the Marine Enforcement Team, but it is not sufficient proof of membership in that unit.

Fallacy 2: Denying the Antecedent (¬P → ¬Q)

This fallacy occurs when an answer choice assumes that because the sufficient condition (P) did not occur, the consequent (Q) cannot happen.

• Rule: "If a commercial importer fails to submit an electronic cargo manifest 24 hours prior to arrival, the consignment is subjected to mandatory physical devanning." (F → D)
• Fact: "Consignment 884 submitted its electronic cargo manifest 48 hours prior to arrival (it did not fail to submit on time)." (¬F)
• Fallacious Conclusion: "Therefore, Consignment 884 will not be subjected to mandatory physical devanning." (¬D)
• Why it is invalid: The rule only gives one sufficient condition for the outcome. The outcome may also occur for another, unstated reason. Negating the trigger does not negate the outcome.

---

Categorical Syllogisms & Set Theory Representation

A categorical syllogism consists of two premises sharing a common middle term, leading to an inescapable conclusion that links the remaining terms. When solving these on the OTEE, mental mapping with Euler circles (nested and intersecting sets) eliminates confusion.

Syllogism Architecture: Universal and Particular Fusion

Premise 1: All commercial highway carriers transporting dangerous goods (DG) must carry an Emergency Response Assistance Plan (ERAP).
Premise 2: Some bulk tankers arriving at the Ambassador Bridge are transporting dangerous goods (DG).
Conclusion: Some bulk tankers arriving at the Ambassador Bridge must carry an Emergency Response Assistance Plan (ERAP).

Let us map this into sets:

1. Let T = Bulk tankers arriving at the Ambassador Bridge.
2. Let DG = Commercial carriers transporting dangerous goods.
3. Let ERAP = Entities required to carry an Emergency Response Assistance Plan.

From Premise 1, Set DG is entirely inside Set ERAP (DG ⊆ ERAP). From Premise 2, Set T overlaps with Set DG (T ∩ DG ≠ ∅). Because that overlapping portion of T sits inside DG, and all of DG is inside ERAP, that exact same portion of T must also sit inside ERAP. Hence, "Some bulk tankers arriving at the Ambassador Bridge must carry an ERAP" is an airtight, mathematically valid deduction.

       +---------------------------------------------+
       | Set ERAP: Entities Requiring an ERAP        |
       |                                             |
       |     +---------------------------------+     |
       |     | Set DG: Transporting DG         |     |
       |     |                                 |     |
       |     |     [ T ∩ DG ]                  |     |
       +-----+-----+---------------------------+-----+ 
             |     |                           |
             |     +---------------------------+
             |                                 |
             | Set T: Bulk Tankers at Bridge   |
             +---------------------------------+

---

Converting Negative and Complex Premises

Negative premises often confuse candidates under timed exam stress. Convert them systematically into positive categorical equivalents before drawing conclusions:

1. "No prohibited item passed through Primary Inspection undetected."

   • Direct Translation: Every prohibited item that passed through Primary Inspection was detected.
   • Set Translation: The set of prohibited items passed and the set of undetected items have zero overlap (A ∩ B = ∅).

2. "None of the officers stationed at Terminal 3 lack firearms recertification."

   • Direct Translation: Every officer stationed at Terminal 3 has completed firearms recertification (Double negative resolution: Not [lack] = Has completed).

3. "Unless an export permit is presented, high-tech telecommunications equipment cannot clear customs."

   • Direct Translation: If high-tech telecommunications equipment clears customs, an export permit was presented (The word "unless" translates to "if not": If no permit → cannot clear; Contrapositive: cleared → permit presented).

---

Summary Reference: Valid Inferences vs. Logical Fallacies