كل ج ب، ولا شيء من ب أ
All C are B, and no B is A.
The book illustrates the first productive mood with an affirmative universal minor and a negative universal major. The conclusion is “No C is A.”
The minor includes every C in B, while the major excludes A from B, so no C can be A. B is the shared predicate in the original premises. Converting the universal negative major then supplies a first-figure proof.
Opening interactive controls...
The Second Figure: Conditions of Validity and Four Productive Moods
كل ج ب، ولا شيء من ب أ
All C are B, and no B is A.
The book illustrates the first productive mood with an affirmative universal minor and a negative universal major. The conclusion is “No C is A.”
The minor includes every C in B, while the major excludes A from B, so no C can be A. B is the shared predicate in the original premises. Converting the universal negative major then supplies a first-figure proof.