Page:Carroll - Game of Logic.djvu/60

§ 4. Smaller Diagram.
Propositions to be represented.

 

---

 

$y$	$x$ $y^{\prime }$
	$x^{\prime }$

 

---

 

1. All $y$ are $x$.
2. Some $y$ are not-$x$.
3. No not-$x$ are not-$y$.
4. Some $x$ are not-$y$.
5. Some not-$y$ are $x$.
6. No not-$x$ are $y$.
7. Some not-$x$ are not-$y$.
8. All not-$x$ are not-$y$.
9. Some not-$y$ exist.
10. No not-$x$ exist.
11. Some $y$ are $x$, and some are not-$x$.
12. All $x$ are $y$, and all not-$y$ are not-$x$.

 

---

 

[See pp. 62, 3]