Сполучні (кон'юнктивні) і розділові (диз'юнктивні) судження. - Умовні (імплікатівних) і еквівалентні судження. - Комбіновані складні судження. - Логічні відносини між складними судженнями.

Складним називається судження, яке складається з кількох простих, з'єднаних логічними зв'язками. Розрізняють такі види складних суджень: 1) з'єднувальні, 2) розділові, 3) умовні, 4) еквівалентні. Істинність таких суджень визначається істинністю складових їх простих.

Сполучні і розділові судження

Сполучні (кон'юнктивні) судження

З'єднувальним, або кон'юнктивні, називається судження, яке складається з кількох простих, з'єднаних логічною зв'язкою «і». Наприклад, судження "Крадіжка і шахрайство відносяться до умисним злочинам» є з'єднувальним судженням, що складається з двох простих: «Крадіжка відноситься до умисним злочинам», «Шахрайство відноситься до умисним злочинам». Якщо перше позначати p, а друге - q, то сполучне судження символічно можна виразити як pΛq, де p і q - члени кон'юнкції (або кон'юнктів), Λ - символ кон'юнкції.

Детальніше:

Умовні та еквівалентні судження

Умовні (імплікатівних) судження

Умовним, або імплікатівнимі, називають судження, яке складається з двох простих, з'єднаних логічною зв'язкою «якщо ..., то ...». Наприклад: «Якщо запобіжник плавиться, то електролампа гасне». Перше судження - «Запобіжник плавиться» називають антецедентом (попереднім), друге - «електролампа гасне» - консеквентом (наступним). Якщо антецедент позначити p, консеквент - q, а зв'язку «якщо ..., то ...» знаком «→», то Імплікатівное судження символічно можна виразити як p→q (якщо p, то q).

Детальніше:

Комбіновані складні судження

Складні судження - з'єднувальні, розділові, умовні і еквівалентні - використовуються в звичайних міркуваннях і правових контекстах як самостійно, так і в різних поєднаннях. Наприклад, в соединительном судженні як кон'юнктив можуть виступати розділові судження: (рVq)V(mVn). В розділовому судженні в якості його членів можуть виступати з'єднувальні судження, наприклад: (рΛq)V(mΛn). Антецедентом і консеквентом умовного судження також можуть бьггь кон'юнктівной або діз'юнктівно пов'язані судження, наприклад: (рVq)→(mΛn).

Детальніше:

Логічні відносини між складними судженнями

Складні судження, як і прості, можуть бути порівнянними і непорівнянними.

Незрівнянні - це судження, які не мають спільних пропозиційних змінних (простих суджень). Наприклад, рΛq i mΛn.

Детальніше: