16. No y’ exist. i.e. Nobody is unhealthy.
4. Smaller Diagram.
Propositions represented.
__________
------- ------- | 1 | | | | | 1. |---|---| 2. |---|---| | 0 | | | 1 | | ------- -------
------- ------- | | | | | 1 | 3. |---|---| 4. |---|---| | | 0 | | | | ------- -------
------- ------- | | 1 | | | | 5. |---|---| 6. |---|---| | | | | 0 | | ------- -------
------- ------- | | | | | | 7. |---|---| 8. |---|---| | | 1 | | 0 | 1 | ------- -------
------- ------- | | | | | | 9. |---|-1-| 10. |---|---| | | | | 0 | 0 | ------- -------
------- ------- | 1 | | | 1 | 0 | 11. |---|---| 12. |---|---| | 1 | | | | 1 | ------- -------
------- | | | 13. No x’ are y. i.e. |---|---| | 0 | | -------
------- | | 0 | 14. All y’ are x’. i.e. |---|---| | | 1 | -------
------- | | | 15. Some y’ exist. i.e. |---|-1-| | | | -------
------- | 1 | 0 | 16. All y are x, and all x are y. i.e. |---|---| | 0 | | ------- ------- | | | 17. No x’ exist. i.e. |---|---| | 0 | 0 | -------
------- | 0 | 1 | 18. All x are y’. i.e. |---|---| | | | -------
------- | 0 | | 19. No x are y. i.e. |---|---| | | | -------
------- | | | 20. Some x’ are y, and some are y’. i.e. |---|---| | 1 | 1 | -------
------- | 0 | 1 | 21. No y exist, and some x exist. i.e. |---|---| | 0 | | -------
------- | | 1 | 22. All x’ are y, and all y’ are x. i.e. |---|---| | 1 | 0 | -------
------- | 1 | | 17. Some x are y, and some x’ are y’. i.e. |---|---| | | 1 | -------
5. Smaller Diagram.
Symbols interpreted.
__________
1. Some y are not-x, or, Some not-x are y.
2. No not-x are not-y, or, No not-y are not-x.
3. No not-y are x.
4. No not-x exist. i.e. No Things are not-x.
5. No y exist. i.e. No houses are two-storied.
6. Some x’ exist. i.e. Some houses are not built of brick.
7. No x are y’. Or, no y’ are x. i.e. No houses, built of brick, are other than two-storied. Or, no houses, that are not two-storied, are built of brick.
8. All x’ are y’. i.e. All houses, that are not built of brick, are not two-storied.