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