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

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

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

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

A B A→B

і

і

л

л

і

л

і

л

і

л

і

і

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

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

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

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


Яндекс.Метрика