13. «Ни один x не существует, и ни один y' не существует», т. е. «Ни у одной кошки глаза не зеленые, и ни одна кошка не дикая».

14. «Некоторые x суть y', и некоторые x' суть y», или «Некоторые y суть x', и некоторые y' суть x», т. е. «Некоторые кошки с зелеными глазами дикие, и некоторые кошки с глазами другого цвета – ручные», или «У некоторых ручных кошек цвет глаз отличается от зеленого, и у некоторых диких кошек зеленые глаза».

15. «Некоторые x суть y, и ни один x' не есть y'», или «Некоторые y суть x, и не один y' не есть x'», т. е. «Некоторые кошки с зелеными глазами ручные, и ни у одной дикой кошки нет зеленых глаз».

16. «Все x суть y', и все x' суть y», или «Все y суть x', и все y' суть x», т. е. «Все кошки с зелеными глазами дикие, и все кошки, у которых цвет глаз отличен от зеленого, ручные», или «У всех ручных кошек цвет глаз отличен от зеленого, и у всех диких кошек зеленые глаза».

6. Суждения, представимые на большой диаграмме

1.

Логическая игра - pic38.png

2.

Логическая игра - pic89.png

3.

Логическая игра - pic90.png

4.

Логическая игра - pic91.png

5.

Логическая игра - pic66.png

6.

Логическая игра - pic67.png

7.

Логическая игра - pic92.png

8.

Логическая игра - pic69.png

9. «Ни один x не есть m», т. е.

Логическая игра - pic38.png

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

Логическая игра - pic89.png

11. «Все y' суть m'», т. е.

Логическая игра - pic93.png

12. «Все m суть x'», т. е.

Логическая игра - pic90.png

13. «Ни один x не есть m».

«Все y суть m», т. е.

Логическая игра - pic66.png

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

«Ни один x не есть m'», т. е.

Логическая игра - pic94.png

15. «Все x суть m».

«Ни один m не есть y'», т. е.

Логическая игра - pic95.png

16. «Все m' суть y'».

«Ни один x не есть m'», т.е.

Логическая игра - pic96.png

17. «Все x суть m».

«Все m суть y», т. е.

Логическая игра - pic95.png

18. «Ни один x' не есть m».

«Ни один m' не есть y», т. е.

Логическая игра - pic97.png

19. «Все m суть x».

«Все m суть y», т. е.

Логическая игра - pic98.png

20. В качестве «Мира» удобно выбрать множество людей.

«Меня» можно выбрать в качестве среднего члена. Тогда посылки силлогизма примут следующий вид:

«Я (есть) то лицо, которое послало его за котенком».

«Я (есть) то лицо, которому он по ошибке принес котелок».

Выбрав в качестве среднего члена «его», мы получим посылки в следующей форме:

«Он есть то лицо, которое я послал за котенком»,

«Он есть то лицо, которое по ошибке принесло мне котелок».

Последняя форма предпочтительнее, поскольку вся соль анекдота – в его глупости, а не в том, что произошло со мной.

Введем обозначения:

m=«он», x=«тот, кого я послал и т. д.»,

y=«тот, кто принес и т. д.»

Тогда посылки примут вид:

«Все m суть x».

«Все m суть y».

Это соответствует диаграмме

Логическая игра - pic98.png

7. Суждения, представимые на двух диаграммах – большой и малой

1.

Логическая игра - pic99.png

т. е. «Все y есть x'».

2.

Логическая игра - pic74.png

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

3.

Логическая игра - pic72.png

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

4.

Логическая игра - pic73.png

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

5.

Логическая игра - pic100.png

т. е. «Все y суть x'», или "Все черные кролики молодые».

6.

Логическая игра - pic72.png

т. е. «Некоторые y суть x'», или «Некоторые черные кролики молодые».

7.

Логическая игра - pic101.png

т. е. «Все x суть y», или «Все птицы, получающие достаточно корма, счастливы».

8.

Логическая игра - pic76.png

т. е. «Некоторые x' суть y'», или «Некоторые птицы, не получающие достаточного количества корма, несчастны», или «Некоторые несчастные птицы не получают достаточного количества корма».

9.

Логическая игра - pic101.png

т. е. «Все x суть y», или «У Джона болят зубы».

10.

Логическая игра - pic75.png

т. е. «Ни один x' не есть y», или «Ни у кого, кроме Джона не болят зубы».

11.

Логическая игра - pic102.png

т. е. «Некоторых x суть y», или «Некоторые из тех, кто совершил прогулку, чувствуют себя лучше».

12.

Логическая игра - pic102.png

т. е. «Некоторые x суть y», или «Некоторые из тех, кого я послал за котенком, по ошибке принесли мне котелок».

13.

Логическая игра - pic103.png
Логическая игра - pic104.png

«Мир» – множество книг, m=«с острым сюжетом», x=«подходящие для чтения легко возбудимым людям», y=«от которых клонит в сон».

«Ни один m не есть x».

«Все m' суть y'».

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

или «Легко возбудимым людям не подходит для чтения ни одна книга, кроме тех, от которых клонит в сон».

14.

Логическая игра - pic105.png
Логическая игра - pic102.png

«Мир» – множество людей, m=«достойные славы», x=«получающие награду», y=«храбрые».