{disjunctive syllogism} [ریاضی] صورتی از استدلال که یکی از مقدمه های آن ترکیب فصلی pVq و دیگر مقدمۀ آن p~ و نتیجۀ آن q است
