Символическое выражение категорических суждений

Указанные виды суждений принято обозначать гласными буквами латинских слов affirmo (утверждаю) и nego (отрицаю). Первые гласные буквы этих слов обозначают общие суждения, а вторые – частные.

Общеутвердительные суждения обозначаются буквой А.

Общеотрицательные – Е.

Частноутвердительные – I.

Частноотрицательные – О.

Современная символическая логика вводит специальные средства для обозначения А, Е, I, О: кванторы, логические переменные и логические постоянные.

А - – “Все S суть P” (для всякого х верно, что если он обладает свойством S, то обладает свойством P).

I – – “Некоторые S суть P” (существуют х, обладающие свойством S и свойством P).

E – – “Ни одно S не суть P” (для всякого х верно, что если он обладает свойством S, то не обладает свойством P).

O – – “Некоторые S не суть P” (существуют х, обладающие свойством S и не обладающие свойством P).

Не нашли, что искали? Воспользуйтесь поиском: