(греч. di(s)—дважды и lemma — предположение) — вид умозаключения (условно-разделительного силлогизма), в число посылок к-рого входят два условных и разделительное суждения, причем разделительное суждение формулируется в виде дизъюнкции, в к-рой объединяются основания или следствия условных суждении. Д. встречается как в сложных теоретических рассуждениях, так и в обыденной жизни, когда человек оказывается перед необходимостью выбора между двумя одинаковыми возможностями.