Minor: All B are C.
Major: No B is A.
Convert the minor by limitation to “Some C are B.” Since no B belongs to A, those C instances cannot belong to A. Hence “Some C are not A.”
Subtle point: The inference depends on actual B instances. If B denotes an empty class, a particular conclusion cannot be inferred from merely universal statements without an additional existence premise in modern logic.
Opening interactive controls...
The Third Figure: Conditions and Six Productive Moods
Minor: All B are C.
Major: No B is A.
Convert the minor by limitation to “Some C are B.” Since no B belongs to A, those C instances cannot belong to A. Hence “Some C are not A.”
Subtle point: The inference depends on actual B instances. If B denotes an empty class, a particular conclusion cannot be inferred from merely universal statements without an additional existence premise in modern logic.