-----
| |
x |
| |
|--y'-|
| |
x' |
| |
-----
Taking y="healthy people"; x="happy";
--- --- --- ---
| 0 | | | | 1 | | 0 |
13. |---| 14. |-1-| 15. |---| 16. |---|
| 1 | | | | 1 | | |
--- --- --- ---
[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.