15. Складні судження, їх види

Складними називаються судження, які складаються з декількох простих суджень, що поєднуються між собою логічними зв’язками: “і (та)”, “або”, “якщо..., то”, “якщо і тільки якщо”.

Види складних суджень визначаються за ознакою логічної зв’язки в них. Таким чином є такі види складних суджень: з’єднувальні, розділові та умовні.

З’єднувальне судження (кон’юнкція) є поєднання двох і більше суджень за допомогою логічної зв’язки “і”. В таких судження може бути декілька Суб’єктів та спільний їм Предикат: S1, S2, S3 є P. Наприклад: МАУП, КГУ та КПІ – київські вузи. Може бути також один S з декількома належними його Р. S є Р1 і S є Р2. Дачний будинок теплий і затишний.

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

Умовне судження (імплікація) – це поєднання двох простих суджень за допомогою логічної зв’язки “якщо..., то”. В ньому істинність першого судження (антедецента – основи, підстави) достатня для того, що визнати істинність судження другого (консеквента - наслідку). Наприклад: Якщо іде дощ, то тротуар мокрий. Якщо воду нагріти до 100 градусів, то вона за нормального тиску закипить. В ньому антецедент прийнято позначати буквою “р”, консеквент - “q”, змістовну зв’язку між ними – вертикальною лінією з приєднаною до неї стрілкою:

p q

12. Прості судження та їх види

В ряду досить чисельної класифікації суджень (а.по змісту: існування, властивості, включення та відношення; б.по якості зв’язки: стверджувальні та заперечні; в.по обсягу: одиничні, часткові, загальні, виділенні; г.по модальності: можливості, дійсності, необхідності, проблематичності та достовірності) виокремлюються головні, а саме – прості види суджень, які постійно вживаються у вивчені всіх можливих логічних операцій з судженнями.

Є чотири види простих (основних) суджень, які одержані внаслідок одноразового врахування якісних і кількісних сторін суджень:

1.Загальностверджувальні судження, у яких Суб’єкт – поняття загальне, а зв’язка – стверджувальна (позитивна). Формула цього судження: Всі S є Р. Символом загальностверждувального судження є латинська буква А (від слова “affirmo” – стверджую). Наприклад: “Всі студенти МАУП успішно склали іспити з Логіки”.

3.Частковостверджувальні судження, у яких обсяг Суб’єкта частковий (деякі, частина), а зв’язка – стверджувальна. Формула цього судження: Деякі S є Р . Символом цього судження є латинська буква І (друга буква від слова від слова “affirmo” –стверджую). Наприклад: “Лише деякі студенти КПІ склали іспиту з Логіки за першим же заходом”.

4.Частковозаперечні судження, у яких Суб’єкт частковий, а зв’язка заперечна. Формула цього судження: Деякі S не є Р. Символом цього судження є латинська буква О (друга буква слова “nego”). Наприклад: “Лише деякі студенти МАУП не склади іспиту з Логіки за першим заходом.