معرفی فصل

از testwiki

نسخهٔ تاریخ ۹ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۷ توسط imported>Aminmozaffari.s (ایجاد شده به‌واسطهٔ ترجمهٔ صفحهٔ «Disjunction introduction»)

(تفاوت) → نسخهٔ قدیمی‌تر | نمایش نسخهٔ فعلی (تفاوت) | نسخهٔ جدیدتر ← (تفاوت)

پرش به ناوبری پرش به جستجو

الگو:جعبه اطلاعات حکم ریاضیاتی الگو:قواعد تبدیل

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

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

\frac{P}{∴ P \lor Q}

برگرفته از «https://fa.wiki.beta.math.wmflabs.org/w/index.php?title=معرفی_فصل&oldid=5542»