Головна |
складне судження - Це судження, утворене з двох або більше простих за допомогою логічних зв'язок: кон'юнкції, диз'юнкції, імплікації і еквіваленціі. Відповідно до функцій логічних зв'язок розрізняють наступні види складних суджень: з'єднувальні (кон'юнктівние), розділові (диз'юнктивні), умовні (імплікатівние), еквівалентні.
Сполучні (кон'юнктівние) - Це складні судження, утворені з простих за допомогою логічної зв'язки «І» (символ U). Наприклад, судження «Буддизм, християнство та іслам є світовими релігіями» складається з трьох простих: «Буддизм є світовою релігією», «Християнство є світовою релігією», «Іслам є світовою релігією». Формула цього судження a U b. З'єднувальне судження істинно при істинності всіх простих суджень і помилково при хибності хоча б одного з них.
Розділові (диз'юнктивні) - Це складні судження, утворені з простих за допомогою логічний зв'язки «Або» (символ U). Наприклад, судження «Образа може бути нанесено або випадково, або навмисно» є розділовим, що складається з двох простих: «Образа може бути нанесено випадково», «Образа може бути нанесено навмисно». Символічно це судження можна виразити як a U b U c.
оскільки зв'язка «Або» в природній мові має два значення - соединительно- розділову і строго-розділову, - то виділяють два типи розділових суджень: Нестрогую (слабку) диз'юнкцію і строгу (сильну) диз'юнкцію.
Нестрогая диз'юнкція - це складне судження, в якому зв'язка «Або» вживається в сполучно-розділової значенні (символ U). Члени нестрогой диз'юнкції не виключають один одного. Наприклад: «Цей студент навчається на філологічному факультеті або на юридичному». Нестрогая диз'юнкція є істинною при істинності хоча б одного її члена і помилковою при хибності всіх членів. Формула цього судження a U b
сувора диз'юнкція - Це судження, в якому зв'язка «або " вживається в разделительном значенні (символ U). Члени суворої диз'юнкції виключають один одного. Наприклад: «Або в стремено ногою, або в пень головою». Формула цього судження a U b. Сувора диз'юнкція є істинною при істинності одного і хибності інших країн, і помилкової - при хибності або істинності всіх її членів.
Умовні (імплікатівние) - Це складні судження, утворені з двох простих за допомогою логічної зв'язки «Якщо ..., то ...» (символ ®). Наприклад: «Якщо слово стоїть на початку речення, то воно пишеться з великої літери». Перше судження (попереднє) - «Слово варто спочатку пропозиції» називають антецедентом, другу (наступну) - «Воно пишеться з великої літери» - консеквентом. Формула цього судженняa ® b. Імплікація істинна у всіх випадках, крім одного: при істинності антецедента і хибності консеквента.
еквівалентні - Це складні судження, утворені з двох простих, пов'язаних подвійний (прямий і зворотній) умовної залежністю, яка виражається зв'язкою «якщо і тільки якщо ..., то ... »(символ ?). Наприклад: «Якщо число діляться на два, то воно парне». Формула цього судження a ? b Еквіваленція є істинною при істинність або хибність обох простих суджень.
Зведена таблиця умов істинності складних суджень
A | b | a U b | a U b | A U b | A ® b | А ? b |
И | И | И | И | Л | И | И |
И | Л | Л | И | И | Л | Л |
Л | И | Л | И | И | И | Л |
Л | Л | Л | Л | Л | И | И |
Контрольні питання.
1. Які види складних суджень Ви знаєте?
2. Які види диз'юнкції Ви знаєте? У чому відмінність суворої диз'юнкції від нестрогой?
3. Які умови істинності складних суджень?
Відносини між поняттями | Вправа 3 | Вправа 10 | Логічні операції з поняттями | Правила явного визначення | Узагальнення і обмеження понять. | III. МІРКУВАННЯ | Види простих категоричних суджень | Розподіленість термінів у категоричних судженнях | Вправа 5 |