-------
| | |
7. | 1 | 1 | It might be thought that the proper
| | |
------- -------
| | |
Diagram would be | 1 1 |, in order to express "some
| | |
-------
x exist": but this is really contained in "some x are y'."
To put a red counter on the division-line would only tell
us "ONE OF THE compartments is occupied", which we
know already, in knowing that ONE is occupied.
-------
| | |
8. No x are y. i.e. | 0 | |
| | |
-------
-------
| | |
9. Some x are y'. i.e. | | 1 |
| | |
-------