Умовні умовиводи
Ці дедуктивні умовиводи містять умовні (імплікативні) судження (Якщо А, то В»). Розглянемо їх різновиди докладніше.
Суто умовні складаються лише з імплікативних засновків. Висновок також умовний.
Приклад: Якщо студент сумлінно навчатиметься, то отримає добрі оцінки
Якщо він отримуватиме добрі оцінки з предмету, то складе залік успішно
Якщо студент сумлінно навчатиметься, то складе залік успішно
Структура: А→В
В→C
А→С
Умовно-категоричні мають прості і умовні засновки. Їх висновок - категоричний.
Приклад: Якщо спекотна погода, то хвойний ліс насичений фітонцидами
Зараз погода спекотна
Відповідно хвойний ліс насичений фітонцидами
Структура: А→В
А
В
Зазначимо, що наведений приклад має так званий стверджувальний модус (стан). Заперечувальний модус з’являється у разі вживання заперечувального категоричного судження. Неважко пересвідчитися, що якщо застосувати зв’язку «не є» у вищенаведеному приладі («Зараз погода не спекотна»), то і висновок стане заперечувальний «Хвойний ліс не насичений фітонцидами».
Зауважимо, що умовні умовиводи, які мають стверджувальний модус дають достовірний висновок, а якщо рухатися від стверджування наслідку до стверджування причини, висновок буде лише імовірнісним.
Розділові умовиводи
Такі дедуктивні раціональні конструкції містять диз’юнктивні судження. Існують такі їх різновиди:
Суто розділові містять лише диз’юнктивні судження у якості засновків і висновку.
Приклад: Студент може отримати або задовільну або незадовільну оцінку
Задовільна оцінка може бути або «відмінно», або «добре», або «задовільно»
Таким чином, студент може отримати або незадовільну оцінку або оцінку
«добре», «відмінно» чи задовільно»
Структура:
А
В
B
Є*
С
D
A
C
D
*значення цього та інших знаків подане у стислому переліку логічних символів.
Розділово-категоричні містять і диз’юктивні (складні), і категоричні (прості) судження.
Приклад 1: Ліс може бути хвойним, листяним або змішаним
Цей ліс хвойний
Відповідно він не є листяним або змішаним
Структура:
А
В
С
А
В
C
Приклад 2: До Варшави можна потрапити або залізницею, або літаком
Мені доцільніше летіти літаком
Відповідно, залізницею я не поїду і розклад руху поїздів мене не цікавитиме
Структура:
А
В
В
Ā
Умовно-розділові. Цей різновид дедуктивних умовиводів містить як імплікативні, так і диз’юнктивні судження. При цьому останній засновок – розділовий. В залежності від кількості членів у розділовому засновку, такий умовивід може називатися дилемою, трилемою тощо.
Приклад:
Якщо за овочевими культурами доглядати, то буде добрий врожай овочів
Якщо фруктові дерева доглянуті, то матимемо врожай фруктів
Людина не дбала ні за овочами, ні за фруктами
Таким чином людині не може розраховувати на власний врожай фруктів або овочів
Структура: А→В
С→D
BD
АC