some x' are y. Or some y are x', and some y' are x. i.e. Some green-eyed cats are bad-tempered, and some, that have not green eyes, are good-tempered. Or, some good-tempered cats have not green eyes, and some bad-tempered ones have green eyes.
- Some x are y, and no x' are y'. Or, some y are x, and no y' are x'. i.e. Some green-eyed cats are good-tempered, and none, that are not green-eyed, are bad-tempered. Or, some good-tempered cats have green eyes, and none, that are bad-tempered, have not green eyes.
- All x are y', and all x' are y. Or, all y are x', and all y' are x. i.e. All green-eyed cats are bad-tempered and all, that have not green eyes, are good-tempered. Or, all good-tempered ones have eyes that are not green, and all bad-tempered ones have green eyes.
- Larger Diagram.
Propositions represented.
--------------- ---------------
| | | | | |
| ---|--- | | ---|--- |
| | 0 | 0 | | | | | | |
1. |---|---|---|---| 2. |-1-|---|---|---|
| | | | | | | | | |
| ---|--- | | ---|--- |
| | | | | |
--------------- ---------------