معرفی فصل

معرفی فصل

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

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

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

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