---
- title: Affirmative conclusion from a negative premise
- categories: [logic]
- synonyms: [illicit negative, fallacy of negative premises]
- related: [logic/formal_fallacies/negative_conclusion_from_affirmative_premises, logic/formal_fallacies/exclusive_premises, paralogisms/complement_fallacy/index]
- main_article: <https://fallacies.online/wiki/logic/formal_fallacies/affirmative_conclusion_from_negative_premise>
- main_article_de: <https://denkfehler.online/wiki/logik/syllogismenfehler/affirmativer_schluss_aus_einer_negativen_praemisse>
---

# Affirmative conclusion from a negative premise

**Core claim:** An affirmative categorical conclusion is inferred although at least one premise is negative, which violates a fundamental rule of syllogistic logic.

## Applies when
- The argument is a formal categorical (syllogistic) inference, or is presented in a way that is representing a syllogistic form.
- At least one premise is explicitly negative, e.g. “No X are Y” or “Some X are not Y”.
- The conclusion is affirmative, e.g. “All X are Y” or “Some X are Y”, and relies on that negative premise rather than on an independent positive basis.

## Notes
- This is a *formal* fallacy: the invalidity follows from the logical form of the argument, not from the subject matter.
- A typical invalid pattern is: “All A are B; No C are A; Therefore, all C are B.” The negative premise excludes C from A, but it does not establish that C belongs to B.
- If both premises are negative and no valid conclusion follows at all, the more specific issue is the **fallacy of exclusive premises**; an affirmative conclusion in such a case still also violates this rule.
- This entry covers the *formal* syllogistic pattern, not broader everyday confusion about opposites or complements in ordinary language. For informal applications, see the **Complement fallacy** instead.

## Does NOT apply when
- The conclusion is negative; in that case this specific rule is satisfied, although other formal errors may still be present.
- The negative wording occurs only inside a quoted claim, example, or counterfactual that is not actually being used as a premise of the argument.
- The inference is statistical, empirical, or inductive rather than a formal categorical deduction, unless it is presented as a logically necessary syllogistic inference.

## Commonly confused with
- **[Negative conclusion from affirmative premises](logic/formal_fallacies/negative_conclusion_from_affirmative_premises)** ([MD](logic/formal_fallacies/negative_conclusion_from_affirmative_premises.md)) – the reversed pattern. Ask: Are all premises affirmative while the conclusion is negative (→ that), or is at least one premise negative while the conclusion is affirmative (→ this)?
- **[Fallacy of exclusive premises](logic/formal_fallacies/exclusive_premises)** ([MD](logic/formal_fallacies/exclusive_premises.md)) – involves all *negative* premises. Ask: Are all premises negative, so that no syllogistic conclusion follows at all (→ exclusive premises), or is the specific error an affirmative conclusion despite a negative premise (→ this)?
- **[Complement fallacy](paralogisms/complement_fallacy/index)** ([MD](paralogisms/complement_fallacy/index.md)) – high-level umbrella for everyday speech and documents where a class is confused with its *complement* (what it isn't) and negation does argumentative work its form doesn’t license. Ask: is the statement to be checked a syllogistic form, or structured in a way that resembles a syllogism? (→ this), or a more loosely structured real-world/document pattern based on a “not-A” premise (→ complement fallacy)?

## Examples
> **Input:** “All squares are rectangles. No circles are squares. Therefore, all circles are rectangles.”    
> **Output:** The second premise is negative; it excludes circles from squares but does not establish that circles belong to rectangles. An affirmative conclusion cannot be validly derived when one premise is negative.

> **Input:** “All managers are employees. No contractors are managers. Therefore, some contractors are employees.”    
> **Output:** The negative premise only excludes contractors from the class of managers. It does not show that any contractor is an employee; additional positive premises would be required for such a conclusion.