نتایج جستجو
پرش به ناوبری
پرش به جستجو
تطبیق عنوان صفحه
- این فهرستی از [[قاعده استنتاج|قواعد استنتاج]] منطقی است. این قوانین مربوط به [[فرمول|فرمولهای ریاضی]] هستند. '''قواعد استنتاج یا '''قوانین استنتاج'''، نحوهٔ '''تبدیل''' قوانین هستند که میتوان برای پی بردن به یک نتیجه از ی ...۱۷ کیلوبایت (۱٬۲۸۴ واژه) - ۶ ژوئیهٔ ۲۰۲۳، ساعت ۱۰:۵۲
تطبیق متن مقاله
- ...ست باشند.|symbolic statement=<math>\frac{P}{\therefore P \lor Q}</math>}}{{قواعد تبدیل}} ...فی فصل''' {{به انگلیسی|Disjunction introduction}} یک [[قاعده استنتاج|قاعدۀ استنتاج]] [[حساب گزارهای]] و تقریباً هر [[دستگاه صوری]] دیگری است. این قاعده این ا ...۱ کیلوبایت (۳۶ واژه) - ۹ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۷
- ...{یادکرد وب | عنوان=درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی | وبگاه=. | پیوند=http://khccsc.ir/logic/copi/ch10/ch10ED14sec6.htm | * [[قواعد استنتاج]] ...۲ کیلوبایت (۹۰ واژه) - ۱۰ دسامبر ۲۰۲۲، ساعت ۱۱:۵۴
- ...n}} نوعی حساب اثباتی میباشد که در آن [[استدلال منطقی]] با [[قاعده استنتاج|قواعد استنتاجی]] که نزدیک به روش «طبیعی» استدلال است، بیان میشود. این در تضاد با == قواعد == ...۵ کیلوبایت (۳۴۹ واژه) - ۲۸ دسامبر ۲۰۲۴، ساعت ۱۸:۱۷
- {{جعبه اطلاعات حکم ریاضیاتی|name=حذف عطف|type=[[قاعده استنتاج]]|field=[[حساب گزارهای]]|statement=اگر ترکیب عطفی <math>A</math> و <math>B {{قواعد تبدیل}} ...۳ کیلوبایت (۲۰۱ واژه) - ۱۲ ژانویهٔ ۲۰۲۳، ساعت ۱۴:۱۱
- {{قواعد تبدیل}} ...گان]] نامگذاری کردهاند که یک ریاضیدان بریتانیایی قرن ۱۹م میلادی است. این قواعد امکان میدهند تا [[عطف منطقی|عطف]] و [[فصل منطقی|فصل]] به طور محض، از طریق ...۴ کیلوبایت (۲۰۱ واژه) - ۱۴ ژانویهٔ ۲۰۲۴، ساعت ۰۷:۳۲
- ...نگارشی''' (Default Logic) گونه ای منطق غیر یکنواخت است که به [[صوری سازی]] استنتاج کردن با پیش فرض گرفتن انگارهها میپردازد. ...اول]] یا به زبان [[حساب گزارهای|منطق گزارهای]] بیان شده باشند. هر یک از قواعد D به صورت زیر شامل سه بخش هستند: ...۴ کیلوبایت (۳۷ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۰
- این فهرستی از [[قاعده استنتاج|قواعد استنتاج]] منطقی است. این قوانین مربوط به [[فرمول|فرمولهای ریاضی]] هستند. '''قواعد استنتاج یا '''قوانین استنتاج'''، نحوهٔ '''تبدیل''' قوانین هستند که میتوان برای پی بردن به یک نتیجه از ی ...۱۷ کیلوبایت (۱٬۲۸۴ واژه) - ۶ ژوئیهٔ ۲۰۲۳، ساعت ۱۰:۵۲
- [[رده:قواعد استنتاج]] ...۲ کیلوبایت (۶۸ واژه) - ۲۱ سپتامبر ۲۰۲۳، ساعت ۲۱:۴۶
- [[رده:قواعد استنتاج]] ...۳ کیلوبایت (۲۱۸ واژه) - ۶ آوریل ۲۰۲۴، ساعت ۱۷:۴۶
- == استدلال و استنتاج == در این منطق هم مانند دیگر منطقها میتوان اصول استنتاج تعریف و طبق آنها استدلال کرد. برای مثال طبق تعریف عملگر <math>-\!\!\ast</m ...۱۱ کیلوبایت (۵۳۹ واژه) - ۱ مهٔ ۲۰۲۲، ساعت ۱۱:۱۱
- [[رده:قواعد استنتاج]] ...۴ کیلوبایت (۲۵۷ واژه) - ۹ ژوئن ۲۰۲۲، ساعت ۱۵:۱۶
- [[رده:قواعد استنتاج]] ...۴ کیلوبایت (۱۱۸ واژه) - ۳ ژانویهٔ ۲۰۲۴، ساعت ۱۱:۵۷
- ...lective Linear Definite clause resolution}} با کوتهنوشت '''SLD''' [[قاعده استنتاج]] اصلی استفاده شده در [[برنامهنویسی منطقی]] است. این [[رزولوشن (منطق)|رزلو ...لوشن SLD» توسط آقای ماارتن ون امرن ارائه شد، او در واقع نامی را برای قاعده استنتاج بینام [[روبرت کوالسکی]] انتخاب کرده بود.<ref>Robert Kowalski [http://www.d ...۱۴ کیلوبایت (۳۹۱ واژه) - ۲۵ مارس ۲۰۲۲، ساعت ۱۱:۲۶
- ...یسی|Resolution}} در [[منطق ریاضی]] و [[اثبات قضیه خودکار]]، یک نوع [[قاعده استنتاج]] است. رزلوشن منجر به یک نوع فن [[اثبات ریاضیات|اثبات قضیه]] از نوع [[تعلیق یک '''قاعده رزلوشن''' در منطق گزارهای یک قاعده استنتاج درست و منفرد است که یک [[بند (منطق)|بند]] جدید را، به عنوان پیامد برای دو ب ...۱۲ کیلوبایت (۴۰۴ واژه) - ۲۵ اکتبر ۲۰۲۱، ساعت ۱۲:۳۶
- مفهوم استقلال شرطی برای نظریههای استنتاج آماری مبتنی بر گراف ضروری است، زیرا یک رابطه ریاضی بین مجموعهای از گزارهه == موارد استفاده در استنتاج بیزی == ...۲۱ کیلوبایت (۱٬۶۱۸ واژه) - ۲۰ ژانویهٔ ۲۰۲۲، ساعت ۱۱:۵۳
- مفهوم استقلال شرطی برای نظریههای استنتاج آماری مبتنی بر گراف ضروری است، زیرا یک رابطه ریاضی بین مجموعهای از گزارهه == موارد استفاده در استنتاج بیزی == ...۲۱ کیلوبایت (۱٬۵۵۹ واژه) - ۲۱ ژانویهٔ ۲۰۲۲، ساعت ۱۶:۱۰
- ...بارات نحوی، یک زیرمجموعهٔ مشخص از این عبارات (اصول) به علاوهٔ مجموعهای از قواعد صوری تشکیل شده که یک رابطهٔ زوج مرتبی خاص را، به قصد آن که به عنوان یک هم ن ...ین ساختار قوانین (که ممکن است شامل اصول شوند) میتوانند برای بهدست آوردن (استنتاج) فرمولهایی که بیانگر احکام درست هستند از فرمولهای داده شده بر اساس احکام ...۵۳ کیلوبایت (۲٬۳۷۵ واژه) - ۱۵ نوامبر ۲۰۲۴، ساعت ۱۵:۲۶
- [[رده:قواعد استنتاج]] ...۹ کیلوبایت (۵۲۳ واژه) - ۹ مهٔ ۲۰۲۴، ساعت ۰۴:۵۹
- ...ضیات)|مجموعهای]] است که روی آن عملیات ضرب، جمع، تفریق و تقسیم تعریف شده و قواعد مبنایی معینی را برآورده میسازد. معمولترین مثالهای میدان متناهی همان میدا ...ی ضرب، جمع، تفریق، و تقسیم (به استثنای تقسیم بر صفر) در آن تعریف شدهاست و قواعد حسابی که [[میدان (ریاضیات)|اصول موضوع میدان]] نامدارد را برآورده میسازد. ...۲۲ کیلوبایت (۱٬۰۴۶ واژه) - ۳۱ دسامبر ۲۰۲۱، ساعت ۱۸:۵۱
- ...میشود، که در آن گزارهها درگیر ترمهای تفسیرنشده اند و نمادهای تابعی توسط قواعد نظریه [[تابع تفسیرنشده|توابع تفسیرنشده]] با تساوی ارزیابی میشوند (که گاهی ...ن مواجه بودند: برابریهای «بدیهی» مثل ''x''+''y''=''y''+''x'' به سختی قابل استنتاج هستند. ...۳۴ کیلوبایت (۱٬۷۶۰ واژه) - ۱۲ دسامبر ۲۰۲۲، ساعت ۰۰:۴۲