Розділ Х. Умовивід

Наведемо приклади. І. Якщо в діях підозрюваного є ознаки шахрайства, то проти нього може бути порушена кримінальна справа. Якщо в діях підозрюваного є ознаки крадіжки, то проти нього може бути порушена кримінальна справа. В діях підозрюваного можуть бути ознаки шахрайства або крадіжки. Отже, проти підозрюваного може бути порушена кримінальна справа.

Маємо просту конструктивну дилему (ПКД):

Якщо N вчинив протиправні дії, то N понесе матеріальні збитки.

Якщо N вчинив протиправні дії, то N понесе моральні збитки.

N не понесе ні матеріальних, ні моральних збитків. Отже, він не вчиняв протиправних дій.

Такий вигляд має проста деструктивна дилема (ПДД):

III. Якщо іспит вступний, то він може впливати на конкурс. Якщо іспит семестровий, то він може впливати на отримання стипендії.

Іспити бувають вступні або семестрові.

Отже, іспити можуть впливати або на конкурс, або на отримання стипендії.

У складній конструктивній дилемі (СКД) висновком є складне диз'юнктивне судження, альтернативами у якому є наслідки умовних засновків:

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

Якщо мати на увазі наведену вище типологію правил висновку логіки висловлювань, то схеми висновку за простою та складною конструктивною дилемами належатимуть до похідних прямих правил:

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

Нарешті, після розгляду умовних, умовно-категоричних, розділово-категоричних та умовно-розділових умовиводів логічні структури яких є відповідними правилами висновку можна повністю відтворити схему типології правил висновку логіки висловлювань.