Умовиводи будуються не тільки з простих, але і зі складних суджень. Широко використовуються умовиводи, посилками яких є умовні і розділові судження, виступаючі в різних поєднаннях один з одним або з категоричними судженнями. До них відносяться чисто умовне, умовно-категоричне, розділово-категоричне і умовно-розділову умовивід.
Особливість цих умовиводів полягає в тому, що виведення висновку із засновків визначається не відношеннями між термінами, як в категоричному силогізмі, а характером логічного зв'язку між простими судженнями. Тому при аналізі посилок їх суб'єктно-предикатна структура не враховується.
Видами дедуктивних умовиводів є також скорочені, складні та складноскорочені силогізми.
Чисто умовний і умовно-категоричний умовивід
Чисто умовне умовивід
Чисто умовним називається умовивід, посилки і висновок якого є умовними судженнями. Наприклад:
Якщо винахід створено спільною творчою працею кількох громадян (p), всі вони визнаються співавторами винаходу (q).
Якщо вони визнаються співавторами винаходу (q), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (r).
---------------------------------------------------------------------------------------------------------------------------
Якщо винахід створено спільною творчою працею кількох громадян (p), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (r).
Розділово-категоричний умовивід
Розділово-категоричним називається умовивід, у якому одна з посилок - розділову, а інша посилка і висновок - категоричні судження.
Прості судження, з яких складається розділове (диз'юнктивне) судження, називаються членами диз'юнкції, або диз'юнктів. Наприклад, розділову судження «Облігації можуть бути представницькими або іменними» складається з двох суджень - диз'юнктів: «Облігації можуть бути представницькими» і «Облігації можуть бути іменними», з'єднаних логічним сполучником «або».
Умовно-розділовий умовивід
Умовивід, у якому одна посилка умовна, а інша - розділову судження, називається умовно-розділовим, або лемматіческім.
Розділову судження може містити дві, три і більше число альтернатив, тому лемматіческіе умовиводи діляться на дилеми (дві альтернативи), трілемми (три альтернативи) і т. д.
Скорочений силогізм (ентимема)
Силогізм, у якому виражені всі його частини - обидві посилки і висновок, називається повним. Такі силогізми були розглянуті в попередніх розділах. Однак на практиці частіше використовуються силогізми, в яких одна з посилок або висновок явно не виражаються, а маються на увазі.
Складні і складноскорочені силогізми
У процесі міркування прості силогізми виступають в логічному зв'язку один з одним, утворюючи ланцюг силогізмів, в якій висновок попереднього силогізму стає посилкою подальшого. Попередній силогізм називається проашогізмом, наступний - епісімогізмом.