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

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

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

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


Яндекс.Метрика