Как сложные суждения используются в формальной логике?

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

Некоторые виды сложных суждений и их особенности:

• Конъюнктивные (соединительные). spravochnick.ru kpfu.ru Состоят из суждений, связанных союзом «и». spravochnick.ru Например: «Дождь закончился, и выглянуло солнце». spravochnick.ru Сложное конъюнктивное суждение истинно только в том случае, если оба простых истинны. spravochnick.ru
• Дизъюнктивные (разделительные). spravochnick.ru kpfu.ru Включают суждения, связанные союзом «или». spravochnick.ru Выделяют слабую дизъюнкцию, когда составляющие сложного суждения не исключают друг друга, и сильную, когда компоненты высказывания исключают друг друга. spravochnick.ru Пример: «Я надену синие брюки или синюю куртку» или «Сейчас я пойду в кино или на каток». spravochnick.ru
• Условные (импликативные). spravochnick.ru kpfu.ru Образованы из двух простых с использованием логического союза «если… то…». spravochnick.ru Пример: «Если не поливать комнатное растение, то оно засохнет». spravochnick.ru Условное суждение истинно во всех случаях, кроме одного: когда из истины следует ложь. spravochnick.ru
• Эквивалентные. kpfu.ru Образованы из двух простых, связанных двойной (прямой и обратной) условной зависимостью. kpfu.ru Пример: «Если число делится на два, то оно чётное». kpfu.ru

Сложные суждения могут комбинироваться между собой, образуя многокомпонентные конструкции. spravochnick.ru