Четыре Аристотелевских пропозиции

Формулы качественно-количественных суждений: Affirmo - обще и частно утвердительные суждения. А. Обще-утвердительное. Все преподаватели умные. I. Частно-утвердительное. Этот преподаватель умный. Nego - обще и частно отрицательные суждения. E. Обще-отрицательное. Все преподаватели не умные. O. Частно-отрицательное. Этот преподаватель не умный. А. Обще-утвердительное суждение : «все S суть P». Например, «все люди боятся смерти». I. Частно-утвердительное суждение : «некоторые S суть P». Например, «некоторые люди имеют чёрный цвет кожи». E. Обще-отрицательное суждение : «ни одно S не есть P». Например, «ни один человек не всеведущ». O. Частно-отрицательное суждение : «некоторые S не суть P». Например, «некоторые люди не имеют чёрного цвета кожи». Affirmo — утверждаю. Для частно-утвердительного — I, вторую гласную того же глагола. Nego - отрицаю. Для обще-отрицательного — E, первую гласную глагола nego — отрицаю; для частно-отрицательного — O, вторую гласную того же глагола.