Условно-разделительные умозаключения. 
Логика

Условно-разделительными являются умозаключения, одна из посылок которых — разделительное суждение, а остальные — условные суждения.

По количеству членов в разделительной посылке условно-разделительные умозаключения делятся на три вида:

• 1) дилемма — условно-разделительное умозаключение, в котором разделительная посылка содержит два члена;
• 2) трилемма — условно-разделительное умозаключение с трехчленным разделительным суждением;
• 3) полилемма — условно-разделительное умозаключение, разделительная посылка которого содержит четыре и более членов.

Дилеммы, трилеммы и полилеммы бывают двух видов:

• 1) конструктивные (утверждающие);
• 2) деструктивные (отрицающие).

Каждая форма, в свою очередь, может быть простой и сложной.

В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие; разделительная посылка утверждает оба возможных основания; заключение утверждает следствие:

В простой конструктивной трилемме условная посылка содержит три основания, из которых вытекает одно и то же следствие; разделительная посылка представляет собой дизъюнкцию этих трех оснований; в заключении утверждается следствие:

Аналогично строится форма простой конструктивной полилеммы:

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия; разделительная посылка утверждает одно или другое основание; заключение утверждает одно или другое следствие:

В сложной конструктивной трилемме условная посылка содержит три различных основания и три вывода; разделительная посылка представляет собой дизъюнкцию трех оснований; заключение — дизъюнкцию трех следствий:

В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия; разделительная посылка отрицает оба следствия; заключение отрицает основание:

Простая деструктивная дилемма может быть построена и по другой схеме:

В сложной деструктивной дилемме условная посылка содержит два основания и два следствия; разделительная посылка отрицает оба следствия; заключение отрицает оба основания: