Conditional Logic & Formal Reasoning

1. What You Need to Know

Conditional logic is the LSAT’s “wiring diagram” for arguments: it lets you translate English rules into precise relationships, take valid inferences, and spot invalid ones quickly. Formal reasoning is mainly about (a) getting the logic form right (conditionals, quantifiers, “or”), then (b) applying the few valid inference patterns.

Core idea: sufficient vs. necessary

A conditional statement has two parts:

$P \rightarrow Q$

Sufficient condition $P$ : if this happens, it guarantees the other.
Necessary condition $Q$ : this must happen whenever the sufficient happens.

Read it as: “If $P$ , then $Q$ .”

The single most-tested move: the contrapositive

The contrapositive is logically equivalent (same truth conditions):

$P \rightarrow Q \equiv \neg Q \rightarrow \neg P$

On the LSAT, you often solve by taking contrapositives and linking chains.

What “Formal Reasoning” usually means on LSAT

Translating English into symbols accurately
Using valid inference patterns (especially modus ponens and modus tollens)
Handling unless, only if, without, no/not/none, either/or, and quantifiers (“some,” “most,” “all”)
Avoiding classic invalid moves (affirming the consequent, denying the antecedent)

If you do nothing else: get “only if,” “unless,” and contrapositives automatic.

2. Step-by-Step Breakdown

Use this anytime a stimulus/answer choice contains rule-like language (if, only if, unless, requires, must, depends, cannot, no, without, any, all).

Step 1: Identify the core relationship type

Conditional (triggers/requirements): “if,” “only if,” “requires,” “must,” “depends on,” “without,” “unless.”
Quantified (all/some/most/none): “all,” “each,” “some,” “most,” “no.”
Disjunctive (“or”): “either,” “or,” “at least one,” “unless” (often becomes an “or”).

Step 2: Translate to a clean logical form

A. Standard conditional translation

“If P, then Q” becomes:

$P \rightarrow Q$

“P only if Q” becomes:

$P \rightarrow Q$

Because “only if” introduces the necessary condition.

B. “Unless” translation (two reliable methods)

Replace “unless” with “if not”:

“P unless Q” means “If not Q, then P”:

$\neg Q \rightarrow P$

Or rewrite as an “or”:

“P unless Q” means:

$P \lor Q$

(At least one is true.)

C. “Without” / “No” / “Cannot”

“No A are B”:

$A \rightarrow \neg B$

“A cannot occur without B” means B is necessary for A:

$A \rightarrow B$

“Without B, no A”:

$\neg B \rightarrow \neg A$

Step 3: Take contrapositives immediately (when helpful)

Given:

$P \rightarrow Q$

Write the contrapositive:

$\neg Q \rightarrow \neg P$

Then you can link chains that match.

Step 4: Link conditional chains (transitivity)

If you have:

$P \rightarrow Q$

and:

$Q \rightarrow R$

Then you can conclude:

$P \rightarrow R$

Tip: link only when the middle terms match exactly (including negations).

Step 5: Use valid inference patterns only

From:

$P \rightarrow Q$

Valid:

Modus Ponens: $P$ therefore $Q$
Modus Tollens: $\neg Q$ therefore $\neg P$

Invalid (common traps):

Affirming the consequent: $Q$ therefore $P$
Denying the antecedent: $\neg P$ therefore $\neg Q$

Mini worked translation (annotated)

Statement: “You can graduate only if you complete the thesis.”

“Only if” introduces necessary condition.
Let $G$ = graduate, $T$ = complete thesis.

$G \rightarrow T$

Contrapositive:

$\neg T \rightarrow \neg G$

3. Key Formulas, Rules & Facts

A. Conditional language translation table

English trigger	Correct form	When to use	Notes
If P, then Q	$P \rightarrow Q$	Direct conditionals	P is sufficient, Q is necessary
P only if Q	$P \rightarrow Q$	“Only if”	“Only if” flags necessary
P if Q	$Q \rightarrow P$	“If” after clause	The “if” side is sufficient
P requires Q	$P \rightarrow Q$	Requirements	Same as “only if”
P depends on Q	$P \rightarrow Q$	Dependencies	Q is necessary
P unless Q	$\neg Q \rightarrow P$	“Unless”	Also equivalent to $P \lor Q$
Without Q, no P	$\neg Q \rightarrow \neg P$	“Without” phrasing	Equivalent to $P \rightarrow Q$
No P are Q	$P \rightarrow \neg Q$	Universal negative	Also $Q \rightarrow \neg P$
Only P are Q	$Q \rightarrow P$	“Only” (not “only if”)	“Only P are Q” means all Q are P

B. Contrapositive + equivalences

Original	Equivalent	Note
$P \rightarrow Q$	$\neg Q \rightarrow \neg P$	Contrapositive (most important)
$P \rightarrow Q$	$\neg P \lor Q$	Useful for spotting “or” form
$\neg P \rightarrow Q$	$P \lor Q$	Common “unless” conversion

Only the contrapositive is guaranteed equivalent. The inverse $\neg P \rightarrow \neg Q$ and converse $Q \rightarrow P$ are not.

C. Valid and invalid inference patterns

Pattern	Form	Valid?	LSAT use
Modus Ponens	$P \rightarrow Q,\; P\; \Rightarrow\; Q$	Yes	Must-be-true, inference
Modus Tollens	$P \rightarrow Q,\; \neg Q\; \Rightarrow\; \neg P$	Yes	Contrapositive reasoning
Hypothetical Syllogism	$P \rightarrow Q,\; Q \rightarrow R\; \Rightarrow\; P \rightarrow R$	Yes	Linking rule chains
Affirming consequent	$P \rightarrow Q,\; Q\; \Rightarrow\; P$	No	Common flaw
Denying antecedent	$P \rightarrow Q,\; \neg P\; \Rightarrow\; \neg Q$	No	Common flaw

D. “Or” logic (disjunction)

Inclusive “or” on LSAT is usually inclusive unless stated otherwise:

$A \lor B$

Meaning: at least one true; could be both.

Key inference from “or” is via contrapositive-style elimination (Disjunctive Syllogism):

$A \lor B,\; \neg A\; \Rightarrow\; B$

Exclusive “either/or but not both” is:

$(A \lor B) \land \neg(A \land B)$

Often written as “either A or B, but not both.”

E. Quantifiers (quick formal meaning)

Quantifier	Logic meaning	What you can safely infer
All	$A \rightarrow B$	If A then B; contrapositive $\neg B \rightarrow \neg A$
No	$A \rightarrow \neg B$	Also $B \rightarrow \neg A$
Some	$\exists x\,(A \land B)$	At least one; cannot infer “most” or “all”
Most	More than $\frac{1}{2}$	Most A are B does not imply most B are A

Negations you should know cold:

Negation of “All A are B” is “Some A are not B.”
Negation of “Some A are B” is “No A are B.”
Negation of “Most A are B” is “At most half of A are B” (often phrased “Half or fewer”).

F. De Morgan’s Laws (for negating compound statements)

Negating “and/or” is a frequent trap.

$\neg(A \land B) \equiv (\neg A \lor \neg B)$

$\neg(A \lor B) \equiv (\neg A \land \neg B)$

4. Examples & Applications

Example 1: “Only if” vs “if” (direction matters)

Statement: “A candidate is hired only if the candidate has experience.”

Let $H$ = hired, $E$ = has experience.

$H \rightarrow E$

What you can infer:

If no experience, then not hired:

$\neg E \rightarrow \neg H$

Trap answer you should reject: “If experienced, then hired” (that would be $E \rightarrow H$ ).

Example 2: “Unless” as conditional and as “or”

Statement: “The permit will be approved unless the form is incomplete.”

Let $A$ = approved, $I$ = incomplete.

Method 1 (“if not”):

$\neg I \rightarrow A$

Method 2 (“or”):

$A \lor I$

Key insight: This does not say incomplete guarantees not approved. You might be able to approve even if incomplete unless the statement says so.

Example 3: Linking a rule chain and using modus tollens

Rules:

“If the device overheats, it shuts down.”

$O \rightarrow S$

“If it shuts down, the alarm sounds.”

$S \rightarrow A$

Link:

$O \rightarrow A$

If you’re told the alarm did not sound $\neg A$ , then by contrapositive of $O \rightarrow A$ :

$\neg A \rightarrow \neg O$

So you can conclude it did not overheat.

Example 4: Formal flaw spotting (affirming the consequent)

Argument: “If the contract is valid, then it is enforceable. It is enforceable. Therefore, it is valid.”

$V \rightarrow E,\; E\; \Rightarrow\; V$

This is invalid (affirming the consequent). Other things could make it enforceable.

What would make it valid?

Add the reverse conditional (make it biconditional):

$E \rightarrow V$

Then:

$V \leftrightarrow E$

5. Common Mistakes & Traps

Reversing “only if”
- Wrong: Treating “P only if Q” as $Q \rightarrow P$ .
- Why wrong: “Only if” introduces the necessary condition.
- Fix: Put the “only if” part on the right: $P \rightarrow Q$ .
Assuming the converse/inverse are equivalent
- Wrong: From $P \rightarrow Q$ , concluding $Q \rightarrow P$ or $\neg P \rightarrow \neg Q$ .
- Why wrong: Only the contrapositive preserves meaning.
- Fix: If you need “if and only if,” you must have both directions.
Mishandling “unless”
- Wrong: Translating “P unless Q” as $Q \rightarrow P$ .
- Why wrong: “Unless” sets up a negated trigger.
- Fix: Use $\neg Q \rightarrow P$ or $P \lor Q$ .
Negating incorrectly (De Morgan errors)
- Wrong: Negating “A or B” as “not A or not B.”
- Why wrong: $\neg(A \lor B)$ becomes $\neg A \land \neg B$ .
- Fix: Flip $\lor$ and $\land$ when you negate, and negate each term.
Treating inclusive “or” as exclusive
- Wrong: Interpreting “A or B” to mean “A or B but not both.”
- Why wrong: LSAT “or” is typically inclusive unless it says “but not both,” “either,” or gives clear exclusivity.
- Fix: Default to inclusive; only add “not both” if explicitly stated.
Linking conditionals with mismatched terms
- Wrong: Linking $P \rightarrow Q$ with $\neg Q \rightarrow R$ as if the middle matches.
- Why wrong: $Q$ and $\neg Q$ are different terms.
- Fix: Make negations explicit and only chain when the exact middle repeats.
Confusing necessary vs. sufficient in argument evaluation
- Wrong: Thinking proving a necessary condition proves the conclusion.
- Why wrong: Necessary conditions do not guarantee outcomes.
- Fix: Ask: “Does this fact guarantee the result (sufficient), or is it merely required (necessary)?”
Over-inferring from “some” and “most”
- Wrong: Treating “some” like “many/most” or converting “most A are B” into “most B are A.”
- Why wrong: Quantifiers are directional; “some” is minimal.
- Fix: Keep quantifiers tight; use precise negations.

6. Memory Aids & Quick Tricks

Trick / mnemonic	What it helps you remember	When to use
ON = Only if Necessary	“Only if” introduces the necessary condition (goes on the right side)	Any “only if” sentence
Unless = If not	Convert “unless” to a negated trigger	Any “unless” clause
Arrow points to necessary	In $P \rightarrow Q$ , $Q$ is required when $P$ happens	Checking direction quickly
Contrapositive: switch and negate	$P \rightarrow Q$ becomes $\neg Q \rightarrow \neg P$	Almost every conditional problem
De Morgan: flip and negate	Negate compound statements: flip $\land$ / $\lor$ , negate each term	Negating answer choices / stimuli
“Some” = at least 1	Don’t inflate “some” into “many”	Quantifier questions

7. Quick Review Checklist

You can label each conditional as $\text{sufficient} \rightarrow \text{necessary}$ .
You translate “only if,” “requires,” “depends on” as necessary conditions on the right.
You translate “unless” as $\neg Q \rightarrow P$ (or $P \lor Q$ ).
You take contrapositives automatically: $P \rightarrow Q$ equals $\neg Q \rightarrow \neg P$ .
You link chains only when the middle term matches exactly.
You use only valid inferences (modus ponens, modus tollens, disjunctive syllogism).
You instantly spot the classic flaws: affirming the consequent, denying the antecedent.
You negate correctly using De Morgan’s laws.
You treat “or” as inclusive unless clearly exclusive.

You’ve got this: be ruthless about direction and contrapositives, and the logic will fall into place.