1. Соединительные (Подул ветер и пошел дождь) 2 простых + U (коньюнкция). Могут использоваться союзы: а, но, да но, но и, а также (Видит око, да зуб неймет).
Таблица истинности (конъюнкция в^а, ^=и):
а в а^в
и и и
и л л
л и л
л л л

Конъюнкция истинна тогда, когда оба или все простые суждения истинны.

2. Разделительные суждения (Будет мороз или пойдет снег) дизъюнкция аvв, v=или. Нестрогая дизъюнкция - когда союз или имеет 1 или 2 смысла (Он шахматист и музыкант). Сторогая дизъюнкция - когда союз или означает 1 из 2, но не оба вместе (Вечером я пойду в театр или в библиотеку).
Таблица истинности (дизъюнкция):
а в аvв аv,в
и и и л
и л и и
л и и и
л л л л

Нестрогая дизъюнкция истинна тогда, когда хотя бы одно суждение истинно. Строгая дизъюнкция истинна тогда, когда только одно суждение истинно (или, либо, толи). (Фосфор бывает либо белый либо красный)

3. Условные суждения (импликация) - когда в сложном суждении есть связка «если, то». а>в (Если сверкает молния, то гремит гром).
Таблица истинности (импликации): Таблица истинности (эквиваленции):
а в а^в || а в а=в
и и и || и и и
и л л || и л л
л и и || л и л
л л и || л л и

4. Эквиваленция - когда в сложном суждении между простыми суждениями стоит логическая связка «если и только если» а=в.
Софизм и паралогизм
Софизм - это преднамеренная ошибка, совершаемая с целью запутать противника и выдать ложное суждение за истинное.
Д.б. один вывод.
Паралогизм – непреднамеренная ошибка, допущенная человеком в мышлении.