Сложные суждения так же, как и простые, бывают истинными или ложными. Истинность или ложность сложных суждений определяется истинностью или ложностью простых суждений входящих в него. В соответствии с функциями логических связок различают следующие виды сложных суждений:
- соединительные (конъюнктивные);
- разделительные (дизъюнктивные);
- условные или импликативные;
- суждения двойной импликации или эквивалентности (тождества);
3.1. Соединительные суждения образуются при помощи связи двух или нескольких простых суждений логическим союзом «и». Наиболее общая схема: «a и b», где a, b - символы простых суждений. Например, «Все общество в целом и каждый человек в отдельности обязаны соблюдать существующие законы».
Разделительные суждения образуются при помощи связи двух или нескольких простых предложений при помощи союза «или», «либо». Схема таких суждений: «a или b». Например, «Человек соблюдает существующие законы или не соблюдает».
Условные суждения образуются из двух простых суждений и логического союза «если, то». Схема такого суждения: «если a, то b». Например, «Если человек нарушает существующий закон, то он подвергается наказанию».
Суждения двойной импликации утверждают взаимную обусловленность двух ситуаций, т.е. субъекта и предиката. Образуются из двух простых суждений и союза «если, и только если, то». Схема такого суждения: «Если и только если a, то b». Например, «Если и только если человек достиг пенсионного возраста, то он имеет право на получение пенсии по возрасту».