معرفی فصل - ویکی‌پدیا، دانشنامهٔ آزاد

معرفی فصل

گونه	قاعده استنتاج
گرایش	حساب گزاره‌ای
گزاره	اگر ${\displaystyle P}$ درست باشد، آنگاه حداقل یکی از شکست در تجزیه (پاسخ نامعتبر MathML همراه SVG یا PNG جایگزین (توصیه شده برای مرورگرهای مدرن و ابزارهای کمکی) ("Math extension cannot connect to Restbase.") از سرور "http://localhost:6011/fa.wikipedia.org/v1/":): {\displaystyle P} یا ${\displaystyle Q}$ باید درست باشند.
بیان نمادین	${\displaystyle {\frac {P}{\therefore P\lor Q}}}$

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

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

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