Умовно-розділовий умовивід
Умовивід, у якому одна посилка умовна, а інша - розділову судження, називається умовно-розділовим, або лемматіческім.
Розділову судження може містити дві, три і більше число альтернатив, тому лемматіческіе умовиводи діляться на дилеми (дві альтернативи), трілемми (три альтернативи) і т. д.
Розглянемо на прикладі дилеми структуру і види умовно-розділового умовиводу.
Розрізняють два види дилем: конструктивну (творчу) і деструктивну (руйнівну), кожна з яких ділиться на просту і складну.
У простій конструктивній дилемі умовний засновок містить дві підстави, з яких випливає один наслідок. Розділова посилка стверджує обидва можливі підстави, висновок стверджує слідство. Міркування направлене від ствердження істинності основ до ствердження істинності наслідку.
Схема простої конструктивної дилеми:
(p → r) Λ (q → r), p V q
-----------------------------------
r
Приклад:
Якщо обвинувачений винен у свідомо незаконному затриманні (p), то він підлягає кримінальній відповідальності за злочин проти правосуддя (r); якщо він винен у свідомо незаконному укладанні під варту (q), то він також підлягає кримінальній відповідальності за злочин проти правосуддя (r) .
Обвинувачений винний або в явно незаконному затриманні (p), або в явно незаконному укладанні під варту (q).
---------------------------------------------------------------------------------------------------------------------------
Обвинувачений підлягає кримінальній відповідальності за злочин проти правосуддя (r).
У складній конструктивній дилемі умовний засновок містить дві основи і два наслідки. Розділова посилка стверджує обидва можливі підстави. Міркування направлене від ствердження істинності основ до ствердження істинності наслідків.
Схема складної конструктивної дилеми:
(p → q) Λ (r → s), p V r
-----------------------------------
q V s
Приклад:
Якщо ощадний сертифікат є представницькими (p), то він передається іншій особі шляхом вручення (q); якщо він є іменним (r), то передається в порядку, встановленому для відступлення вимог (s). Але ощадний сертифікат може бути представницькими (p) або іменним (r).
---------------------------------------------------------------------------------------------------------------------------
Ощадний сертифікат передається іншій особі шляхом вручення (q) або в порядку, встановленому для відступлення вимог (s).