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

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

A B A↔B

і

і

л

л

і

л

і

л

і

л

л

і

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

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

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

A ⏋А

і

л

л

і

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

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


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