Логическая игра

Льюис Кэрролл

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

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

1.

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

2.

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

суть x».

3.

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

4.

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

5.

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

6.

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

7.

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

8.

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

9.

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

10.

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

11.

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

12.

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

13.

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

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

«Все m'

суть y'».

–––

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

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

14.

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

«Некоторые m суть x».

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

–––

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

15.

«Мир» — множество людей, m = «терпеливые», x = «дети», y = «могут сидеть спокойно».

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

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

–––

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

или «Ни один ребёнок не может сидеть спокойно».

16.

«Мир» — множество «предметов», m = «жирные», x = «свиньи», y = «скелеты».

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

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

–––

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

или «Все свиньи — не скелеты».

17.

«Мир» — живые существа, m=«обезьяны», x=«солдаты», y=«непристойно ведущие себя».

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

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

–––

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

или «Некоторые непристойно ведущие себя живые существа — не солдаты».

18.

«Мир» — люди, m=«справедливые», x=«мои кузины», y=«судьи».