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

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

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