Основні види умовиводів побудованих із складних суджень: суто розділові умовиводи; розділово-категоричні умовиводи (стверджувально-заперечні і заперечно-стверджувальні); розділово-умовні умовиводи (дилеми, трилеми і полілеми); умовно-категоричні умовиводи (modus ponens, modus tollens).