Page:Carroll - Game of Logic.djvu/76

5. ——

6. 0

7.

1

It might be thought that the proper Diagram would be

——

1

, in order to express "some $x$ exist": but this is really contained in "some $x$ are $y^{\prime }$." To put a red counter on the division-line would only tell us "one of the two compartments is occupied", which we know already, in knowing that one is occupied.

8. No $x$ are $y$. i.e.

0

9. Some $x$ are $y^{\prime }$. i.e.

1

10. All $x$ are $y$. i.e.

1

0

11. Some $x$ are $y$. i.e.

1

12. No $x$ are $y$. i.e.

0

13. Some $x$ are $y$, and some are $y^{\prime }$. i.e.

1

1

14. All $x$ are $y^{\prime }$. i.e.

0

1

15. No $y$ are $x^{\prime }$. i.e.

0

[See pp. 40, 1]