Page:Carroll - Game of Logic.djvu/61

§ 4.] Taking "nations" as Universe; $x$ = "civilised"; $y$ = "warlike";

1. No uncivilised nation is warlike.

2. All unwarlike nations are uncivilised.

3. Some nations are unwarlike.

4. All warlike nations are civilised, and all civilised nations are warlike.

5. No nation is uncivilised.

Taking "crocodiles" as Universe; $x$ = "hungry"; $y$ = "amiable";

1. All hungry crocodiles are unamiable.

2. No crocodiles are amiable when hungry.

3. Some crocodiles, when not hungry, are amiable; but some are not.

4. No crocodiles are amiable, and some are hungry.

5. All crocodiles, when not hungry, are amiable; and all unamiable crocodiles are hungry.

6. Some hungry crocodiles are amiable, and some that are not hungry are unamiable. [See pp. 63, 4]