Короткий зміст розділу
Умовиводи здійснюються не тільки з простих, але й зі складних суджень. Доволі широко використовуються виводи, засновками яких є умовні та розділові (диз'юнктивні) висловлювання. Такі висловлювання поєднуються в різних комбінаціях одне з одним або з категоричними судженнями. У залежності від цього існують різні види виводів логіки висловлювань.
1. Поняття про виводи логіки висловлювань
2. Умовно-категоричні виводи
3. Розділово-категоричні виводи
а) Суто розділові.
Суто розділовим умовиводом с вивід, в якому всі засновки та висновки с розділовими (диз'юнктивними) висловлюваннями.
Наприклад:
Порівнянні поняття бувають сумісними (А) та несумісними (В). Несумісні поняття бувають співпідпорядкованими (В,), або протилежними (В,), або суперечними (Вя)._
Порівнянні поняття бувають сумісними (А), або співпідпорядкованими (В,), або протилежними (В2), або суперечними (В3). Структура цього виводу є такою: А або В.
В,, або В?, або Вг_
А, або В,, або В2, або В
Це правильна структура виводу і відповідна їй формула логіки висловлювань є законом логіки:
б) Заперечно-стверджувальний модус.
Умовивід, в якому один Ь засновків з розділовим судженням, а другий — категоричним судженням, називають * розділово-категоричним. Наприклад:
Мені могли телефонувати Микола (А) або Петро (В).
Микола мені не телефонував (~А).
Мені телефонував Петро (В).
Структура цього умовиводу така:
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.Г.Мозгова на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ 9. Виводи логіки висловлювань“ на сторінці 1. Приємного читання.