Page:Carroll - Game of Logic.djvu/64

§ 6. Larger Diagram.
Propositions to be represented.

 

---

 

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

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