# Page:Carroll - Game of Logic.djvu/64

48
[Ch. II.
CROSS QUESTIONS.

§ 6. Larger Diagram.
Propositions to be represented.

 ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle m}$ ${\displaystyle y^{\prime }}$ ${\displaystyle x^{\prime }}$
1. No ${\displaystyle x}$ are ${\displaystyle m}$.
2. Some ${\displaystyle y}$ are ${\displaystyle m'}$.
3. All ${\displaystyle m}$ are ${\displaystyle x'}$.
4. No ${\displaystyle m'}$ are ${\displaystyle y'}$.
5. No ${\displaystyle m}$ are ${\displaystyle x}$;
All ${\displaystyle y}$ are ${\displaystyle m}$.
6. Some ${\displaystyle x}$ are ${\displaystyle m}$;
No ${\displaystyle y}$ are ${\displaystyle m}$.
7. All ${\displaystyle m}$ are ${\displaystyle x'}$;
No ${\displaystyle m}$ are ${\displaystyle y}$.
8. No ${\displaystyle x'}$ are ${\displaystyle m}$;
No ${\displaystyle y'}$ are ${\displaystyle m'}$.[See pp. 67, 8]