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

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