-------
| 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 |
-------
- Smaller Diagram.
Symbols interpreted.
- Some y are not-x, or, Some not-x are y.
- No not-x are not-y, or, No not-y are not-x.
- No not-y are x.
- No not-x exist. i.e. No Things are not-x.
- No y exist. i.e. No houses are two-storied.