Розділово-категоричний умовивід

Стверджувальний висновок отриманий за допомогою заперечення: заперечуючи один диз'юнктів, стверджують інший.

Висновок з цього модусу достовірно, якщо дотримується правило: в більшій посилці повинні бути перераховані всі можливі судження - диз'юнктів, інакше кажучи, велика посилка повинна бути повним (закритим) діз'юнктівную висловлюванням. Застосовуючи неповне (відкрите) диз'юнктивне висловлювання, достовірного висновку отримати не можна. Наприклад:

Угода може бути двосторонньою або багатосторонньою.

Досконала угода не є двосторонньою.

-------------------------------------------------------------------------------------

Досконала угода є багатосторонньою.

Однак цей висновок може виявитися помилковим, так як в більшій посилці не вказані всі види операцій: посилка являє собою неповне, або відкрите, диз'юнктивне висловлювання (угода може бути і односторонньою, для здійснення якої досить виявлення волі однієї особи - видача довіреності, складання заповіту, відмова від спадщини і т. п.).

Розділова посилка може включати не два, а три і більше членів диз'юнкції. Наприклад, в процесі розслідування причин пожежі на складі слідчий припустив, що пожежа могла виникнути або в наслідок необережного поводження з вогнем (р), або в результаті самозаймання зберігаються на складі матеріалів (q), або в результаті підпалу (r). В ході розслідування було встановлено, що пожежа виникла внаслідок необережного поводження з вогнем (р). У цьому випадку всі інші диз'юнктів заперечуються. Умовивід приймає форму утверждающе-отріцаюшего модусу і будується за схемою:

p V q V r, р

-----------------------

¬q V ¬r

Можливий і інший хід міркування. Припустимо, припущення про те, що пожежа виникла внаслідок необережного поводження з вогнем або в результаті самозаймання зберігаються на складі матеріалів не підтвердилася. У цьому випадку умовивід прийме форму отріцающе-який стверджує модусу і буде побудовано за схемою:

<p V q V r>, ¬q V ¬r

------------------------------------------------------------

r (пожежа виникла в результаті підпалу)

Висновок буде правдивим, якщо в умовній посилці враховані всі можливі випадки.

Розділово-категоричне умовивід знаходить широке застосування в судово-слідчій практиці, особливо при побудові і перевірці слідчих версій.