نتایج جستجو
پرش به ناوبری
پرش به جستجو
- عبارتهای زیر را در [[منطق مرتبه اول]] در یک دستینه (امضا) که شامل یک نماد ثابت ۰ برا [[رده:عبارتهای منطقی]] ...۲ کیلوبایت (۹۰ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۵
- درستیِ نفی تالی را میتوان به وسیلهٔ [[وضع مقدم]] و دانستن این که [[شرطی منطقی|گزارۀ شرطی]] با [[عکس نقیض]] خود همارز است، تشخیص داد. همچنین میتوان به ص [[رده:عبارتهای منطقی لاتین]] ...۲ کیلوبایت (۶۸ واژه) - ۲۱ سپتامبر ۲۰۲۳، ساعت ۲۱:۴۶
- ...ی از عبارتهای منطقی است، که از آنها مطمئن هستیم» و D «مجموعهای از قواعد منطقی پیشفرض است». به W نظریه پیشزمینه میگوییم و ممکن است به زبان [[منطق مرتبه [[رده:برنامهنویسی منطقی]] ...۴ کیلوبایت (۳۷ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۰
- یک فرمول هورن یک فرمول گزاره ایست که به وسیلهٔ پیوند دادن عبارتهای هورن شکل یافتهاست. ...شیوه انتشار مییابد. فرمول ارضا پذیر است اگر این تغییرات موجب ایجاد یک زوج عبارتهای واحد مخالف <math>l</math> و <math>\neg l</math> نشود. ...۴ کیلوبایت (۴۸ واژه) - ۲۱ مهٔ ۲۰۲۱، ساعت ۱۵:۰۸
- علامت ریاضی و منطقی که برای مشخص کردن [[نقیض]] یک گزاره استفاده میشود، نماد <math>\lnot \;</ma ...این در مثال فوق، نقیض گزاره <math>\forall \; x \in X \; P(x)</math> از نظر منطقی هم ارز با عبارت «انسانی مانند x در مجموعه انسانها وجود دارد که مجرد است.» ...۶ کیلوبایت (۱۵۹ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۴
- ...ل دوم، یک برهان خلف است که استدلال میکند که انکار مقدمه، منجر به یک تناقض منطقی میشود («کوچکترین» عدد وجود دارد و در عین حال، عددی کوچکتر از آن وجود دار ...ال، یک گزاره مانند <math>P</math> را درست فرض میکنیم و سپس با استدلالهای منطقی، به یک نتیجۀ پوچ یا در تناقض با واقعیت میرسیم و نتیجه میگیریم که <math>P< ...۶ کیلوبایت (۲۸۸ واژه) - ۲۰ فوریهٔ ۲۰۲۵، ساعت ۱۴:۴۸
- [[رده:عبارتهای منطقی]] ...۳ کیلوبایت (۸۹ واژه) - ۲۱ آوریل ۲۰۲۴، ساعت ۱۳:۴۱
- [[رده:عبارتهای منطقی لاتین]] ...۳ کیلوبایت (۲۱۸ واژه) - ۶ آوریل ۲۰۲۴، ساعت ۱۷:۴۶
- [[رده:عبارتهای منطقی لاتین]] ...۳ کیلوبایت (۱۰۳ واژه) - ۲۸ فوریهٔ ۲۰۲۳، ساعت ۲۱:۴۵
- [[رده:عبارتهای منطقی]] ...۴ کیلوبایت (۵۵ واژه) - ۴ سپتامبر ۲۰۲۴، ساعت ۱۸:۴۰
- ...G)}} روشی است برای توضیح گرامر زبانهای رسمی و طبیعی، که در [[برنامهنویسی منطقی]] مورد استفاده قرار میگیرد. این مفهوم بسیار به مفاهیم گرامرهای صفتی و گرام ...در آن بیان شد که DCGها شکل فرمول گونه گرامرها هستند به طوری که گرامر توسط عبارتهای قطعی منطق مرتبه اول بیان میشود.<ref>{{Cite journal|last=Pereira|first=Fern ...۱۱ کیلوبایت (۴۸۹ واژه) - ۲۷ ژانویهٔ ۲۰۲۵، ساعت ۰۲:۵۵
- ...یرهای گزارهای. الفبای متشکل از حروف ''V'' همراه با نمادها برای [[رابطهای منطقی|روابط گزارهای]] و پرانتز "(" و ") " که همه آنها در نظر گرفته نمیشود در '' فرمولهای خوش فرم منطقی را میتوان به صورت استقرایی زیر تعریف کرد: ...۷ کیلوبایت (۳۹۹ واژه) - ۱۱ نوامبر ۲۰۲۴، ساعت ۰۰:۵۱
- ...ها میل دارند [[نظریه پیچیدگی محاسباتی|پیچیدگی محاسباتی]] اجزاء احتمالاتی و منطقی خود را چند برابر کنند. مشکلات دیگر شامل امکان نتایج ضد شهودی، مانند آنهایی ...لف طبقهبندی کرد: آنهایی که سعی میکنند یک بسط احتمالاتی از مفهوم [[پیامد منطقی]] بسازند، مثل [[شبکه منطق مارکوف]]، و آنهایی که سعی میکنند مسائلی با عدم ...۱۵ کیلوبایت (۳۴۹ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۰
- دل در بسیاری از عبارتهای ریاضی برای ساده و کوتاهنویسی استفاده میشود. کاربردهای اصلی آن در نوشتن [[ البته رابطهٔ ضرب برداری به نظر کمی غیر منطقی میآید اما این به خاطر جابهجا پذیر نبودن این ضرب است. ...۱۱ کیلوبایت (۶۰۵ واژه) - ۱۷ آوریل ۲۰۲۴، ساعت ۲۲:۴۹
- ...ه میشوند، که «جایگزینی» یک نگاشت است که یک مقدار نمادین را به هر متغیر در عبارتهای مسئله انتساب میدهد. یک الگوریتم همانسازی باید برای یک مسئله معین یک مجموع ...ه در کاربرد مسئله همانسازی است. یکسانسازی سطحاول نحوی در [[برنامهنویسی منطقی]]، و نیز پیادهسازی [[سیستم نوع|سامانه نوع]] [[زبان برنامهنویسی]] استفاده ...۱۹ کیلوبایت (۷۳۵ واژه) - ۱۶ دسامبر ۲۰۲۳، ساعت ۱۰:۰۷
- ...>۳) یا متغیرهای گزاره ایی مانند p و q، با استفاده از رایطهها یا عملگردهای منطقی مثل NOT, AND, OR, or IMPLIES ساخته میشود. برای مثال: ...مفاهیم «همه»، «بعضی»، «چند»، «یکی از» و غیره را به کار میگیرند که کمی ساز منطقی نامیده میشوند، توسط حساب محمول بررسی میشوند. همراه با نماد تابع جدید "F(x ...۳۳ کیلوبایت (۱٬۴۱۳ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۷
- ...'منطق گزارهای''' میپردازد. [[گزاره (منطق)|گزارهها]] و ترکیب آن با ادوات منطقی شکل میگیرد. گزارههای مورد توجه منطق گزارهها فقط گزارههای خبریست. در [[ ...تشکیل شده که یک رابطهٔ زوج مرتبی خاص را، به قصد آن که به عنوان یک هم نهشتی منطقی دریافت شود، روی فضای عبارات تعریف میکند. ...۵۳ کیلوبایت (۲٬۳۷۵ واژه) - ۱۵ نوامبر ۲۰۲۴، ساعت ۱۵:۲۶
- ...میان تمام راههای ممکن برای اجرای آن پرسش است. این موضوع وقتی که پرسش شامل عبارتهای پیچیدهاست بسیار مهم است. </math>استفاده میکنیم و برای بیان عبارتهای جبر رابطه ای از نمادهای <math>E{_1},E{_2},E{_3} ...۲۴ کیلوبایت (۴۲۶ واژه) - ۱۲ مهٔ ۲۰۲۰، ساعت ۲۲:۰۵
- ...گزارهای]] صدقپذیر است اگر به [[متغیر (ریاضی)|متغیرهای]] آن بتوان مقادیر منطقی داد تا فرمول همواره درست باشد. [[مسئلهٔ صدقپذیری دودویی]] یک [[انپی کامل] یک '''عبارت''' [[فصل منطقی]] از متغیرهاست. بهطور مثال (x<sub>۱</sub> V not(x<sub>۲</sub> یک عبارت است ...۲۷ کیلوبایت (۹۷۴ واژه) - ۱۱ نوامبر ۲۰۲۲، ساعت ۰۰:۲۹
- ...صیف کردهاند. قسمت با اهمیت این ساختارهای بلوکی این است که هیچ وقت واحدهای منطقی با یکدیگر تداخل ندارند. برای مثال: میتوان بهطور منطقی عبارت بالا را پرانتز بندی کرد به صورت: ...۲۱ کیلوبایت (۷۵۵ واژه) - ۳۰ آوریل ۲۰۲۴، ساعت ۱۱:۱۳