Теорема II. Если две посылки являются частными суждениями, то из них нельзя получить заключения.
Доказательство. Два частных суждения в посылках могут быть а) оба отрицательными, Ь) оба утвердительными, с) одно утвердительным, а другое отрицательным.
a. Если обе посылки – отрицательные, то заключения быть не может (аксиома 3).
b. В частноутвердительном суждении ни один термин не является распределенным. Если обе посылки являются частноутвердительными суждениями, то в них не содержится распределенных терминов. Следовательно, из них не может следовать заключения (аксиома 1).
c. В частноутвердительном суждении нет распределенных терминов, а в частноотрицательном – только один. Поэтому посылки содержат один, и только один, распределенный термин. Следовательно, если существует заключение, то оно не может содержать нисколько распределенных терминов (теорема I). Однако поскольку одна посылка является отрицательной, заключение должно быть отрицательным (аксиома 4). Следовательно, по крайней мере один термин в заключении должен быть распределенным. Допущение о том, что заключение существует, требует принятия того, что в нем одновременно не содержится ни одного распределенного термина и что в нем содержится, по крайней мере, один распределенный термин. Это абсурдно. Следовательно, заключение не существует.
Теорема III. Если одна посылка является частным суждением, заключение должно быть частным суждением.
Доказательство. Посылки не могут быть вместе частными суждениями (теорема II). Следовательно, они должны различаться по количеству и быть а) оба отрицательными, Ь) оба утвердительными или с) одно утвердительным и одно отрицательным.
a. Если обе посылки являются отрицательными суждениями, то заключения не существует (аксиома 3).
b. Одна посылка является общеутвердительным суждением, другая – частноутвердительным. В общеутвердительном суждении распределенным является лишь один термин, в частноутвердительном суждении распределенных терминов нет. Поэтому посылки содержат не более одного распределенного термина. Следовательно, заключение, если таковое существует, не содержит распределенных терминов (теорема I). Однако общее суждение содержит, по крайней мере, один распределенный термин. Поэтому заключение должно быть частным суждением.
c. Можно различить два случая: α) общее суждение является отрицательным, частное – утвердительным; β) общее суждение является утвердительным, частное – отрицательным.
α. В общем суждении распределены оба термина, в частном – распределенных терминов нет. Поэтому в посылках распределены два термина,
β. В общем суждении распределен один термин, в частном – тоже один. Поэтому в посылках распределено два термина. Как в первом, так и во втором случае посылки содержат два, и только два, распределенных термина. Заключение, если оно существует, не может содержать более одного распределенного термина (теорема I). Заключение должно быть отрицательным (аксиома 4),