--- --- --- ---

[See p. 62]




4. Smaller Diagram.



Propositions to be represented.

-----------
| | |
| x |
|--y--|--y'-|
| x' |
| | |
-----------

__________


1. All y are x.

2. Some y are not-x.

3. No not-x are not-y.