2.2 Conditional Logic & Contrapositives

2.2 Conditional Logic & Contrapositives

Conditional logic is the core structural engine of the LSAT. It appears extensively in Logical Reasoning items (especially Must Be True, Parallel Reasoning, Sufficient Assumption, and Principle questions) and forms the absolute framework of Analytical Reasoning (Logic Games). Master mastery of conditional translation, diagramming, and inference generation is non-negotiable for high performance.

---

The Foundations of Conditional Reasoning on the LSAT

A conditional statement is an assertion that if one event or state of affairs occurs, another event or state of affairs must also occur. A conditional statement makes no assertion about whether the initial event actually happens; it merely establishes an absolute rule governing the relationship between two components:

1. Sufficient Condition: A condition whose satisfaction guarantees the occurrence of the necessary condition. Think of it as the trigger or guarantor.
2. Necessary Condition: A condition that MUST be satisfied for the sufficient condition to occur. Think of it as the requirement or prerequisite.

Symbolic Diagramming

We represent conditional statements using directional arrows:

$\text{Sufficient Condition} \longrightarrow \text{Necessary Condition}$ $A \longrightarrow B$

• Meaning: "If $A$ occurs, then $B$ is guaranteed to occur."
• What it does NOT mean: It does NOT mean that $B$ causes $A$, nor does it mean that $B$ cannot occur without $A$.

---

Master List of Conditional Indicators & Translation Rules

LSAT questions rarely use simple "If $A$, then $B$" syntax. Test writers employ a rich variety of indicator words to test your ability to formalize language quickly and accurately.

Indicator Translation Table

Deconstructing "Unless" / "Except" Statements

The word "unless" confuses thousands of LSAT test takers every year. Master this foolproof two-step algorithm:

The Unless Rule:

1. Whatever clause immediately follows "unless" becomes the Necessary Condition (place it after the arrow).
2. Take the remaining clause, negate it, and place it as the Sufficient Condition (place it before the arrow).

Example: "You cannot receive a law degree unless you pass legal ethics."

• Clause following "unless": you pass legal ethics $\rightarrow$ Necessary ($LE$).
• Remaining clause: you cannot receive a law degree ($ eg LD$). Negate it $ ightarrow$ you receive a law degree ($LD$) $ ightarrow$ Sufficient.
• Diagram: $LD \longrightarrow LE$.

---

Valid Inferences vs. Invalid Fallacies

Given a valid conditional statement $A \rightarrow B$, exactly ONE valid inference can be automatically deduced: the contrapositive. Two common deductions are complete logical fallacies.

                         ORIGINAL STATEMENT
                           A  ──────►  B
                               │   │
         ┌─────────────────────┘   └─────────────────────┐
         ▼                                               ▼
   VALID INFERENCE                               INVALID FALLACIES
   (Contrapositive)                           
  ~B  ──────►  ~A                      Mistaken Reversal: B ──────► A
                                       Mistaken Negation: ~A ─────► ~B

1. The Contrapositive (Valid Deduction)

To form the contrapositive of any conditional statement:

1. Swap the positions of the sufficient and necessary conditions.
2. Negate both terms.

$\text{Original: } A \longrightarrow B \quad | \quad \text{Contrapositive: } \neg B \longrightarrow \neg A$

• Logical Reality: The contrapositive is 100% logically equivalent to the original statement. If the original statement is true, its contrapositive is guaranteed to be true.

2. Mistaken Reversal (Invalid Fallacy)

• Fallacy: Swapping the terms without negating them ($B \rightarrow A$).
• Error: Assuming that because the necessary condition occurred, the sufficient condition must have triggered it. (Affirming the Consequent).
• Example Trap: Knowing that All lawyers ($L$) passed the bar ($B$) ($L \rightarrow B$), concluding that Anyone who passed the bar ($B$) must be a lawyer ($L$).

3. Mistaken Negation (Invalid Fallacy)

• Fallacy: Negating both terms without swapping them ($ eg A \rightarrow \neg B$).
• Error: Assuming that because the sufficient condition did not occur, the necessary condition cannot occur. (Denying the Antecedent).
• Example Trap: Knowing that $L \rightarrow B$, concluding that If someone is not a lawyer ($\neg L$), they did not pass the bar ($\neg B$).

---

Multi-Chain Conditional Diagrams & Transitive Inferences

When an LSAT stimulus contains multiple conditional statements, look for shared terms to link them into a continuous conditional chain.

Building Transitive Chains

If a stimulus establishes:

1. Statement 1: $A \longrightarrow B$
2. Statement 2: $B \longrightarrow C$

You can connect them transitively: $A \longrightarrow B \longrightarrow C$.

• Direct Inference: $A \longrightarrow C$ ("If $A$ occurs, $C$ is guaranteed").
• Contrapositive Inference: $\neg C \longrightarrow \neg B \longrightarrow \neg A$, which yields $\neg C \longrightarrow \neg A$.

Handling Compound Conditions with De Morgan's Laws

When conditional statements contain compound elements connected by AND or OR, negating them for contrapositives requires applying De Morgan's Laws:

Applied Example:

• Statement: "To obtain a loan ($L$), an applicant must present proof of income ($I$) AND pass a credit check ($C$)."
• Diagram: $L \longrightarrow (I \text{ AND } C)$
• Contrapositive: Negate the right side and swap $\rightarrow \neg (I \text{ AND } C) \longrightarrow \neg L$
• Final Result: $(\neg I \text{ OR } \neg C) \longrightarrow \neg L$
• Meaning: If an applicant lacks proof of income OR fails a credit check (or both), they cannot obtain a loan.

---

Concrete LSAT Worked Examples & Real-World Drill Analysis

Worked Example 1: Complex Conditional Chain

Passage: No applicant will be admitted to the academy unless they pass the physical exam. Anyone who passes the physical exam is eligible for a scholarship, provided they score above 90 on the entrance test. However, no applicant who is eligible for a scholarship is assigned to weekend duty.

Step 1: Translate each statement into symbolic logic:

1. "No admission ($A$) unless physical exam ($P$)" $\rightarrow A \longrightarrow P$.
2. "Score > 90 ($S$) AND physical exam ($P$) $\rightarrow$ Scholarship eligible ($E$)" $\rightarrow (S \text{ AND } P) \longrightarrow E$.
3. "Scholarship eligible ($E$) $\rightarrow$ No weekend duty ($\neg W$)" $\rightarrow E \longrightarrow \neg W$.

Step 2: Synthesize the chain: $(S \text{ AND } P) \longrightarrow E \longrightarrow \neg W$

Step 3: Derive valid inferences:

• Inference 1: An applicant who scores above 90 and passes the physical exam will NOT be assigned to weekend duty ($(S \text{ AND } P) \rightarrow \neg W$).
• Contrapositive: An applicant assigned to weekend duty ($W$) either did not score above 90 ($\neg S$) OR did not pass the physical exam ($\neg P$) $\rightarrow W \rightarrow (\neg S \text{ OR } \neg P)$.