LSAT Conditional Logic

Conditional logic helps you represent relationships that appear in LSAT Logical Reasoning. It is especially useful when an argument relies on a rule, a required condition, or a chain of implications. The central discipline is direction: if one condition guarantees another, the arrow points from the guarantee to the result. Reversing that arrow adds a claim the original sentence may never make.

Necessary and sufficient conditions

A sufficient condition is enough to establish an outcome. A necessary condition must be present for the outcome to occur. If completing a safety course guarantees a certificate, course completion is sufficient and certification is necessary: course → certificate. The statement does not say that every certificate holder completed that particular course; a different course or equivalency might also qualify.

Common sufficient-condition indicators include if, when, whenever, any, all, and each, depending on sentence structure. Necessary-condition indicators include only if, must, requires, and unless. These words are clues, not a substitute for reading the sentence. Identify the result and what guarantees or is required for it.

Take “A candidate can enter the archive only if an appointment is confirmed.” Entry → confirmed appointment. A confirmed appointment is necessary for entry. The claim does not establish that every person with an appointment enters the archive. The person might also need identification, a valid ticket, or another authorization.

The contrapositive is equivalent

If A → B, then not B → not A. This second form is the contrapositive and has the same truth conditions. If receiving a grant requires submitting a complete application, grant → complete application. The contrapositive is incomplete application → no grant. The claim does not say that every complete applicant receives a grant.

Use the contrapositive when the argument gives evidence that the necessary condition is absent. Suppose every permit issued for a nighttime event requires a safety inspection. If a particular event has no safety inspection, it cannot have a nighttime permit. But an inspection alone does not prove that the permit was issued.

The most common error is affirming the necessary condition: A → B; B; therefore A. That inference is invalid because other routes to B may exist. The reverse error, denying the sufficient condition, is also invalid: A → B; not A; therefore not B. A can be sufficient without being the only route to B.

Build and read a conditional chain

If A → B and B → C, then A → C. The chain works because A guarantees B, and B guarantees C. For example: “Any article accepted for the journal has been peer reviewed. Every peer-reviewed article in the issue has a methods appendix.” Accepted → peer reviewed → appendix. From acceptance, you can infer an appendix, provided the second condition covers the same articles.

A chain can fail if you quietly change the subject or scope. “All audited branches report inventory” and “some branches with inventory reports are downtown” does not show that every audited branch is downtown. Keep track of whether each premise says all, some, most, or none. A conditional arrow captures an if-then relationship; it does not erase the quantifier.

Contrapose a chain by reversing the whole path and negating each term: A → B → C implies not C → not B → not A. You may also contrapose each link separately. Do not reverse only one arrow or negate only one term. For example, A → B and its contrapositive not B → not A are equivalent; B → A is not.

Translate unless and without

“Unless” often means “if not.” Consider: “The gallery will not admit visitors unless a curator is present.” If no curator is present, visitors are not admitted: not curator → not admission. The contrapositive is admission → curator present. A curator's presence may be necessary, but it is not necessarily sufficient; admission could also require a ticket or capacity.

A second translation method is to read “P unless Q” as “if not Q, then P.” For “The committee will not vote unless the report is complete,” not complete → no vote. The contrapositive is vote → complete. This does not say that a complete report guarantees a vote; the committee may still postpone for another reason.

“Without” often also identifies a necessary condition. “Without a signed authorization, the contractor cannot begin” means begin → signed authorization, or not signed → not begin. The subject of “without” is a requirement, so avoid translating it as though the requirement guarantees the action.

And, or, and compound conditions

Some rules combine conditions. “An applicant receives an interview if the file is complete and the recommendation is strong” means complete AND strong → interview. Both components together are sufficient. Neither component alone is necessarily sufficient. The contrapositive says no interview → not complete OR recommendation not strong. Negating a conjunction produces a disjunction.

“A member may use the lab if certified or supervised” means certified OR supervised → may use. Either condition can be sufficient. The contrapositive is may not use → not certified AND not supervised. Do not read the ordinary word or as exclusive unless the statement says one but not both. In standard logical use, “or” can include both conditions.

When an answer choice combines conditions, translate its exact scope. “Only registered members with current training may vote” means vote → registered AND current training. “If registered and trained, a member may vote” means registered AND current training → vote. The same terms appear, but the direction differs.

Necessary and sufficient assumption applications

Conditional structure can expose a gap in an argument. Suppose a report says: “Every successful grant applicant submitted a budget. The committee received a budget from this applicant. Therefore, the applicant will succeed.” The premise is success → budget submitted. The conclusion treats budget submitted as enough to infer success, a converse error. A sufficient assumption could say that anyone who submits a budget to this committee succeeds, though it is very strong. A necessary assumption might require that the applicant's budget is eligible for consideration, but that alone would not guarantee success.

For a necessary-assumption question, negate the proposed condition. If the argument can still work, the choice is not required. For sufficient assumption, add the choice and see whether the chain reaches the conclusion. These tests focus on the role the answer plays, not whether the answer repeats a conditional keyword.

A worked rule example

Rule 1: Every equipment loan lasting overnight requires a supervisor's approval. Rule 2: Any loan with supervisor approval receives a tracking code. A camera has a tracking code. What follows? Overnight loan → approval → tracking code. Therefore, every overnight loan has a tracking code. Also, by contraposing the first combined chain, no tracking code → no approval → not an overnight loan. But from the camera's tracking code, you cannot infer that it was an overnight loan.

Now add a third rule: “The equipment desk issues a receipt only if a tracking code exists.” Receipt → tracking code. If a camera has a receipt, you can infer a tracking code. But the tracking code still does not establish an overnight loan. A code can be required for many loan types. Each inference must follow the arrows in the permitted direction.

When not to symbolize

Not every argument benefits from arrows. A causal claim, analogy, survey inference, or disagreement may be easier to understand in ordinary language. Symbolize when a conditional rule, necessary condition, or chain is central. If the notation takes longer than the reasoning, return to a short verbal summary.

Symbols are also not a replacement for quantifiers. “Some A are B” does not mean A → B. It means at least one A is B. “Most A are B” does not establish that a particular A is B. “No A are B” means A → not B and, equivalently, B → not A. Translate the quantifier before drawing an arrow.

A necessary condition can be broad or vague in everyday speech. Do not force a phrase into a strict conditional if the argument uses probability or causal likelihood. Read what the speaker commits to. “A good night's sleep usually helps concentration” is not the same as “sleep guarantees a high test score.”

Common traps and corrections

• [object Object]
• [object Object]
• [object Object]
• [object Object]
• [object Object]
• [object Object]

Practice routine

1. [object Object]
2. [object Object]
3. [object Object]
4. [object Object]
5. [object Object]
6. [object Object]

A short daily set can make translations automatic. Use fresh examples and mix “if,” “only if,” “unless,” and compound conditions. When reviewing, do not just memorize a symbol. Say what the rule means and what it does not establish. The distinction between “required” and “enough” is the core skill.

Mini drill: test the direction

Rule: “A building can receive a green certification only if an independent audit is complete.” Let G mean certified and A mean audited. The rule is G → A, and its contrapositive is not A → not G. Which statement follows if the audit has not been completed? Certification has not been received. Does a completed audit guarantee certification? No. It is necessary, but other certification standards may still be unmet.

Now add: “Every building with a green certification receives a public listing.” G → L. Combining the rules gives G → A and G → L. If a building is certified, it has both an audit and a listing. If it has an audit and a listing, you still cannot infer certification because neither condition is stated to be sufficient. To make that inference valid, you would need an additional rule such as A and L → G.

For a conditional question, a quick truth-table style check can expose a reversal. Ask whether you can imagine the necessary condition occurring without the sufficient one. If yes, then the converse is not guaranteed. An audited building could fail another standard; a person with a complete application could be denied; a trained employee could lack authorization. Ordinary counterexamples help test whether the answer choice adds an unsupported reverse arrow.

Sources

• [object Object]
• [object Object]
• [object Object]