قیاس صوری فصلیdisjunctive syllogismواژههای مصوب فرهنگستانصورتی از استدلال که یکی از مقدمههای آن ترکیب فصلی pVq و دیگر مقدمۀ آن p~ و نتیجۀ آن q است
ترکیب فصلی گزارههاdisjunctive of propositionsواژههای مصوب فرهنگستانگزارهای که از ربط دادن دو گزارۀ مفروض بهوسیلۀ کلمۀ «یا» به دست میآید
صورت بهنجار فصلیdisjunctive normal formواژههای مصوب فرهنگستانصورتی برای یک گزارۀ حساب گزارهها، به شکل ترکیبی فصلی از ترکیبهای عطفی که در آنها هر عطفوند یک فرمول اتمی یا نقیض آن است