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