-------
| | |
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.