Логическая игра   ::   Кэрролл Льюис

Вторая посылка также состоит из двух частей:

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

и

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

Начнем с отрицательных частей обеих посылок, т. е. представим с помощью большой диаграммы, во-первых, суждение «Ни один x не есть m» и, во-вторых, суждение «Ни один y не есть m'». Думаю, вам не нужно объяснять, почему этим суждениям (в отдельности) соответствуют диаграммы

и что, взятые вместе, эти диаграммы образуют одну диаграмму

Осталось изобразить на полученной диаграмме две утвердительные части посылок – «Некоторые x суть m'» и «Некоторые y суть m».

Единственные две клетки большой диаграммы, в которых могут находиться предметы, обладающие признаками xm', – это «уголки» 9 и 10. Относительно клетки 9 уже известно, что она пуста. Следовательно, красную фишку мы должны поставить на «уголок» 10.

Аналогично предметы с признаками ym могут находиться лишь в клетках 11 и 13. В клетке 11 уже стоит черная фишка – клетка пуста. Следовательно, красную фишку необходимо поставить на клетку 13.

Окончательный результат – диаграмма

А что из представленных здесь сведений можно использовать при построении малой диаграммы?

Рассмотрим по порядку все четыре клетки малой диаграммы.

Клетка 5. Мы видим, что она полностью пуста (и поэтому ставим на нее черную фишку).

Клетка 6. Эта клетка занята (ее мы отметим красной фишкой).

Клетка 7. То же самое.

Клетка 8. Относительно этой клетки никаких сведений у нас нет.