معرفی فصل

معرفی فصل

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

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

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

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