Суждение – это форма мысли, посредством которой что-либо утверждается или отрицается, и которая принимает логическое значение истинности или ложности.

Состав простого категорического суждения – это такое суждение, в котором что-либо утверждается или отрицается о предмете с необходимостью (осёл – это животное). Состоит из 3-х элементов:

1. Субъект – это часть суждения, которая выражает предмет мысли.
2. Предикат – это та часть суждения, в которой что-либо утверждается или отрицается о предмете мысли.
3. Связка.

Субъект и предикат – термины суждения. В зависимости от характера предиката все суждения делятся на 3-и группы:

1. Атрибутивные – такие суждения, в предикате которых выражены свойства или признаки предметов.
2. Релятивные – такие суждения, в предикате которых выражены не свойства или признаки предметов, а отношения между ними (Иван старше Петра, Волга длиннее Оки).
3. Экзистенциональные – такие суждения, в предикате которых выражен факт существования или не существования каких-либо сущностей.

Общая характеристика атрибутивных суждений проводится по качеству и по количеству.

Утвердительные – это такие суждения, которые что-либо утверждают о предмете (Луна спутник Земли).

Отрицательные – это такие суждения, в которых что-либо отрицается (некоторые люди не честны).

Единичные – это такие суждения, в которых нечто утверждается или отрицается об одном единственном элементе (Иванов - мудак).

Частные – это такие суждения, в которых что-либо утверждается или отрицается относительно части логического класса (некоторые люди невежественны).

Общие – такие суждения, в которых что-либо утверждается или отрицается относительно всего логического класса (все люди желают счастья).

Общеутвердительные – это такие суждения, которые являются общими по количеству, и утвердительными по качеству (Все металлы проводники). А

Частноутвердительные – это частные суждения по количеству и утвердительные по качеству. J

Общеотрицательные – это суждения, которые являются общими по количеству, отрицательными по качеству. E

Частноотрицательные – частные по количеству и отрицательные по качеству. O

Единичные суждения не выделяются в особую группу, они рассматриваются как общие суждения, потому-что и в общем и единичном суждении утверждение или отрицание производится в отношении всего объёма суждений.

Символическое выражение атрибутивных суждений. Квантор – указатель количества суждений. Имеет место два квантора: Квантор общности ∀ - всякий икс. Квантор существования, частный квантор ∃- некоторый икс, существуют такие икс. Два логических союза: Импликация – соответствует грамматическому союзу если то, обозначается → или ⊃. Конъюнкция – соединение, соответствует союзам и, да, но, однако ⋀. Символ “-” это отрицание суждения, то P- читается как “не P”, можно также ставить отрицание сверху

∀ (x)(S(x) ⊃ P(x)) - Все эсс суть пэ. Развёрнутая формулировка – для всякого икс верно, что если он обладает свойствами S, то обладает свойством P.

∀ (x)(S(x) ⊃ P-(x)) – Ни одно S не суть P. Для всякого икс верно, что если он обладает свойствами S, то не обладает свойствами P.

∃ (x)(S(x) ⋀ P(x)) – Некоторые S суть P. Существуют такие икс, которые обладают свойствами S и свойствами P.

∃ (x)(S(x) ⋀ P-(x)) – Некоторые S не суть P. Существуют такие икс, которые обладают свойствами S, но не обладают свойствами P.