Как определить вид сложного суждения через логические связки?

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

1. Конъюнктивные (соединительные). 15 Суждения, включающие в качестве компонентов суждения-конъюнкты, связанные союзом «и». 1 Например: «Дождь закончился, и выглянуло солнце». 1 Сложное конъюнктивное суждение истинно только в том случае, если оба простых истинны. 1
2. Дизъюнктивные (разделительные). 15 Суждения, включающие в качестве компонентов суждения-дизъюнкты, связанные союзом «или». 1 Выделяют слабую дизъюнкцию, когда союз «или» выражает соединительно-разделительный смысл, и сильную, когда компоненты сложного высказывания исключают друг друга. 1 Например: «Я плотно пообедаю или закажу пиццу на ужин». 1 Сложное дизъюнктивное суждение истинно, если хотя бы одно из простых истинно. 1
3. Условные (импликативные). 15 Суждения, образованные из двух простых с использованием логического союза «если … то …». 1 Например: «Если не поливать комнатное растение, то оно засохнет». 1 Часть, которая начинается со слова «если», называется «основание», а часть, которая начинается со слова «то» — следствие. 1 Условное суждение истинно во всех случаях, кроме одного: когда из истины следует ложь. 1
4. Эквиваленция. 24 Способ связи простых суждений в сложное посредством логической связки «тогда и только тогда, когда…» («если и только если…»). 4 Эквивалентные суждения, в отличие от импликативных, можно поменять местами, и от этого не пострадает истинность высказывания. 4 Например: «Если сегодня понедельник, то завтра будет вторник». 4
5. Отрицание. 24 Способ связи простых суждений в сложное посредством логического отрицания: «неверно, что…». 4 Например: «Неверно, что 2+3 = 4». 4