Підручники Логіка Логіка. Підручник для студентів юридичного фаху 6.5. Методи побудови таблиць істинності для складних висловлювань6.5. Методи побудови таблиць істинності для складних висловлювань
| Логіка - Логіка. Підручник для студентів юридичного фаху |
6.5. Методи побудови таблиць істинності для складних висловлювань
Нерідкі випадки, коли складне висловлювання містить одночасно кілька видів зв'язку. Тут виникає необхідність побудувати таблицю істинності складного висловлювання, за допомогою якої легко встановити при яких значеннях істинності і хибності простих висловлювань складне буде істинним, що дуже важливо для тлумачення тексту.Розглянемо побудову таблиці на конкретному прикладі. Візьмемо складне висловлювання: „Якщо під час повторного розгляду закон буде знову прийнятий Верховною Радою України не менш чим двома третинами від її конституційного складу, Президент України зобов'язаний його підписати й офіційно оприлюднити протягом десяти днів” (ст.94 Конституції України).Дане складне висловлювання складається з трьох простих: a ® (b ? c).Для побудови таблиці використовуємо формулу 2 n , де n - кількість простих висловлювань у складному. У формулі використовуємо число 2, тому що маємо лише дві альтернативи істинно/хибно (їх ще називають істиннісними значеннями) — висловлювання може бути або істинним, або хибним. Для даного висловлювання: 23 = 8. Число 8 вказує на кількість горизонтальних рядків у таблиці. Перебираємо всі можливі варіанти істинності і хибності простих висловлювань, а далі за правилами складних висловлювань заповнюємо таблицю .Тепер ми точно заниємо, при яких значеннях істинності або хибності простих висловлювань як його компонентів («атомів») складне висловлювання («молекула») буде істинним.У наведеному прикладі всі прості висловлювання були ствердними. Однак, якщо в складному судженні зустрічається заперечне висловлювання, то його необхідно записати з використанням зовнішнього заперечення. Наприклад: «Студент не допускається до іспитів, якщо він не склав усіх заліків і не сплатив за проживання в гуртожитку». У цьому складному судженні три простих. Усі вони містять внутрішнє заперечення, яке записується через зовнішнє. Формул