Категорические суждения

 

Названия видов категорических суждений	Логические формы (стандартные формулы) суждений	Отношения терминов (S и P)
Общеутвердительные (Сокращенно: суждения типа а)	Все S суть P (Сокращенно: SaP)
Общеотрицательные (суждения типа е)	Все S не суть P (SeP)
Частноутвердительные (суждения типа i)	Некоторые S суть P (SiP)
Частноотрицательные (суждения типа о)	Некоторые S не суть P (SoP)

Логический квадрат

 

 

 

Внешнее отрицание: эквивалентности

 

(1) Неверно, что (Все S суть P) ≡ Некоторые S не суть P.

(2) Неверно, что (Все S не суть P) ≡ Некоторые S суть P

(3) Неверно, что (Некоторые S суть P) ≡ Все S не суть P

(4) Неверно, что (Некоторые S не суть P) ≡ Все S суть P