Складні судження

Юридичний приклад. «Засідання комісії по трудових спорах вважається правомочним, якщо на ньому присутні не менше половини членів, що представляють працівників, і не менше половини членів, що представляють роботодавця».

В умовних судженнях відбиваються перш за все різноманітні реальні залежності між предметами і явищами - причинно-наслідкові, просторово-часові, функціональні і т. Д. Але вони можуть, як і попередні, являти собою з'єднання різнорідних за конкретним змістом суджень типу: «Якщо 2 х 2 = 4, то сніг білий ». Саме в такому узагальненому сенсі імплікація використовується в класичній логіці. Судження, що стоїть після слів «якщо», «коли», називається «антецедентом» (попереднім) або «підставою», а після «то» - «консеквентом» (наступним) або «наслідком».

Імплікація істинна у всіх випадках, крім одного: коли попереднє (підстава) є, а наступного (слідства) немає.
Таблиця істинності імплікації:

Імплікація може включати в себе три і більше суджень. Наприклад: «Участь прокурора в розгляді цивільної справи обов'язково у випадках, коли це передбачено законом або коли необхідність участі прокурора в цій справі визнано судом».

Законодавство і юридична практика його застосування свідчать, що в формі імплікації виражаються не тільки об'єктивні залежності одних предметів і явищ від інших, але і також права та обов'язки людей, пов'язані з тими чи іншими умовами. Наприклад: «Кожен має право відповідно до міжнародних договорів Російської Федерації звертатися в міждержавні органи по захисту прав і свобод людини, якщо вичерпані всі наявні внутрішньодержавні засоби правового захисту».

4. Еквівалентні (рівнозначні) судження (від лат. Aequivalens - рівноцінний, рівнозначний). У них об'єднуються судження з взаємної (прямий і зворотній) умовної залежністю. Вони називаються ще «подвійний импликацией». Їх утворює логічний союз «якщо і тільки якщо ..., то» (символ «<-» »). Формула еквівалентності: А <-> В (читається: «Якщо і тільки якщо А, то В»). Граматично еквівалентність виражається союзами: «тоді і тільки тоді ..., коли», «лише в тому випадку, якщо ..., то», «тільки за умови, якщо ..., то» та ін.

Приклади: «Якщо число ділиться на два, то воно парне»; «Якщо і тільки якщо людина досягла пенсійного віку, то він має право на отримання пенсії за віком».

Еквівалентну судження істинно в двох випадках: коли обидва складові його судження істинні і коли вони обидва хибні. Таблиця істинності еквівалентності:

Заперечення суджень. При характеристиці складних суджень широко використовується ще один логічний союз: «невірно, що» або просто «не» (знак заперечення «1»). На відміну від бінарних спілок він відноситься до одного судження. Додаток його до якого-небудь судження означає утворення нової судження, яке знаходиться в певній залежності від вихідного. Наприклад, вихідне судження: «Всі судді непідкупні». Його заперечення: «Неправильно, що всі судді непідкупні» або «Не всі судді непідкупні», «Деякі судді не непідкупні».

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

Таблиця заперечення суджень:

Логічні сполучники, розглянуті з методичних міркувань порізно, в реальній практиці мислення нерідко переплітається один з одним, утворюючи часом досить складні розумові конструкції. Наприклад: «Суд не приймає відмови позивача від позову, визнання позову відповідачем і не затверджує мирової угоди сторін, якщо ці дії суперечать закону або порушують чьілібо права та охоронювані законом інтереси». Тут очевидна поєднання декількох кон'юнкція з диз'юнкція і импликацией. Або: «Суддя, народний засідатель, прокурор, секретар судового засідання, експерт і перекладач не можуть брати участь в розгляді справи і підлягають відводу, якщо вони особисто, прямо чи побічно, зацікавлені в результаті справи або є інші обставини, що викликають сумніви в їх неупередженості».

Відмінності між логічними союзами відносні. Подібно до того як один і той же логічний союз може з'єднувати найрізноманітніші за конкретним змістом судження, так один і той же конкретне судження може бути виражено різними логічними союзами. Наприклад: «День пройшов, і настала ніч»; «Якщо день пройшов, то настала ніч»; «Або день не пройшов, або настала ніч»; «День не пройшов, ніч не настала»; «Якщо ніч не настала, то день не пройшов». Взаємозв'язок і взаємозамінність логічних спілок має велике значення для перетворення символічних формул в процесі обчислення висловлювань.