Элементарное суждение состоит из двух понятий S и P соединённых с помощью связок «есть», «не есть». Понятие S , отображающее предмет мысли суждения, называется субъектом суждения, а понятие P, в котором высказывается, что собой представляет субъект S , - предикатом суждения. Если предикат относится ко всему объему субъекта, то это выражается словами «Все S », если же только к его части, то «Некоторые S ». Так что S и P могут объединяться в четыре вида суждений:

1. Общеутвердительные суждения. Они символически обозначаются ASP или, еще короче, А. Это читается так: «Все S суть P ». Схематически соотношение между S и P изображается так:

2. Общеотрицательные суждения. Они символически обозначаются ESP или, еще короче, Е. Это читается: «Все S не есть P ». Диаграммы Эйлера для S и Р имеет вид:

3. Часто утвердительные суждения. Они символически обозначаются ISP или, еще короче, I. Это читается так: «Некоторые S есть P». Диаграммы Эйлера для S и Р имеет вид:

или вид,

где заштрихованная часть изображает общие элементы объемов S и Р.

4. Частноотрицательны суждения. Они символически обозначаются OSP или, еще короче, О. Это читается: «Некоторые S не есть Р». Диаграммы Эйлера для S и Р имеет вид: