نمایش مبدأ برای معرفی فصل

{{جعبه اطلاعات حکم ریاضیاتی|name=معرفی فصل|type=[[قاعده استنتاج]]|field=[[حساب گزاره‌ای]]|statement=اگر <math>P</math> درست باشد، آنگاه حداقل یکی از <math>P</math> یا <math>Q</math> باید درست باشند.|symbolic statement=<math>\frac{P}{\therefore P \lor Q}</math>}}{{قواعد تبدیل}}

'''معرفی فصل''' {{به انگلیسی|Disjunction introduction}} یک [[قاعده استنتاج|قاعدۀ استنتاج]] [[حساب گزاره‌ای]] و تقریباً هر [[دستگاه صوری]] دیگری است. این قاعده این امکان را فراهم می‌کند که [[فصل منطقی|ترکیب فصلی]]<nowiki/>‌ها را به براهین منطقی وارد کنیم.

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

: <math>\frac{P}{\therefore P \lor Q}</math>


[[رده:قضیه‌ها در حساب گزاره‌ای]]
[[رده:منطق فراسازگار]]
[[رده:قواعد استنتاج]]