بعض ج ليس ب، وكل أ ب، فبعض ج ليس أ.
Some C are not B; all A are B; therefore some C are not A.
The minor is particular negative, the major universal affirmative. Some C lie outside B; all A are contained within B. Those C outside B cannot be A.
The conclusion is particular negative. This argument does not convert a particular negative into a universal claim; it uses the universal major to infer the required exclusion.
Opening interactive controls...
The Second Figure: Conditions of Validity and Four Productive Moods
بعض ج ليس ب، وكل أ ب، فبعض ج ليس أ.
Some C are not B; all A are B; therefore some C are not A.
The minor is particular negative, the major universal affirmative. Some C lie outside B; all A are contained within B. Those C outside B cannot be A.
The conclusion is particular negative. This argument does not convert a particular negative into a universal claim; it uses the universal major to infer the required exclusion.