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