Общий объем субъекта и отрицательная связка суждений вида Е приводят к тому, что в них субъект и предикат находятся только в отношении несовместимости. Например, в суждениях: Все киты (S) – это не рыбы (Р); Все планеты (S) не являются звездами (Р); Все треугольники (S) – это не квадраты (Р) и т. п. субъект и предикат несовместимы.
Частный объем субъекта и отрицательная связка суждений вида О обуславливают то, что в них субъект и предикат, так же, как и в суждениях вида I, могут быть только в отношениях пересечения и подчинения. Например, в суждении: Некоторые студенты (S) не являются спортсменами (P) субъект и предикат находятся в отношении пересечения, а в суждении: Некоторые геометрические фигуры (S) не являются треугольниками (P) субъект и предикат находятся в отношении подчинения.
Приведем еще несколько примеров различных видов простых суждений и отношений между их субъектами и предикатами.
а) Все города являются населенными пунктами (суждение вида А, субъект и предикат находятся в отношении подчинения).
б) Некоторые знаменитые спортсмены – это россияне (суждение вида I, субъект и предикат находятся в отношении пересечения).
в) Некоторые числа не являются натуральными (суждение вида О, субъект и предикат находятся в отношении подчинения).
г) Ни одна комета – не звезда (суждение вида Е, субъект и предикат находятся в отношении несовместимости).
Таким образом, мы видим, что во всех четырех видах простых суждений возможно семь случаев отношений между субъектом и предикатом (два случая для суждений вида А, два случая для суждений вида I, один случай для суждений вида Е и два случая для суждений вида О).
2.5. Распределенные и нераспределенные термины в простых суждениях
Основные структурные элементы простого суждения – субъект и предикат – называются терминами суждения. В любом суждении каждый термин является распределенным или нераспределенным.
Термин считается распределенным (т. е. развернутым, исчерпанным, взятым в полном объеме), если в суждении речь идет обо всех объектах, входящих в объем этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом (т. е. кругом, который не содержит в себе другого круга и не пересекается с другим кругом):
Термин считается нераспределенным (т. е. неразвернутым, неисчерпанным, взятым не в полном объеме), если в суждении речь идет не обо всех объектах, входящих в объем этого термина, и обозначается знаком «—», а на круговых схемах Эйлера изображается неполным кругом (т. е. кругом, который