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

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

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

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

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

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

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

А - Vx(s(x) —> Р(х)) - «Все S суть Р» (для всякого х верно, что если он обладает свойством S, то обладает свойством Р).

I - 3X(S(X)AP(X)) - «Некоторые S суть Р» (существуют х, обладающие свойством S и свойством Р).

Е - Vx(s(x) —> Р(х)) - «Ни одно S не суть Р» (для всякого х верно, что если он обладает свойством S, то не обладает свойством Р).

О - 3x(s(x) лР(х)1- «Некоторые S не суть Р» (существуют х, обладающие свойством S и не обладающие свойством Р).