FIGURE II.
§ 635. CANON. If one term is excluded from another, which wholly or partly includes a third, or is included in another from which a third is wholly or partly excluded, the first is excluded from the whole or part of the third.
Here we have four cases, all of exclusion—
(1) Total exclusion on the ground of inclusion in an excluded term (Cesare).
[Illustration]
No A is B.
All C is B.
.'. No C is A.
(2) Partial exclusion on the ground of a similar partial inclusion
(Festino).
[Illustration]
No A is B.
Some C is B.
.'. Some C is not A.
(3) Total exclusion on the ground of exclusion from an including term (Camestres).
[Illustration]
All A is B.
No C is B.
.'. No C is A.
(4) Partial exclusion on the ground of a similar partial exclusion
(Baroko).
[Illustration]
All A is B.
Some C is not B.
.'. Some C is not A.