Conditional Logic & Formal Reasoning

What You Need to Know

Conditional logic is the LSAT’s “if-then” engine: it powers many valid inferences, exposes logical gaps, and lets you quickly test answer choices in Logical Reasoning (and sometimes dense argumentation elsewhere). “Formal reasoning” is just being strict about what follows from what—no common-sense filling in.

Core idea

A conditional statement links a sufficient condition to a necessary condition:

$A \rightarrow B$

• $A$ = sufficient (if it happens, that guarantees the other thing)
• $B$ = **necessary** (it must be true whenever $A$ is true)

Key truth: the only guaranteed inference from a conditional is its contrapositive.

$A \rightarrow B$
$\neg B \rightarrow \neg A$

Everything else (reversals, negations, “maybe” inferences) is a trap unless you’re given more.

When you use it on the LSAT

• To diagram and combine rules (chains) and make deductions.
• To identify valid vs invalid argument forms.
• To evaluate or choose assumptions (necessary/sufficient) that make an argument work.
• To handle “unless / only if / without / until / except” language precisely.

Critical reminder: In LSAT conditionals, necessary does not mean “causes,” “explains,” or “is the only way.” It just means “required whenever the sufficient occurs.”

Step-by-Step Breakdown

Use this workflow any time you see conditional-ish language.

1) Find the conclusion and the role of each statement

• Is the conditional a premise you can use to infer something?
• Or is it an unstated rule the argument assumes?

2) Translate English into a clean conditional

(a) Identify the sufficient trigger (often introduced by “if,” “when,” “any,” “all,” “each”).

(b) Identify the necessary requirement (often introduced by “must,” “requires,” “only if,” “depends on,” “cannot unless”).

Write it as $\text{sufficient} \rightarrow \text{necessary}$.

Mini-translation examples (annotated):

• “If a policy is effective, it reduces costs.”

$\text{Effective} \rightarrow \text{Reduces costs}$

• “A policy is effective only if it reduces costs.”

$\text{Effective} \rightarrow \text{Reduces costs}$

(“only if” introduces the necessary side.)

• “A policy is effective if it reduces costs.”

$\text{Reduces costs} \rightarrow \text{Effective}$

(“A if B” means B is sufficient for A.)

3) Take the contrapositive immediately

Flip and negate both terms:

$A \rightarrow B$
$\neg B \rightarrow \neg A$

This is the inference you can always use.

4) Look for chain opportunities

If you have:

$A \rightarrow B$
$B \rightarrow C$

Then you can chain:

$A \rightarrow C$

Also contrapositive-chain:

$\neg C \rightarrow \neg B \rightarrow \neg A$

5) Handle biconditionals and “unless” correctly

• “If and only if” means both directions:

$A \leftrightarrow B$

Which equals:

$A \rightarrow B$
$B \rightarrow A$

• “Unless” usually means “if not” (and can be rewritten as “or”).

“A unless B” means: if not B, then A.

$\neg B \rightarrow A$

Equivalent “or” form:

$A \lor B$

6) Use the right test for assumption questions

• Necessary Assumption: use the negation test.
  • If negating the answer wrecks the argument, it was necessary.
• Sufficient Assumption: you’re looking for a missing link that makes the conclusion follow.
  • Often you add a conditional that allows chaining from premises to conclusion.

Key Formulas, Rules & Facts

Conditional forms and what’s valid

Indicator words (translation triggers)

Warning: “Only” is slippery. In conditionals, only if sets the necessary condition. “Only” elsewhere (e.g., “Only cats are mammals”) is a different structure: $\text{Mammal} \rightarrow \text{Cat}$.

Negation rules (for contrapositives and assumption negation)

“Unless” and “except” patterns

Quantifiers that behave like conditionals

• “All / every / any / each A are B”:

$A \rightarrow B$

• “No A are B”:

$A \rightarrow \neg B$

(equivalently $B \rightarrow \neg A$)

• “Only A are B” (read: if something is B, it must be A):

$B \rightarrow A$

LSAT trap: “Most” and “many” do not create clean conditionals you can contrapose.

Examples & Applications

Example 1: Basic inference + contrapositive

Premise: “If the witness is credible, the jury will convict.”

$C \rightarrow V$

Valid inferences:

• If credible, convict (modus ponens): $C$ therefore $V$.
• If not convict, not credible (contrapositive / modus tollens): $\neg V \rightarrow \neg C$.

Invalid inferences (common wrong answers):

• $V \rightarrow C$ (mistaken reversal)
• $\neg C \rightarrow \neg V$ (mistaken negation)

Example 2: Chaining to reach a conclusion

Premises:

1. “Any building with sprinklers meets the fire code.”

$S \rightarrow F$

2. “Any building that meets the fire code can be insured.”

$F \rightarrow I$

Conclusion you can prove:

$S \rightarrow I$

Key insight: look for the middle term ($F$) and chain.

Example 3: “Unless” and “cannot” translation

Statement: “A company cannot expand unless it secures financing.”

Meaning: financing is required for expansion.

$E \rightarrow G$

Contrapositive:

$\neg G \rightarrow \neg E$

Equivalent “or” form (sometimes useful in LR):

$G \lor \neg E$

Example 4: Assumption as a missing conditional link

Argument:

• Premise: “If a drug is approved, it has passed safety trials.”

$A \rightarrow S$

• Conclusion: “Therefore, if a drug is approved, it is safe.”

$A \rightarrow \text{Safe}$

Gap: $S$ does not equal “safe.” The argument needs something like:

$S \rightarrow \text{Safe}$

Then you can chain:

$A \rightarrow S \rightarrow \text{Safe}$

How it appears in answers:

• Sufficient assumption: “Any drug that passed safety trials is safe.”
• Necessary assumption (weaker, but required): “Passing safety trials is at least an indicator of safety” or “No drug can be approved unless it is safe” depending on exact wording.

Common Mistakes & Traps

1. Mistaken Reversal

   • What you do: from $A \rightarrow B$ you infer $B \rightarrow A$.
   • Why wrong: $B$ could happen for other reasons.
   • Fix: only infer the contrapositive $\neg B \rightarrow \neg A$.

2. Mistaken Negation

   • What you do: from $A \rightarrow B$ you infer $\neg A \rightarrow \neg B$.
   • Why wrong: $\neg A$ says nothing about $B$.
   • Fix: negate and flip: $\neg B \rightarrow \neg A$.

3. Confusing necessary with sufficient (especially with “only if”)

   • What you do: treat “A only if B” as $B \rightarrow A$.
   • Why wrong: “only if” makes $B$ necessary for $A$.
   • Fix: memorize: “only if” introduces the necessary side: $A \rightarrow B$.

4. Treating conditionals as biconditionals

   • What you do: assume “if A then B” means “A iff B.”
   • Why wrong: you were only given one direction.
   • Fix: only use both directions if you see “if and only if,” “exactly when,” or clearly exclusive definitions.

5. Breaking chains by mixing terms that aren’t identical

   • What you do: chain $A \rightarrow B$ with $B' \rightarrow C$ where $B'$ is not the same as $B$ (e.g., “reduces costs” vs “reduces overall costs”).
   • Why wrong: LSAT loves near-synonyms that are logically different.
   • Fix: chain only when the middle term matches exactly (or is explicitly equivalent).

6. Incorrect negation in contrapositives

   • What you do: contrapose $A \rightarrow (B \land C)$ as $\neg B \rightarrow \neg A$ (forgetting $\neg C$).
   • Why wrong: not having both $B$ and $C$ is enough to trigger the contrapositive.
   • Fix: apply De Morgan: $\neg(B \land C) \equiv (\neg B \lor \neg C)$.

7. Over-diagramming “most/many/some” like conditionals

   • What you do: treat “most A are B” as $A \rightarrow B$.
   • Why wrong: “most” allows exceptions and doesn’t contrapose cleanly.
   • Fix: only diagram true universals (all/none) as strict conditionals.

8. Negation test errors on Necessary Assumption questions

   • What you do: negate an answer too strongly (or not at all), then misjudge impact.
   • Why wrong: the test requires the logical negation, not the “opposite-sounding” version.
   • Fix: negate minimally (e.g., “some” ↔ “none,” “all” ↔ “not all,” “must” ↔ “not necessarily”).

Memory Aids & Quick Tricks

Quick Review Checklist

• You can always rewrite a conditional as $\text{sufficient} \rightarrow \text{necessary}$.
• Your go-to inference is the contrapositive: $A \rightarrow B$ becomes $\neg B \rightarrow \neg A$.
• Valid forms to spot: Modus Ponens and Modus Tollens.
• Common fallacies to reject: affirming the consequent and denying the antecedent.
• “Only if” marks the necessary condition: $A \text{ only if } B \equiv A \rightarrow B$.
• “A if B” flips: $B \rightarrow A$.
• “Unless” can become $\neg B \rightarrow A$ or $A \lor B$.
• Chain only with perfectly matching middle terms.
• Negate carefully (especially compound statements and assumption choices).

You’ve got this—be strict, diagram cleanly, and trust the contrapositive.