Ни одно сваренное вкрутую яйцо не полезно для здоровья.
19. Некоторые «я» счастливы.
Ни один «я» не несчастлив.
20. Некоторых Джонов нет дома.
Ни один Джон не дома.
21. Предметы, находящиеся в любой из клеток большой диаграммы, обладают тремя признаками, буквенные обозначения которых стоят у трёх вершин данной клетки (единственное исключение составляет признак m' — предполагается, что буквы m', хотя в действительности их и нет, стоят во всех четырёх углах большой диаграммы рядом с номерами 9, 10, 15 и 16).
22. Если «Мир предметов» разделён на части по трём различным признакам и нам заданы два суждения, содержащих две различные пары эти признаков, и из них мы можем вывести третье суждение относительно той пары признаков, которые не вошли в первые два суждения, то в этом случае данные два суждения называются «посылками», третье суждение — «заключением», а все три суждения вместе — «силлогизмом». Например, посылками могут быть суждения «Ни один m не есть x'» и «Все m' суть y», из которых можно вывести заключение, содержащее x и y.
23. Если некий признак входит в обе посылки, то содержащий его термин называется «средним термином». Например, если посылки имеют вид суждений «Все m суть x» и «Ни один m не есть y'», то средним термином будет класс «m-предметов».
Если же какой-то признак входит в одну посылку, а противоположный ему признак — в другую, то термины, содержащие эти признаки, можно назвать «средними терминами». Например, если в качестве посылок выбраны суждения «Ни один m не есть x'» и «Все m' суть y», то два класса — «m-предметов» и «m'-предметов» — можно назвать «средними терминами».
24. Потому что места для черных фишек определяются однозначно, в то время как утвердительные суждения (т. е. суждения, начинающиеся со слов «некоторые» или «все») иногда вынуждают нас усаживать красную фишку «на стенку».
25. Потому что единственный вопрос, который нас интересует, состоит в том, можно ли логически вывести данное заключение из данных посылок, иначе говоря, будет ли данное заключение истинным, если посылки истинны.
26. Следует принять соглашение о том, что красная фишка означает «Эта клетка может быть занята», а чёрная — «Эта клетка не может быть занята», или «Эта клетка должны быть пустой».
27. Ошибка в посылках и ошибка в заключении.
28. Ошибку в заключении можно обнаружить, если при переходе от большой диаграмме к малой у нас не оказывается никаких сведений ни об одной из четырёх клеток малой диаграммы.
