بعض ج ب، ولا شيء من أ ب، فليس بعض ج أ
Some C are B; no A is B; therefore some C are not A.
The minor is particular affirmative, the major universal negative. At least one C lies in B, but A is excluded from B. That C cannot be an A.
The conclusion is particular negative, because the premises establish exclusion for at least one C, not necessarily every C.
Opening interactive controls...
The Second Figure: Conditions of Validity and Four Productive Moods
بعض ج ب، ولا شيء من أ ب، فليس بعض ج أ
Some C are B; no A is B; therefore some C are not A.
The minor is particular affirmative, the major universal negative. At least one C lies in B, but A is excluded from B. That C cannot be an A.
The conclusion is particular negative, because the premises establish exclusion for at least one C, not necessarily every C.