Сложные суждения и их виды

Суждение называется простым, если никакая его часть сама не является суждением. Суждение называется сложным, если в нем есть часть или части, которые сами являются суждениями. Иначе говоря, сложным называется суждение, состоящее из двух или более суждений, как простых так и сложных. Сложные суждения образуются из простых с помощью логических связок: конъюнкции (логический союз «и»), дизъюнкции («или»), импликации («если, то»), эквиваленции («тогда, и только тогда») и отрицания («не», «неверно, что»). В зависимости от вида логической связки сложные суждения делятся на соединительные (конъюнктивные), разделительные (дизъюнктивные), условные (импликативные), суждения эквивалентности и суждения отрицания.

Таблица истинности логических связок, где буквы а, b - переменные, обозначающие суждения; «и» - истина, «л» - ложь.