в - A в†’ B; складне судження - В«якщо S1 є P1, то S2 є P2 В».
Склад простого судження
У традиційній логіці встановилося членування судження на суб'єкт, предикат і в'язку.
Суб'єкт - Частина судження, в якій виражається предмет думки. p> Предикат - Частина судження, в якій щось стверджується або заперечується про предмет думки. Наприклад, у судженні В«Земля - ​​планета Сонячної системиВ» суб'єктом є В«ЗемляВ», предикатом В«планета сонячної системиВ». Неважко помітити, що логічний суб'єкт і предикат не збігаються з граматичними, т. е. з підметом і присудком.
Разом суб'єкт і предикат називаються термінами судження і позначаються відповідно латинськими символами S і P.
Крім термінів, судження містить в'язку. Як правило, зв'язка виражається словами В«ЄВ», В«сутьВ», В«єВ», В«бутиВ». У наведеному прикладі вона опущена. p> Поняття складного судження
Складне судження - судження, утворене з простих за допомогою логічних спілок кон'юнкції, диз'юнкції, імплікації, еквівалентності.
Логічний союз - це спосіб з'єднання простих суджень у складне, при якому логічне значення останнього встановлюється відповідно до логічними значеннями складових його простих суджень.
Особливість складних суджень полягає в тому, що їх логічне значення (істинність або хибність) визначається не смисловий зв'язком простих суджень, що складають складне, але двома параметрами:
1) логічним значенням простих суджень, що входять у складний;
2) характером логічної зв'язки, з'єднує прості судження;
Сучасна формальна логіка відволікається від змістовної зв'язку між простими судженнями і аналізує такі висловлювання, в яких цей зв'язок може бути відсутнім. Наприклад, В«Якщо квадрат гіпотенузи дорівнює сумі квадратів катетів, то на Сонце існують вищі рослини В».
Логічне значення складного судження встановлюється за допомогою таблиць істинності. Таблиці істинності будуються таким чином: на вході виписуються всі можливі комбінації логічних значень простих суджень, з яких складається складне судження. Число цих комбінацій можна вирахувати за формулою: 2n, де n - число простих суджень, що становлять складне. На виході виписується значення складного судження.
Порівнянність суджень
Крім усього іншого, судження поділяються на порівнянні , мають загальний суб'єкт або предикат і незрівнянні , що не мають між собою нічого спільного. У свою чергу, порівнянні діляться на сумісні , повністю або частково виражають одну і ту ж думку і, несумісні , якщо з істинності одного з них необхідно слід хибність іншого (при зіставленні таких суджень порушується закон несуперечливий). Ставлення по істинності між судженнями, порівнянними через суб'єкти відображається логічним квадратом. p> Л...
