I)|
| .---|---. | |---|---|
Some x are m'. | | | | | | | |
All y are m. |---|(I)|---|---| .-------.
All y are x'. | | | | |
| .---|---. | .'. Some x are y'.
|(O) | |
.---------------.

Hence proposed Conclusion is wrong, the right one being "Some epicures
are not uncles of mine."

5.

Gold is heavy;
Nothing but gold will silence him.
Nothing light will silence him.

Univ. "things"; m = gold; x = heavy; y = able to silence him.

.---------------. .-------.
|(O) | | | | |
| .---|---. | |---|---|
All m are x; | | (I) | | |(O)| |
No m' are y. |---|---|---|---| .-------.
No x' are y. | |(O)|(O)| |
| .---|---. | .'. No x' are y.
|(O) | |
.---------------.

Hence proposed Conclusion is right.

6.

Some healthy people are fat;
No unhealthy people are strong.
Some fat people are not strong.

Univ. "persons"; m = healthy; x = fat; y = strong.

.---------------.
|(O) | |
| .---|---. |
Some m are x; | | (I) | |
No m' are y. |---|---|---|---| There is no Conclusion.
Some x are y'.| | | | |
| .---|---. |
|(O) | |
.---------------.

pg146
Sec. 3.

_Method of Subscripts._

_Solutions for Sec. 4._ SL4-B

1. mx'_{0} + m'_{1}y'_{0} > x'y'_{0} [Fig. I.
i.e. "No x' are y'."

2. m'x_{0} + m'y'_{1} > x'y'_{1} [Fig. II.
i.e. "Some x' are y'."

3. m'_{1}x'_{0} + m'_{1}y_{0} > xy'_{1} [Fig. III.
i.e. "Some x are y'."

4. x'm'_{0} + y'_{1}m'_{0} > nothing.
[Fallacy of Like Eliminands
not asserted to exist.]

5. mx'_{1} + ym_{0} > x'y'_{1} [Fig. II.
i.e. "Some x' are y'."

6. x'm_{0} + my_{0} > nothing.
[Fallacy of Like Eliminands
not asserted to exist.]

7. mx'_{0} + y'm_{1} > xy'_{1} [Fig. II.
i.e. "Some x are y'."

8. m'_{1}x_{0} + m'y_{0} > x'y'_{1} [Fig. III.
i.e. "Some x' are y'."

9. x'm'_{1} + my_{0} > nothing.