Логическая игра | страница 34
«Все m суть x».
«Ни один 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».
–––
«Ни один x не есть y»,
или «Никто из тех, кто находится в доме, не находится одновременно в саду».
29.
«Мир» — события, m=«сопровождаемые шумом», x=«битвы», y=«то, что может ускользнуть от внимания».
«Все x суть m».
«Все m' суть y».
–––
«Некоторые x' суть y».
или «Некоторые события, не являющиеся битвами, могут ускользнуть от внимания».
30.
«Мир» — люди, m=«евреи», x=«сумасшедшие», y=«раввины».
«Ни один m не есть x».
«Все y суть m».
–––
«Все y суть x'»,
или «Все раввины в своём уме».
31.
«Мир» — живые существа, m=«рыбы», x=«умеющие плавать», y=«коньки».
«Ни один m не есть x'».
«Некоторые y суть m».
–––
«Некоторые y суть x»,
или «Некоторые коньки умеют плавать».
32.
«Мир» — люди, m=«склонные к горячности», x=«разумные», y=«ораторы».
«Все m суть x'».
«Некоторые y суть m».
–––
«Некоторые y суть x'»,
или «Некоторые ораторы не разумны».
Глава 4. В цель или мимо?
Милый друг! Как ни старайся,В цель все равно не попадёшь.
Выведите (если это возможно) заключение из каждой пары посылок.
1. Боль подтачивает силы человека.
Никакая боль не желательна.
2. Тем, кто лыс, расчёска не нужна.
Ни одна ящерица не имеет волос.
