атрибутивное суждение это суждение выражающее

Ответ от Галина[гуру]
СИЛЛОГИСТИКА
Суждение — это мысль, в которой утверждается или отрицается определенная связь либо между объектами, либо между объектом и признаками. Как правило, в языке (грамматике) суждение выражается при помощи повествовательных предложений. В логике выделяют атрибутивные, реляционные и экзистенциальные простые суждения. Нас интересуют атрибутивные суждения.
В атрибутивных суждениях (от лат. attribuo — придаю, наделяю) фиксируется связь между предметом и его признаками, а под атрибутом обычно понимается какое-либо свойство предмета. Во всяком атрибутивном суждении можно выделить субъект, предикат и связку. Субъект суждения (S) — то, о чем говорится в суждении, т. е. это понятие о предмете суждения. Предикат суждения (P) — то, что говорится о субъекте суждения, т. е. это понятие о признаке предмета. Связка суждения — то, что связывает субъект и предикат в единое суждение; она обычно выражается словами «есть» или «не есть». Если субъект суждения обозначить буквой S, предикат — буквой P, то структуру атрибутивного суждения можно выразить так:
S – есть/не есть ‑ Р
В логике принято делить атрибутивные суждения по а) качеству и б) количеству.
По качеству суждения делятся на: утвердительные (говорящие о наличии признака) и отрицательные (говорящие об отсутствии признака) .
Количество суждения — характеристика объема субъекта суждения. По количеству атрибутивные суждения делятся на единичные («один») , частные («некоторые» ) и общие («все»). В традиционной силлогистике а) единичные суждения рассматриваются как общие, поскольку и те и другие высказываются обо всем объеме субъекта; б) термин «некоторые» в частных суждениях понимается так: «по крайней мере некоторые, а может быть и все» (но не так: «только некоторые»!) .
Атрибутивные суждения, у которых точно определено их качество и количество называются категорическими. В логике выделяют четыре типа атрибутивных (категорически) суждений:
1. общие и утвердительные — общеутвердительные (A);
2. частные и утвердительные — частноутвердительные (I);
3. общие и отрицательные — общеотрицательные (E);
4. частные и отрицательные — частноотрицательные (O);
(Их обозначения происходят от гласных букв их латинских названий AffIrmo и nEgO)
Существует каноническая форма категорических суждений (к ним приводятся разговорные выражения) :
А (SP): Все S есть (суть) Р — ∀(x)(S(x) ⊃ P(x));
I(SP): Некоторые S есть Р — ∃(x)(S(x) ⋀ P(x));
Е (SP): Ни одно S не есть Р — ∀(x)(S(x) ⊃ ­P(x));
О (SP): Некоторые S не есть Р — ∃(x)(S(x) ⋀ ­P(x)).
Подробнее можно посмотреть по ссылке
или