Учебное пособие Электронный вариант Ростов-на-Дону, 2005

А	I	E
O
Субъект (S)	+	–	+	–
Предикат (P)	–	–	+	+
Предикат выделяющих суждений	+	+	+	+

Из таблицы можно вывести следующие закономерности: субъект всегда распределен в общих суждениях и нераспределен в частных; предикат распределен в отрицательных суждениях и не распределен в утвердительных; в выделяющих суждениях предикат всегда распределен.

Приведенная выше классификация относится, прежде всего, к простым суждениям. Для сложных же суждений в логике существует еще одно основание деления – по типу логических союзов, объединяющих ряд простых суждений в сложное. По этому основанию сложные суждения делятся на категорические, разделительные и условные.
Категорическое суждение, как видно из названия, выражает принадлежность или не принадлежность того или иного признака субъекту независимо от каких-либо условий (например: «Все в мире подвержено изменениям»; «Все вещества состоят из атомов»). Категорические суждения бывают как простые, так и сложные, состоящие из ряда простых суждений. Сложное категорическое суждение, в котором субъект либо предикат состоит из нескольких понятий, соединенных союзами «и» (в положительных суждениях) или «ни» (в отрицательных суждениях), называется соединительным или конъюнктивным⁹ («Растительный и животный мир принадлежат живой природе»; «Ни Петрова, ни Сидорова не было в это время в Ростове»). Формула конъюнкции в символическом виде выглядит следующим образом: а b, где буквы а и b обозначают простые суждения, а знак – символ союзов «и» либо «ни».
Разделительное или дизъюнктивное¹⁰ суждение образуется из простых категорических суждений, соединенных союзами «или» и «либо», символом которых выступает знак . Формула такого суждения: а b. Значок « » означает строгость дизъюнкции, т. е. невозможность одновременного существования содержащихся в таком суждении альтернатив (например: «Завтра судебное заседание состоится или будет вновь отложено»).
Однако иногда дизъюнктивное по своей форме суждение может по содержанию быть разделительно-соединительным, т.е. допускать возможность одновременного существования признаков предмета или событий, о которых идет речь в составляющих дизъюнкцию простых суждениях (например: «Успеха в спорте можно добиться либо благодаря природной одаренности, либо благодаря упорным тренировкам»). Такая дизъюнкция получила название нестрогой и в ее формуле точка над знаком дизъюнкции не ставится.
Условным или импликативным¹¹ называется такое сложное суждение, в котором простые суждения тесно связаны между собой условной зависимостью. Эта связь выражается логическим союзом «если..., то». Первое высказывание, в условном суждении, в котором выражено условие, называется основанием, а второе, зависимое от первого, – следствием. Примеры таких суждений: «Если через медную проволоку проходит электроток, то она нагревается»; «Если будет хорошая погода, то мы пойдем на пляж». Схема условного (импликативного) суждения: а b, где знак служит символом импликации.
Условное суждение имеет три разновидности: суждение о причинной связи («Если придать радиоактивному веществу критическую массу, то произойдет атомный взрыв»); суждение о логическом основании («Если строго следовать законам логики, то результат рассуждений будет истинным»); суждение об условии («Если знаешь свое дело, то достигнешь необходимого результата»). Одним из подвидов последней разновидности является так называемое суждение эквиваленции¹². Логической формой такого суждения выступает соединение двух высказываний связкой «если и только если..., то», либо «тогда и только тогда, когда». Символом такого типа связки выступает знак , а логическая формула приобретает вид: а b.
Для суждений конъюнкции, строгой и нестрогой дизъюнкции, импликации и эквиваленции в логике разработаны таблицы их истинности (в зависимости от истинности или ложности входящих в них простых суждений, получивших в логике название пропозициональных переменных). Если таблицы для всех видов сложных суждений соединить в одну, то она получит следующий вид: