Суждений классификация

Суждения в традиционной формальной логике делятся на:
1. Простые суждения.
        а) Суждения свойства (атрибутивные);
        б) Суждения с отношениями;
        в) Суждения существования (экзистенциональные);
        г) Суждения со сложным субъектом и сложным предикатом.

В простом суждении имеются субъект ( s - от лат. subjectum) предикат (p - от лат. praedicatum) и связка. Субъект суждения - это понятие о предмете речи (о чём говорится в суждении?). Предикат - это понятие о признаке предмета, представленного в суждении (что говорится?).
 Связка может быть выражена одним словом (есть, суть, является), или 
группой слов, или тире, или простым согласованием слов ('Роза 
красная', 'На улице смеркается').

а) Суждения свойства (атрибутивные). В них утверждается или отрицается принадлежность предмету свойств, состояний, видов деятельности:
                           's есть p'  или 's не  есть p'.
б) Суждения с отношениями. В этих суждениях говорится об отношениях между предметами:
                           'а R b' или 'R(a,b)', 
где  a и b - имена предметов, а R - имя отношения.

в) Суждения существования (экзистенциональные). 
В этих суждениях утверждается или отрицается существование 
предметов в действительности.

2. Сложные суждения.
           а) зависимые и независимые;     
           б) Соединительные (конъюнктивные);
           в) Разделительные (дизъюнктивные);
           г) Условные (импликативные);
           д) Эквивалентные.
Сложные суждения образуются из простых с помощью логических связок: конъюнкции, дизъюнкции, строгой дизъюнкции, импликации, эквиваленции и отрицания. Значение истинности сложных суждений определяется с помощью таблиц истинности. Значение истинности простых суждений определяется обращением к действительности.

3. Суждения утвердительные и отрицательные (по качеству).
4. Общие, частные и единичные (по количеству).
5. Выделяющие и исключающие.

6. Сравнимые (имеют общий субъект и предикат) и несравнимые.
6.1. Сравнимые суждения.
           а) совместимые;
           б) несовместимые.
6.2. Совместимые суждения.
           а) эквивалентные;
           б) субконтрарные;
           в) подчиненные.
6.3. Несовместимые.
           а) контрарные (противоположные)
           б) контрадикторные (противоречащие).

В диалектической логике особый интерес проявляется к контрарным и контрадикторным суждениям.