Some healthy people are fat;
No unhealthy people are strong.
Some fat people are not strong.
Univ. “persons”; m = healthy; x = fat; y = strong.
Some m are x; No m′ are y. Some x are y′. | There is no Conclusion. |
[pg146]§ 3.
Method of Subscripts.
[SL4-B]Solutions for § 4.
1. mx′0 † m′1y′0 ¶ x′y′0 [Fig. I.
i.e. “No x′ are y′.”
2. m′x0 † m′y′1 ¶ x′y′1 [Fig. II.
i.e. “Some x′ are y′.”
3. m′1x′0 † m′1y0 ¶ xy′1 [Fig. III.
i.e. “Some x are y′.”
4. x′m′0 † y′1m′0 ¶ nothing.
[Fallacy of Like Eliminands not asserted to exist.]