СУЖДЕНИЕ – это мысль, выраженная повествовательным предложением, являющаяся истинной или ложной. Вопросительные и побудительные предложения суждениями не являются.
В суждении выделяют субъект, предикат, связку и квантор.
Субъект (S) – это то, о чём говорится в суждении (обычно это подлежащее).
Предикат (P) – это всё, что сообщается о субъекте.
Связка в русском языке чаще всего опускается, а в иностранных языках выражена глаголом «быть».
Квантор - это слово, указывающее, в каком объёме взято понятие ("все", "каждый", "ни один", "только" и т.п.).
Пример:
Восьмиклассники (S) изучают логику (P).
Я (S) студент (P) – пропущена связка «есть» (ср.: I am student, где I – субъект, am – связка, student - предикат).
Суждения делятся на простые и сложные. Простые суждения, в свою очередь, делятся на
1) Суждения существования (указывают на существование или несуществование предмета):
На луне нет атмосферы.
В Москве есть монорельс.
2) Суждения с отношениями (указывают на отношения субъекта и предиката, обычно содержат прилагательное в сравнительной степени):
Тирасполь южнее Москвы.
Пять больше трёх.
3) Атрибутивные суждения (указывают на наличие или отсутствие признака предмета) делятся на
а) общеутвердительные (формула – «все S есть P»):
Все педагоги имеют высшее образование.
Каждый терапевт - врач.
б) общеотрицательные (формула – «ни один S не есть P»):
Киты не являются рыбами.
Ни один отличник не получает троек.
в) частноутвердительные (формула – «некоторые S есть P»):
Некоторые студенты занимаются спортом.
г) частноотрицательные (формула – «некоторые S не есть P»):
Некоторые туденты не занимаются спортом.
д) исключающие (формула – «все S, кроме S1, есть P»):
Все, кроме Иванова, сдали экзамен по логике.
е) выделяющие (формула – «только S есть P»):
Только Иванов сдал экзамен по логике.
Отношения между атрибутивными суждениями наглядно изображает логический квадрат.
Между общеутвердительным и общеотрицательным суждениями - отношение противоположности.
Между общеутвердительным и частноутвердительным, общеотрицательным и частноотрицательным - отношения подчинения.
Между частноутвердительным и частноотрицательным суждениями - отношение подпротивоположности.
Остальные варианты отношений являются противоречием.