Умовно-розділовий умовивід

Умовивід, у якому одна посилка умовна, а інша - розділову судження, називається умовно-розділовим, або лемматіческім.

Розділову судження може містити дві, три і більше число альтернатив, тому лемматіческіе умовиводи діляться на дилеми (дві альтернативи), трілемми (три альтернативи) і т. д.

Розглянемо на прикладі дилеми структуру і види умовно-розділового умовиводу.

Розрізняють два види дилем: конструктивну (творчу) і деструктивну (руйнівну), кожна з яких ділиться на просту і складну.

У простій конструктивній дилемі умовний засновок містить дві підстави, з яких випливає один наслідок. Розділова посилка стверджує обидва можливі підстави, висновок стверджує слідство. Міркування направлене від ствердження істинності основ до ствердження істинності наслідку.

Схема простої конструктивної дилеми:

(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).