---
- title: Negative conclusion from affirmative premises
- categories: [logic]
- synonyms: [illicit affirmative]
- related: [logic/formal_fallacies/affirmative_conclusion_from_negative_premise, logic/formal_fallacies/exclusive_premises]
- main_article: <https://fallacies.online/wiki/logic/formal_fallacies/negative_conclusion_from_affirmative_premises>
- main_article_de: <https://denkfehler.online/wiki/logik/syllogismenfehler/negativer_schluss_aus_affirmativen_praemissen>
---

# Negative conclusion from affirmative premises

**Core claim:** A *negative* categorical conclusion is inferred *solely* from *affirmative* premises, which is invalid in standard syllogistic logic.

## Applies when
- The argument is a formal categorical (syllogistic) inference, or is explicitly presented as one, and all of its premises are *affirmative*, e.g. “All X are Y” or “Some X are Y”.
- The conclusion is *negative*, e.g. “No X are Y” or “Some X are not Y”, while no premise contains an explicit negation or a term such as “non-Y”.
- The inference treats the affirmative inclusion relations alone as sufficient to establish exclusion, exception, limitation, or non-membership.

## 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; All B are C; Therefore, some C are not A.” The premises may be true and the conclusion may happen to be true, but it does not follow from those premises alone.
- Affirmative universal statements can sometimes be rewritten negatively (e.g., “All A are B” is equivalent to “No A are non-B”), but only if that transformation is made explicit before the inference; an implicit switch to a negative conclusion about the original terms remains fallacious.
- Do not confuse this with the broader, non-logical “complement fallacy”; this entry covers specifically the formal syllogistic pattern in which all premises are affirmative and the conclusion is negative.

## Does NOT apply when
- At least one premise is explicitly negative (e.g., “No A are B”, “Some A are not B”) or contains a negated term (e.g., “non-B”), and the negative conclusion relies on that negative information.
- The argument first transforms an affirmative statement into an equivalent negative form and uses that transformed premise openly in the inference.
- The claim is statistical, empirical, or inductive rather than a formal categorical deduction, unless it is presented as a logically necessary syllogistic inference.

## Commonly confused with
- **[Affirmative conclusion from a negative premise](logic/formal_fallacies/affirmative_conclusion_from_negative_premise)** ([MD](logic/formal_fallacies/affirmative_conclusion_from_negative_premise.md)) – concerns an *affirmative* conclusion drawn despite a *negative* premise. Ask: Is the problem an affirmative conclusion from negative material (→ that), or a negative conclusion from all-affirmative premises (→ this)?
- **[Fallacy of exclusive premises](logic/formal_fallacies/exclusive_premises)** ([MD](logic/formal_fallacies/exclusive_premises.md)) – involves two *negative* premises. Ask: Are the problematic premises both negative (→ exclusive premises), or are all premises affirmative while the conclusion is negative (→ this)?

## Examples
> **Input:** “All squares are rectangles. All rectangles are tetragons. Therefore, some tetragons are not squares.”    
> **Output:** Both premises are affirmative; they do not establish that any tetragon falls outside the class of squares. A negative conclusion requires an explicit premise about exclusion or non-overlap.

> **Input:** “All managers are employees. All employees are persons covered by the contract. Therefore, some persons covered by the contract are not managers.”    
> **Output:** The premises only state inclusion relations. They do not show that any contracted person is excluded from being a manager; an additional premise or factual assumption would be needed for that negative conclusion.