S есть р.

Формула читается: «Все S суть Р».

Пример:

Все элементы выборки являются элементами гене­ральной совокупности.

Общеотрицательными называются суждения, общие по ко­личеству и отрицательные по качеству.

Общеотрицательное суждение обозначается заглавной латин­ской буквой «Е».

Формула простого общеотрицательного атрибутивного ка­тегорического суждения:

S не есть р

или

¬( S есть Р).

Формула читается: «Все S не есть Р» или «Неверно, что S есть P».

Пример:

Ни один иностранный гражданин не является из­бирателем российских органов государственной власти.

Частноутвердительными называются суждения, частные по количеству и утвердительные по качеству.

Частноутвердительное суждение обозначается заглавной ла­тинской буквой «I».

Формула простого частноутвердительного атрибутивного ка­тегорического суждения:

S есть р.

Формула читается: «Некоторые S есть Р».

Пример:

Некоторые теории являются истинными.

Частноотрицательными называются суждения, частные по количеству и отрицательные по качеству.

Частноотрицательное суждение обозначается заглавной ла­тинской буквой «О».

Формула простого частноотрщатепьного атрибутивного ка­тегорического суждения:

S не есть р.

или

¬( S есть р).

Формула читается: «Некоторые S не есть Р» или «Неверно, что некоторые S есть Р».

Пример:

Часть теорий не являются истинными.

Единичноутвердительными называются суждения, единич­ные по количеству и утвердительные по качеству.

Для единичноутвердительных и единичноотрицательных суж­дений не установлено специальных буквенных обозначений.

Пример:

А. В. Суво­ров— генералиссимус» «Чис­ленность населения Москвы больше чем Софии».

Единичноотрицательными называются суждения, единич­ные по количеству и отрицательные по качеству.

Примеры:

Лжедмитрий не являлся русским императором. Корпорация «Энрон» не су­ществует.

На количественной характеристике терминов, в свою очередь, основан признак распределенности терминов.

Распределенным называется термин суждения, взятый в полном объеме.

Нераспределенным называется термин суждения, взятый в части его объема.

Распределенность и нераспределенность терминов суждений в зависимости от их вида в объединенной качественно-количес­твенной классификации обобщает таблица 2 распределённости терминов атрибутивных суждений. Распределенность терминов обозначена знаком «+», нераспределенность — знаком «-». Исключения из правил обозначены скобками.

Таблица 2 – Распределённость терминов атрибутивного суждения

	Термины
Виды суждений	S	Р
А	+	-(+)
Е	+	+
I	-	-(+)
О	-	+

Примеры:

Общеутвердительное суждение с нераспределённым предикатом: «Все кошки – млекопитающие» (рисунок 12а).

Общеутвердительное суждение с распределённым предикатом: «Животное – это живое существо, способное чувствовать и передвигаться» (рисунок 12б).

Частноутвердительное суждение с нераспределённым предикатом: «Некоторые вопросы анкеты являются открытыми» (рисунок 12в).

Частноутвердительное суждение с распределённым предикатом: «Некоторые государства являются конфедеративными» (рисунок 12г).

Рисунок 12 – Распределённость терминов утвердительных суждения

Для того, чтобы избежать неоднозначности с распределённостью предикатов в суждениях, в логике используются специальные виды суждений — выделяющие и исключающие.

Выделяющими и исключающими могут быть не только утвер­дительные, но и отрицательные суждения.

Выделяющими являются суждения, в которых признак, мыслимый в предикате, характеризует только данный, но ника­кой другой предмет (предметы) мысли.

В выделяющих атрибутивных категорических суждениях используется логический оператор «только», который может быть пропущен, но подразумевается контекстом (содержанием суждения).

Примеры:

Студент Петров является отличником в нашей группе (невыделяющее суждение с неопределённой распределённостью предиката).

Только студент Петров является отличником в нашей группе (выделяющее суждение с определённо распределённым предикатом).

Исключающими являются суждения, в которых признак, мыслимый в предикате, характеризует все предметы, кроме оп­ределенной их части.

В исключающих атрибутивных категорических суждениях используется логический оператор «за исключением», «кроме», «помимо», который может быть пропущен, но подразумевается контекстом (содержанием суждения).

Так же, как и выделяющими, исключающими могут быть как утвердительные, так и отрицательные суждения. Однако в отли­чие от выделяющих, единичные и общие суждения исключающи­ми быть не могут. Исключающими могут быть только частные суждения.

Примеры:

Вузы нашего города, за исключением двух, являются негосударственными», «Обязательными для государства являются все международные договоры, кроме нератифицированных.