Складне судження, його види та істинність

Існують судження, які складаються з двох або більше простих суджень. Наприклад: “Я вийшов вранці з дому, замкнув двері і поїхав на роботу”, “Студенти ДонДУУ є активними громадськими діячами і відмінно штудіюють логіку”. Між цими простими судженнями є зв’язок, який виражається логічним союзом. За видом логічного союзу складні судження поділяють на :

4 кон’юнктивні – союз “і” – “Надворі промозгла погода і йде дощ”. Кон’юнктивне судження відбиває істину у тому випадку, коли всі його складові є істинними – дивись табл . 3.1.

Таблиця 3.2. Істинність кон’юнктивного судження.

4 диз’юнктивне – прості судження поєднуються логічним союзом “або” – “Позивач має право збільшити або зменшити розмір компенсації”. Відзначимо, що диз’юнктивне судження може виступати у формі несуворої диз’юнкції – коли всі складові судження можуть доповнювати одне одного – “Студент буде навчатися добре, якщо буде відвідувати лекції, або займатися з підручником вдома”, “Деякі продукти застосовуються в їжу у солоному, копченому, консервованому або свіжому вигляді”. У суворій диз’юнкції істинним може бути лише одна складова судження – “На чергових виборах переможуть або республіканці, або демократи”, “У цьому році я поїду у відпустку або на загальному транспорті, або на особистому”. Несувора диз’юнкція є істинною у випадку, коли хоча б одна з її частин є істинною і неістинною – коли всі її частини не є істинними (табл. 3.2.).

Таблиця 3.3. Істинність диз’юнктивного судження

6. імплікативне судження – судження, що побудоване за принципом зв’язки деяких простих суджень за допомогою союзу “якщо…, то…”, “коли…, то…”. Наприклад, “Якщо надворі йде дощ, то асфальт буде мокрим”. “Якщо студент успішно складе заліки та екзамени на сесії, то він буде повноцінно відпочивати на канікулах”.

Таблиця 3.4. Істинність імплікативного судження

7. еквівалентне судження – прості судження у ньому також зв’язуються за допомогою союзу “якщо…, то…”, але у цьому випадку існує беззаперечна детермінація між посилкою та наслідком (“Якщо і тільки якщо…, то…”, “А еквівалентно В”). Наприклад, “Якщо і тільки якщо студент вивчить логіку, то він з цього предмету складе залік”.

Таблиця 3.5. Істинність еквівалентного судження

4 негативне (заперечувальне) судження - зміст простого судження заперечується приставками “не-“, “невірним є ...”, “невірно, що...” Утворимо, скажімо, заперечне складне судження з такого простого “Сьогодні я запізнився” ® “Невірно, що сьогодні я запізнився” або “Сьогодні я не запізнився”. Заперечення судження а позначається у символьній формі як ā. Істинність таких суджень простежується доволі нескладно.

Таблиця 3.6. Істинність заперечувальних суджень