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 § 3. _Method of Subscripts._ _Solutions for § 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. [Fallacy of Unlike Eliminands with an Entity-Premiss.] 10. x_{1}m'_{0} + y'_{1}m_{0} ¶ x_{1}y'_{0} + y'_{1}x_{0} [Fig. I (b). i.e. "All x are y, and all y' are x'." 11. mx_{0} + y'_{1}m_{0} ¶ nothing.1 [Fallacy of Like Eliminands not asserted to exist.] 12. xm_{0} + y_{1}m'_{0} ¶ y_{1}x_{0} [Fig. I (a). i.e. "All y are x'." 13. m'_{1}x'_{0} + ym_{0} ¶ x'y_{0} [Fig. I. i.e. "No x' are y." 14. m_{1}x'_{0} + m'_{1}y'_{0} ¶ x'y'_{0} [Fig. I. i.e. "No x' are y'." 15. xm_{0} + m'y_{0} ¶ xy_{0} [Fig. I. i.e. "No x are y." 16. x_{1}m_{0} + y_{1}m'_{0} ¶ (x_{1}y_{0} + y_{1}x_{0}) [Fig. I (b). i.e. "All x are y' and all y are x'." 17. xm_{0} + m'_{1}y'_{0} ¶ xy'_{0} [Fig. I. i.e. "No x are y'." 18. xm'_{0} + my_{0} ¶ xy_{0} [Fig. I. i.e. "No x are y." 19. m_{1}x'_{0} + m_{1}y_{0} ¶ xy'_{1} [Fig. III. i.e. "Some x are y'." 20. mx_{0} + m'_{1}y'_{0} ¶ xy'_{0} [Fig. I. i.e. "No x are y'." 21. x_{1}m'_{0} + m'y_{1} ¶ x'y_{1} [Fig. II. i.e. "Some x' are y." 22. xm_{1} + y_{1}m'_{0} ¶ nothing. [Fallacy of Unlike Eliminands with an Entity-Premiss.] 23. m_{1}x'_{0} + ym_{1} ¶ xy_{1} [Fig. II. i.e. "Some x are y." 24. xm_{0} + y_{1}m'_{0} ¶ y_{1}x_{0} [Fig. I (a). i.e. "All y are x'." 25. mx'_{1} + my'_{0} ¶ x'y_{1} [Fig. II. i.e. "Some x' are y." 26. mx'_{0} + y_{1}m'_{0} ¶ y_{1}x'_{0} [Fig. I (a). i.e. "All y are x." 27. x_{1}m_{0} + y'_{1}m'_{0} ¶ (x_{1}y'_{0} + y'_{1}x_{0}) [Fig. I (b). i.e. "All x are y, and all y' are x'."