With minor before major, the four patterns are:
1. All C are B; no A is B → no C is A.
2. No C is B; all A are B → no C is A.
3. Some C are B; no A is B → some C are not A.
4. Some C are not B; all A are B → some C are not A.
In each, B is the middle and is predicate of both premises. The conclusion is always negative; its universality or particularity follows the minor premise.
Opening interactive controls...
The Second Figure: Conditions of Validity and Four Productive Moods
With minor before major, the four patterns are:
1. All C are B; no A is B → no C is A.
2. No C is B; all A are B → no C is A.
3. Some C are B; no A is B → some C are not A.
4. Some C are not B; all A are B → some C are not A.
In each, B is the middle and is predicate of both premises. The conclusion is always negative; its universality or particularity follows the minor premise.