JК
Логическая игра :: Кэрролл Льюис
Страница: 52 из 62«Ни один y не есть m'».
–
«Ни один y не есть x'».
или «Ни один соловей не относится к сахару с отвращением».
23.
«Мир» – все съестное, m=«полезные», x=«горячая сдоба», y=«сладкие пирожки».
«Ни один x не есть m».
«Все y суть m».
–
Никаких сведений, которые позволили бы нам заполнить малую диаграмму, у нас нет, поэтому вывести заключение из этих двух посылок нельзя.
24.
«Мир» – живые существа, m=«хорошо бегающие», x=«толстые», y=«гончие».
«Ни один x не есть m».
«Некоторые y суть m».
–
«Некоторые y суть x'»,
или «Некоторые гончие поджары».
25.
«Мир» – люди, m=«солдаты», x=«марширующие», y=«юноши».
«Все m суть x».
«Все y суть m'».
–
Никаких сведений, которые позволили бы нам заполнить малую диаграмму, у нас нет, поэтому вывести заключение из этих двух посылок нельзя.
26.
«Мир» – пищевые продукты, m=«сладкие», x=«сахар», y=«соль».
«Все x суть m».
«Все y суть m'».
–
«Все x суть y'».
«Все y суть x'».
или «Сахар – не соль», «Соль – не сахар».
27.
«Мир» – предметы, m=«яйца», x=«сваренные вкрутую», y=«бьющиеся».
«Некоторые m суть x».
«Ни один m не есть y'».
–
«Некоторые x суть y»,
или «Некоторые яйца, сваренные вкрутую, можно разбить».
28.
«Мир» – люди, m=«евреи», x=«находятся в этом доме», y=«находятся в саду».
«Ни один m не есть x».
«Ни один m' не есть y».