Page:Carroll - Game of Logic.djvu/65

Taking "rabbits" as Universe; $m$ = "greedy";
$x$ = "old"; and $y$ = "black"; represent

9. No old rabbits are greedy.
10. Some not-greedy rabbits are black.
11. All white rabbits are free from greediness.
12. All greedy rabbits are young.

13. No old rabbits are greedy;		$\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$
    All black rabbits are greedy.

14. All rabbits, that are not greedy, are black;		$\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$
    No old rabbits are free from greediness.

 

---

 

Taking "birds" as Universe; $m$ = "that sing loud";
$x$ = "well-fed"; and $y$ = "happy"; represent

15. All well-fed birds sing loud;		$\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$
    No birds, that sing loud, are unhappy.

16. All birds, that do not sing loud, are unhappy;		$\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$
    No well-fed birds fail to sing loud.

 

---

 

Taking "persons" as Universe; $m$ = "in the house";
$x$ = "John"; and $y$ = "having a tooth-ache"; represent

17. John is in the house;		$\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$
    Everybody in the house is suffering from tooth-ache.

18. There is no one in the house but John;		$\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$
    Nobody, out of the house, has a tooth-ache.

 

---

 

[See pp. 68–70]