قیاس صوری فصلی

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

صورتی از استدلال که یکی از مقدمه‏های آن ترکیب فصلی pVq و دیگر مقدمۀ آن p~ و نتیجۀ آن q است.