JК
Логическая игра :: Кэрролл Льюис
Страница: 50 из 62«Ни один 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=«судьи».
«Ни один x не есть m».
«Ни один y не есть m'».
–
«Ни один x не есть y»,
или «Ни одна из моих кузин не судья».
19.
«Мир» – периоды (отрезки времени), m=«дни», x=«дождливые», y=«наводящие скуку».
«Некоторые m суть x».
«Все xm суть y».