Ум о в н о -р о з д і л о в и м умовиводом називається умовивід, у якому один із засновків є розділовим судженням, а решта умовними судженнями.
Наприклад,
Якщо ранкові газети повідомлять про результати референдуму, то я ще сьогодні зможу підготуватися до виступу. Якщо вечірні газети повідомлять про результати референдуму, то я лише завтра зможу підготуватися до виступу. Результати референдуму повідомлять або ранкові, або вечірні газети.
Отже, я зможу підготуватися до виступу або сьогодні, або завтра.
Умовно-розділові умовиводи мають ще одну назву - лематичні. Ця назва походить від грецького слова lemma - припущення. Така назва зумовлена тим, що вона випливає з тієї характеристики умовиводів, що розглядають різні припущення та їх наслідки.
В залежності від кількості альтернатив у розділовому засновку лематичні умовиводи поділяють на:
а) дилеми (дві альтернативи);
б) трилеми (три альтернативи);
в) полілеми (чотири і більше альтернатив).
У практиці міркувань найчастіше використовують дилеми, тому зупинимося на їх аналізі.
За якістю наслідку (заперечувальний або стверджувальний) дилеми поділяють на:
- конструктивні та
- деструктивні.
За складністю наслідку дилеми поділяють на:
- прості та
- складні.
К о н с т р у к т и в н о ю називається дилема у висновок якої входять наслідки умовних засновків.
Д е с т р у к т и в н о ю називається дилема, висновок якої складається із заперечення підстав умовних засновків.
П р о с т о ю називається дилема, висновком якої є наслідок умовного засновку, або заперечення підстави умовного засновку.
С к л а д н о ю називається дилема, висновком якої є диз'юнкція наслідків умовних засновків або заперечення підстав умовних засновків.
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Невідомо на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ Х. Умовивід“ на сторінці 9. Приємного читання.