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

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

Различают следующие виды сложных суждений:

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

Соединительные суждения истинны в том, и только в том случае, если истинны все простые суждения, входящие в их состав.

2. Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или».

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

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

2) Строгая дизъюнкция — суждение, в котором утверждается наличие только одного из двух и более положений дел

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

3. Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». В таком суждении одно из простых суждений, входящих в его состав, является условием, или основанием (в логике его называют антецедентом), другое – следствием (консеквентом).

Импликация может быть выражена союзами: «там..., где», «тогда..., когда...», «постольку..., поскольку...».

Импликация ложна только в том случае, когда основание истинно, а следствие ложно.

4. Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если, то...».

Выражается «лишь при условии что..., то...», «в том и только в том случае когда..., тогда...», «только тогда когда..., то...».

Эквивалентные суждения истинны в том случае, когда простые суждения, входящие в их состав имеют одинаковые значения истинности.