"Логическая игра" - читать интересную книгу автора (Кэрролл Льюис)

§ 2. Суждения, представимые на половине малой диаграммы

1.

2.

3.

4.

5.

6.

7.

Кому-то может показаться, что суждение «Некоторые x существуют» следовало бы изобразить диаграммой.

В действительности же оно содержится в утверждении «Некоторые x суть y'». Красная фишка, стоящая на границе, означала бы лишь, что «одна из двух клеток занята». Это обстоятельство нам уже известно, поскольку мы знаем, что занята именно правая клетка.

8. «Ни один x не есть y», т. е.

9. «Некоторые x суть y'», т. е.

10. «Все x суть y», т. е.

11. «Некоторые x суть y», т. е.

12. «Ни один x не есть y», т. е.

13. «Некоторые x суть y», и «Некоторые x суть y'», т. е.

14. «Все x суть y'», т. е.

15. «Все y суть x'», т. е.

16. «Все y суть x», т. е.

17. «Ни одного y не существует», т. е.

18. «Некоторые y суть x'», т. е.

19. «Некоторые y существуют», т. е.