JК
Логическая игра :: Кэрролл Льюис
Страница: 53 из 62–
«Ни один 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. Тем, кто лыс, расческа не нужна.
Ни одна ящерица не имеет волос.
3. Все невнимательные люди совершают оплошности.
Ни один внимательный человек не забывает своих обещаний.
4. Мне Джон не нравится.
Некоторым из моих друзей Джон нравится.
5. Картошка – не ананас.