Таким образом, при использовании разделительных суждений следует тщательно проверять, исключают или не исключают друг друга составляющие их простые суждения, в зависимости от чего и определять истинность составного суждения.
Простые суждения могут быть связаны между собой таким образом, что одно из них оказывается условием истинности другого. В этом случае составное суждение именуется условным (логический союз «если…, то»). Например, в сложном суждении: «Преступление квалифицируется как разбой, если установлено применение насилия, опасного для жизни или здоровья» одно простое суждение «установлено применение насилия, опасного для жизни и здоровья» служит условием истинности другого простого суждения, являющегося основным, — «преступление квалифицируется как разбой».
Истинность или ложность всего суждения определяется главным образом истинностью или ложностью основного суждения. Если оно истинное, то все суждение будет истинным, независимо от того, истинно или ложно суждение-условие. И наоборот. Возьмем, к примеру, суждение: «Подсудимый не подлежит ответственности, если он не достиг установленного законом возраста». Исключение ответственности выступает в данном случае как следствие недостижения возраста (например 14 или 16 лет), и если условие истинно, то истинно и следствие. Но высказывание: «Подсудимый не подлежит ответственности», являющееся основным, может быть истинным и при ложности условия: «Подсудимый не достиг установленного законом возраста». Возраст подсудимого, в частности, может соответствовать закону, а основное суждение все равно окажется истинным, например, в силу того, что подсудимый действовал невиновно.
Однако при ложности обоих простых суждений все суждение будет истинным. Так, если окажется, что в действительности «подсудимый достиг установленного возраста» и «он подлежит ответственности», то эти два суждения вполне согласуются между собой и делают все высказывание истинным.
Отличительной чертой условного суждения является наличие обусловленности одного простого суждения другим. При отсутствии такой зависимости, если даже простые суждения соединены грамматическим союзом «если» или «если…, то», суждение будет не условным, а соединительным.
Эквивалентным называют суждение, включающее в себя в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если…, то».
3. По качеству суждения делятся на утверждающие и отрицающие. По количеству они могут быть нескольких видов в зависимости от объема понятия, указанного в предмете суждения. Если что-либо утверждается или отрицается об одном элементе какого-то класса, суждение называется единичным. Таким является, например, суждение «Н. совершил преступление». Если в предмете говорится о части элементов, суждение будет частным. Например, «Некоторые составы преступлений являются материальными». Существуют также общие суждения, когда в предмете представлен весь класс элементов. Так, общим является суждение: «Все хищения — умышленные преступления».
Формулы суждений: единичного — «S есть Р», частного — «Некоторые S есть (не есть) Р», общего — «Все S есть (не есть) Р».
Суждение делится на виды не по одному признаку (либо по объему, либо по содержанию), а по двум признакам одновременно. Такое соединение делений по качеству (содержанию) и количеству (объему) образует четыре вида основных суждений: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О). Общеутвердительными называются суждения, общие по объему и утвердительные по содержанию («Все S есть Р»); общеотрицательные — это суждения, общие по объему и отрицательные по содержанию («Ни одно S не есть Р»). К частноутвердительным относятся суждения, частные по объему и утвердительные по содержанию («Некоторые S есть Р»); к частноотрицательным — суждения, частные по объему и отрицательные по содержанию («Некоторые S не есть Р»).
§ 3. Отношения суждений. Логические правила определения истинности юридических суждений