8.2 Conditional Reasoning, Contrapositives & Modus Ponens/Tollens

8.2 Conditional Reasoning, Contrapositives & Modus Ponens/Tollens

Key Exam Fact: Conditional statements are the single most frequently tested logical mechanism on the Bocconi Admission Test. Test-makers intentionally exploit the cognitive tendency to confuse sufficient conditions with necessary conditions. Candidates who learn to immediately translate sentences into arrow notation ($P \rightarrow Q$) and test contrapositives ($¬Q \rightarrow ¬P$) can answer these questions with 100% accuracy in under 45 seconds.

A conditional statement expresses a dependency between two events, states, or mathematical assertions. In everyday speech, conditionals are often used sloppily—people often say "if" when they mean "if and only if." On the Bocconi exam, however, statements must be interpreted with absolute mathematical rigor.

---

Sufficient vs. Necessary Conditions

Understanding the direction of the arrow in $P \rightarrow Q$ requires differentiating between sufficiency and necessity:

Sufficient Condition ($P$)

• A condition that, if satisfied, guarantees the truth of the consequent $Q$.
• $P$ is enough all by itself to make $Q$ occur.
• Example: Being in Milan ($P$) is a sufficient condition for being in Italy ($Q$). If you are standing in Milan, you are guaranteed to be in Italy ($P \rightarrow Q$).

Necessary Condition ($Q$)

• A condition that must be satisfied for the antecedent $P$ to be true.
• Without $Q$, $P$ cannot possibly occur (if $\neg Q$, then $\neg P$). However, the presence of $Q$ alone does not guarantee $P$.
• Example: Being in Italy ($Q$) is a necessary condition for being in Milan ($P$). You cannot be in Milan without being in Italy. However, being in Italy does not guarantee you are in Milan—you could be in Rome, Florence, or Venice.

The Direct Mapping Rule

$$\text{Sufficient Condition} \longrightarrow \text{Necessary Condition}$$ $$P \longrightarrow Q$$

---

The Four Conditional Permutations

Given an original conditional statement $P \rightarrow Q$, we can form four distinct permutations by reversing direction, negating terms, or doing both:

The Fundamental Invariance Law

A conditional proposition is logically equivalent ONLY to its contrapositive.

$$\mathbf{P \rightarrow Q \equiv \neg Q \rightarrow \neg P}$$

Notice also that the Converse and the Inverse are contrapositives of each other:

$$(Q \rightarrow P) \equiv (\neg P \rightarrow \neg Q)$$

Therefore, if an exam question asks what must be true if the converse is true, the answer is the inverse, NOT the original statement!

Why Converse and Inverse Fail: Concrete Demonstration

• Original ($T$): "If an animal is a golden retriever ($P$), then it is a dog ($Q$)." (True)
• Contrapositive ($T$): "If an animal is not a dog ($\neg Q$), then it is not a golden retriever ($\neg P$)." (True—logically equivalent!)
• Converse ($F$): "If an animal is a dog ($Q$), then it is a golden retriever ($P$)." (False—it could be a poodle or German shepherd!)
• Inverse ($F$): "If an animal is not a golden retriever ($\neg P$), then it is not a dog ($\neg Q$)." (False—a beagle is not a retriever, but is still a dog!)

---

Valid Deductive Inference Rules

In formal logic, an argument form is deductively valid if it is impossible for the premises to be true while the conclusion is false. There are two primary valid single-conditional inference rules:

1. Modus Ponens (Affirming the Antecedent)

• Premise 1: $P \rightarrow Q$ ("If the central bank raises rates, inflation decreases.")
• Premise 2: $P$ ("The central bank raises rates.")
• Valid Conclusion: $\therefore Q$ ("Inflation decreases.")

2. Modus Tollens (Denying the Consequent)

• Premise 1: $P \rightarrow Q$ ("If the central bank raises rates, inflation decreases.")
• Premise 2: $\neg Q$ ("Inflation did not decrease.")
• Valid Conclusion: $\therefore \neg P$ ("The central bank did not raise rates.")
• Logic Note: Modus Tollens is simply Modus Ponens applied to the contrapositive ($\neg Q \rightarrow \neg P$, combined with $\neg Q$, yields $\neg P$).

3. Hypothetical Syllogism (The Transitive Chain Rule)

When two conditionals share an intermediate term, they can be chained transitively:

• Premise 1: $P \rightarrow Q$
• Premise 2: $Q \rightarrow R$
• Valid Conclusion: $\therefore P \rightarrow R$
• Valid Contrapositive Chain: $\therefore \neg R \rightarrow \neg P$

---

The Two Classic Formal Fallacies (Bocconi Trap Matrix)

Most incorrect answer choices in Bocconi deductive logic questions commit one of two structural fallacies:

1. The Fallacy of Affirming the Consequent (AC)

• Premise 1: $P \rightarrow Q$ ("If a candidate scores 45+ on the Bocconi test, they receive an interview.")
• Premise 2: $Q$ ("Marco received an interview.")
• INVALID Deduction: $\therefore P$ ("Marco scored 45+ on the test.")
• Why it is invalid: The premise guarantees that scoring 45+ yields an interview, but does not state that 45+ is the only way to receive an interview. Marco might have received an interview based on an outstanding SAT score or elite international athletic achievements.

2. The Fallacy of Denying the Antecedent (DA)

• Premise 1: $P \rightarrow Q$ ("If a candidate scores 45+ on the Bocconi test, they receive an interview.")
• Premise 2: $\neg P$ ("Giulia did not score 45+ on the test.")
• INVALID Deduction: $\therefore \neg Q$ ("Giulia will not receive an interview.")
• Why it is invalid: The rule specifies what happens when $P$ occurs; it provides zero information regarding what happens when $P$ does not occur. Denying the sufficient condition does not prevent the consequent from occurring via alternative mechanisms.

The Deductive Rule vs. Fallacy Matrix

---

Decoding Natural Language Conditionals

Bocconi exam questions rarely say "$P \rightarrow Q$" explicitly. Instead, they use complex English idioms. You must master the following translation keys:

1. "If" vs. "Only If"

• "$Q$ if $P$" $\implies P \rightarrow Q$ ($P$ is the sufficient condition; it triggers $Q$).
• "$P$ only if $Q$" $\implies P \rightarrow Q$ ($Q$ is the necessary condition; without $Q$, $P$ cannot happen).
• Crucial Distinction: In English, the phrase following "if" is the antecedent. The phrase following "only if" is ALWAYS the consequent!
  • Statement: "You will be admitted to Bocconi only if you submit your transcript."
  • Translation: Admitted $\rightarrow$ Transcript Submitted.
  • Contrapositive: No Transcript Submitted $\rightarrow$ Not Admitted.

2. "Unless"

• "$P$ unless $Q$" translates formally to: $\neg Q \rightarrow P$ (or equivalently, $P \lor Q$).
• Shortcut Rule: Replace "unless" with "if not":
  • Statement: "The startup will go bankrupt unless it secures Series A funding."
  • Step 1: Replace "unless" with "if not": "If the startup does not secure Series A funding, it will go bankrupt."
  • Symbolic: $\neg \text{Funding} \rightarrow \text{Bankruptcy}$
  • Contrapositive: $\neg \text{Bankruptcy} \rightarrow \text{Funding}$ ("If the startup avoids bankruptcy, it must have secured Series A funding.")

3. "Necessary" vs. "Sufficient"

• "$A$ is a sufficient condition for $B$" $\implies A \rightarrow B$
• "$A$ is a necessary condition for $B$" $\implies B \rightarrow A$
• "To achieve $B$, it is necessary to do $A$" $\implies B \rightarrow A$

---

Worked Bocconi Exam Scenario: Multi-Premise Chain Deduction

Problem: Consider the following three corporate governance rules established by a Milanese venture capital firm:

1. "An investment in a fintech company will be approved only if the company holds an EU banking license."
2. "A company will establish operations in Luxembourg provided that it holds an EU banking license."
3. "No company will establish operations in Luxembourg unless its anti-money laundering (AML) protocols are fully audited."

If the VC firm approved an investment in PayNova (a fintech company), which of the following MUST be true?

Step-by-Step Translation to Symbolic Notation:

• Let $A$: Investment is approved.
• Let $L$: Company holds an EU banking license.
• Let $O$: Company establishes operations in Luxembourg.
• Let $M$: AML protocols are fully audited.

Deconstruct Premises:

• Premise 1: "Approved only if banking license" $\implies A \rightarrow L$
• Premise 2: "Luxembourg operations provided that banking license" $\implies L \rightarrow O$ ("Provided that" introduces the sufficient condition)
• Premise 3: "No Luxembourg operations unless AML audited" $\implies \neg M \rightarrow \neg O$, whose contrapositive is $O \rightarrow M$

Construct the Hypothetical Syllogism Chain:

$$A \longrightarrow L \longrightarrow O \longrightarrow M$$

By transitivity, the full deductive chain is:

$$A \longrightarrow M$$

Apply Modus Ponens to the Fact:

• Fact given: $A$ is True ("The VC firm approved an investment in PayNova").
• Applying Modus Ponens across the entire chain:
  • $A \implies L$ (PayNova holds an EU banking license)
  • $L \implies O$ (PayNova will establish operations in Luxembourg)
  • $O \implies M$ (PayNova's AML protocols are fully audited)

Therefore, we can deduce with 100% formal certainty that PayNova's AML protocols are fully audited ($M$) and that PayNova will establish operations in Luxembourg ($O$). Any answer choice asserting the converse (e.g., "If a company has audited AML protocols, its investment will be approved") commits the Fallacy of Affirming the Consequent and must be eliminated.