Условно-разделительное умозаключение (также полилемма, лемматическое умозаключение) — умозаключение, посылки которого состоят из одного разделительного суждения и нескольких условных. Частные случаи с двумя и тремя условными высказываниями имеют собственные названия — дилемма и трилемма соответственно.
В логике полилеммы могут быть конструктивными (утверждающими) или деструктивными (отрицающими), а также простыми или сложными. Таким образом, образуются четыре варианта полилемм:
В простой конструктивной полилемме консеквенты в условных высказываниях одинаковы, потому заключение оказывается категорическим; в сложной конструктивной — консеквенты разные, и потому заключением является разделительное высказывание. В простой деструктивной – одинаковыми уже являются основания, потому заключение оказывается отрицательным категорическим; в сложной деструктивной — основания разные, и потому заключением является отрицательное разделительное высказывание.