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