Introduction
In Negative + Positive Mixed Syllogisms, the premises combine an affirmative statement (like “All” or “Some”) with a negative one (like “No” or “Some…not”). These patterns test your ability to reconcile an expanding relation with a restricting relation and decide what (if anything) can be concluded.
This pattern is important because mixed-sign premises are common in exams - they often allow only a particular negative conclusion (e.g., “Some … are not …”) or no valid conclusion at all.
Pattern: Negative + Positive Mixed Syllogism
Pattern
The key idea: When one premise is negative, any valid conclusion must also be negative (a universal negative or a particular negative), but a conclusion only follows when the middle term links the sets appropriately.
Rules to apply:
- If one premise is negative, the conclusion cannot be an affirmative universal (no valid positive universal conclusion).
- All + Some not does not guarantee a conclusion about the subject and the third term in general - you must check whether the existential (Some ...) portion refers to the middle term connected to the subject.
- Some + No can yield a particular negative (Some ... are not ...) when the existential refers to the same middle term that the universal negative distributes.
- Always test with a quick Venn diagram: place the universal negative first (No A is B) then locate the existential (Some ... are not ...) to see whether it lies inside or outside the subject subset.
Step-by-Step Example
Question
Statements:
1️⃣ No mammals are reptiles.
2️⃣ Some cats are mammals.
Conclusions:
I. Some cats are not reptiles.
II. No cat is a reptile.
Options:
A. Only Conclusion I follows.
B. Only Conclusion II follows.
C. Both I and II follow.
D. Neither I nor II follows.
Solution
-
Step 1: Restate premises
No Mammal ⟂ Reptile (universal negative). Some Cats ↔ Mammals (existential affirmative). -
Step 2: Link terms via the middle term
The middle term (Mammals) is distributed by the universal negative and connected to Cats by a particular affirmative; this supports a particular negative conclusion about Cats and Reptiles. -
Step 3: Test Conclusion I - 'Some cats are not reptiles'
From Some Cats are Mammals and No Mammal is Reptile, the Cats that are Mammals cannot be Reptiles. Therefore Some Cats are not Reptiles. ✅ -
Step 4: Test Conclusion II - 'No cat is a reptile'
A universal negative ('No cat is reptile') would require all cats to be covered by the non-reptile relation. We have only an existential 'Some cats are mammals', so 'No cat is a reptile' does not necessarily follow. ❌ -
Final Answer:
Only Conclusion I follows. → Option A -
Quick Check:
Some S are M; No M is P ⇒ Some S are not P (a particular negative follows when the existential connects to the distributed middle term). ✅
Quick Variations
1. No + Some: No M is P; Some S are M ⇒ Some S are not P (valid particular negative if the existential refers to M).
2. All + Some not: All S are M; Some M are not P ⇒ not necessarily Some S are not P - check whether the non-P portion lies inside S or outside it.
3. Some + All: Some S are M; All M are P ⇒ Some S are P (possible particular affirmative) - note this is an affirmative chain, but if any premise is negative, conclusions must be negative.
4. No + All: No M is P; All S are M ⇒ No S is P (universal negative follows).
Trick to Always Use
- Step 1 → If there is a negative premise, aim for a negative conclusion (Some … not … or No …).
- Step 2 → Check whether the existential ('Some') connects to the middle term that the negative premise distributes; if yes, a particular negative may follow.
- Step 3 → Draw a small Venn: place the universal negative first, then place the existential region - see if it overlaps your subject set.
- Step 4 → Never infer an 'All' or 'No' universally from mixed-sign premises unless both premises are universal and properly distributed.
Summary
Summary
- When one premise is negative, any valid conclusion must also be negative (particular or universal negative).
- All + Some-not does not guarantee a negative conclusion about the subject and third term unless the existential concerns the linked middle-term portion that includes the subject.
- Some + No (existential + universal negative) can produce a particular negative: Some S are M; No M is P ⇒ Some S are not P.
- Always verify with a Venn diagram: place the universal negative and then test where the 'Some' portion sits relative to the subject.
Example to remember:
All A are B; Some B are not C ⇒ You cannot claim 'Some A are not C' unless the "Some B are not C" portion overlaps the A-subset. If the non-C portion lies outside A, no conclusion follows. ✅
