Книги / TURIN / ЛЕКЦПР~1

Виды

Формула

Распределенность терминов суждения

Отношение

суждения

Обозн.

Традиционная логика

Математическая логика

S

Р

S и Р

Общеутвердите-льное

А

Все S суть Р (SР)

х(S(х)Р(х))

+



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

I

Некоторые S суть Р

(SiР)

х(S(х)Р(х))

-



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

Е

Ни одно S

не суть Р

(SеР)

х(S(х)(х))

+

+

Частноотрицательное

О

Некоторые S

не суть Р

(SоР)

х(S(х)(х))

-

+