معرفی فصل

معرفی فصل (به انگلیسی: Disjunction introduction) یک قاعدۀ استنتاج حساب گزاره‌ای و تقریباً هر دستگاه صوری دیگری است. این قاعده این امکان را فراهم می‌کند که ترکیب فصلی‌ها را به براهین منطقی وارد کنیم.

معرفی فصل

گونه	قاعده استنتاج
گرایش	حساب گزاره‌ای
گزاره	اگر $P$ درست باشد، آنگاه حداقل یکی از $P$ یا $Q$ باید درست باشند.
بیان نمادین	${\frac {P}{\therefore P\lor Q}}$

این قاعده را می‌توان به‌صورت زیر بیان کرد:

${\frac {P}{\therefore P\lor Q}}$