О (частноотрицательное) - Некоторые S не есть P

Часть объёма S несовместима с объёмом P: S- P+

С убъект не распределен, так как мыслится лишь в некоторой части, а предикат распределен, поскольку его объем полностью исключен из объема субъекта. Например, «Некоторые студенты не являются спортсменами».

Общая схема распределенности терминов в суждении такова:

Таким образом, распределены S (субъекты) общих суждений и P (предикаты) отрицательных суждений. Не распределены S (субъекты) частных суждений и P (предикаты) утвердительных.

Виды сложных суждений:

1. Соединительные (с союзом И) конъюнктивные. Сложные суждения. Которые образуются посредством связи двух или более простых суждений союзом И (^) (&)

2. Разделительные (с союзом ИЛИ) дизъюнктивные Образуются посредством связи простых суждений союзом ИЛИ

2 вида союза ИЛИ: а) соединительно-раздилительный (слабая или нестрогая дизъюнкция). Дизъюнкция называется нестрогой. Если её части не исключают друг друга. (v)

Б) Исключающее разделительная (строгая или сильная дизъюнкция) Дизъюнкция назевается строгой, если её части исключают друг друга. V; ^; ¥;

3. Условные (импликативные (с союзом ЕСЛИ, ТО) Условные (импликативные) суждения, образуются из двух простых суждений посредством соединения их союзом «если, то»; →; Þ; É

4. Эквивалентные (с союзами если и только если) или двойная импликация - образуются из двух простых суждений посредством соединения их союзом «если и только если» ~; =; º; ↔