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

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

Видами дедуктивних умовиводів є також скорочені, складні та складноскорочені силогізми.

Чисто умовний і умовно-категоричний умовивід

Чисто умовне умовивід

Чисто умовним називається умовивід, посилки і висновок якого є умовними судженнями. Наприклад:

Якщо винахід створено спільною творчою працею кількох громадян (p), всі вони визнаються співавторами винаходу (q).

Якщо вони визнаються співавторами винаходу (q), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (r).

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

Якщо винахід створено спільною творчою працею кількох громадян (p), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (r).

Детальніше:

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

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

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

Детальніше:

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

Умовивід, у якому одна посилка умовна, а інша - розділову судження, називається умовно-розділовим, або лемматіческім.

Розділову судження може містити дві, три і більше число альтернатив, тому лемматіческіе умовиводи діляться на дилеми (дві альтернативи), трілемми (три альтернативи) і т. д.

Детальніше:

Скорочений силогізм (ентимема)

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

Детальніше:

Складні і складноскорочені силогізми

У процесі міркування прості силогізми виступають в логічному зв'язку один з одним, утворюючи ланцюг силогізмів, в якій висновок попереднього силогізму стає посилкою подальшого. Попередній силогізм називається проашогізмом, наступний - епісімогізмом.

Детальніше: