نتایج جستجو
پرش به ناوبری
پرش به جستجو
تطبیق عنوان صفحه
- ...ه وجود دارد که ویژگی <math>P</math> را برآورده میسازد. فرمولی که در آن یک سور، گستردهترین [[دامنه (منطق)|دامنهاش]] را میگیرد، یک '''فرمول کمیشده''' { ...ا قلمرو اعضای موضوع مورد بحث را مشخص میکنند. از نظر منطقدانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمرو شهر را مشخص میکند ...۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
- در [[حساب گزارهها|منطق گزارهای]]، سمبل <math>\exists \;</math> '''سور وجودی''' نام گرفته و آن را بیان میکنیم: "وجود دارد"، " به ازای بعضی مقادیر _ گزاره نمای شامل متغیر x که با سور وجودی همراه میشود، وقتی درست است که مجموعهٔ جواب آن تهی نباشد. ...۲ کیلوبایت (۳۹ واژه) - ۱۹ ژانویهٔ ۲۰۲۴، ساعت ۲۲:۴۴
- ...''' است (یا سورها را حذف میکند) هرگاه هر فرمولی به پیمانهٔ آن معادلی بدون سور داشته باشد.<ref>Wilkie, Alex J. "Model completeness results for expansions مصداقِ ملموسی از حذف سور، ...۴۲ کیلوبایت (۱٬۹۲۹ واژه) - ۶ سپتامبر ۲۰۲۴، ساعت ۱۲:۲۰
- ...\in X)\}</math>این رفتار سورها در دستیابی به معنایی ترکیبی برای جملات حاوی سور ضروری است. ...۸۳۳ بایت (۲۰ واژه) - ۱۴ اوت ۲۰۲۳، ساعت ۱۵:۴۸
- ...]]، نماد <math>\forall \;</math> که به صورت «به ازای هر» خوانده میشود، '''سور عمومی''' نام دارد. ...تعریف «فرد x متاهل است» را در مجموعه همه انسانها در نظر بگیرید. با افزودن سور عمومی، گزاره جدیدی به صورت «به ازای هر انسان مانند x, x متاهل است» به وجود ...۶ کیلوبایت (۱۵۹ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۴
- سور تو در تو هر چیزی در حوزه [[فعالیت]] یک سور را میتوان به عنوان یک [[تابع]] گزارهای در نظر گرفت برای مثال: ...۳ کیلوبایت (۹۷ واژه) - ۱۸ فوریهٔ ۲۰۱۸، ساعت ۱۴:۴۲
تطبیق متن مقاله
- ...\in X)\}</math>این رفتار سورها در دستیابی به معنایی ترکیبی برای جملات حاوی سور ضروری است. ...۸۳۳ بایت (۲۰ واژه) - ۱۴ اوت ۲۰۲۳، ساعت ۱۵:۴۸
- ...ه وجود دارد که ویژگی <math>P</math> را برآورده میسازد. فرمولی که در آن یک سور، گستردهترین [[دامنه (منطق)|دامنهاش]] را میگیرد، یک '''فرمول کمیشده''' { ...ا قلمرو اعضای موضوع مورد بحث را مشخص میکنند. از نظر منطقدانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمرو شهر را مشخص میکند ...۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
- در [[حساب گزارهها|منطق گزارهای]]، سمبل <math>\exists \;</math> '''سور وجودی''' نام گرفته و آن را بیان میکنیم: "وجود دارد"، " به ازای بعضی مقادیر _ گزاره نمای شامل متغیر x که با سور وجودی همراه میشود، وقتی درست است که مجموعهٔ جواب آن تهی نباشد. ...۲ کیلوبایت (۳۹ واژه) - ۱۹ ژانویهٔ ۲۰۲۴، ساعت ۲۲:۴۴
- سور تو در تو هر چیزی در حوزه [[فعالیت]] یک سور را میتوان به عنوان یک [[تابع]] گزارهای در نظر گرفت برای مثال: ...۳ کیلوبایت (۹۷ واژه) - ۱۸ فوریهٔ ۲۰۱۸، ساعت ۱۴:۴۲
- ...]]، نماد <math>\forall \;</math> که به صورت «به ازای هر» خوانده میشود، '''سور عمومی''' نام دارد. ...تعریف «فرد x متاهل است» را در مجموعه همه انسانها در نظر بگیرید. با افزودن سور عمومی، گزاره جدیدی به صورت «به ازای هر انسان مانند x, x متاهل است» به وجود ...۶ کیلوبایت (۱۵۹ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۴
- ...ansion''}} راهی برای تصور شهودی و بیان سورهای یک جمله است. به بیان دیگر، [[سور|سورها]] را میتوان بیان کوتاهی از جملههایی بلند (یا کوتاه) تصور کرد.<ref>د == بسط سور عمومی == ...۱۱ کیلوبایت (۶۶۰ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۳۷
- ...ست. دو نوع مهم از ثابتهای منطقی[[رابط منطقی|، رابط منطقی]] و [[سور (منطق)|سور]] هستند. گزاره [[تساوی (ریاضیات)|برابری]] (=) نیز در بسیاری از [[دستگاه صور | «[[سور عمومی|برای همه]]» ...۴ کیلوبایت (۱۰۶ واژه) - ۱۹ مهٔ ۲۰۲۴، ساعت ۰۰:۱۷
- ...ایسه با [[فرمول اتمی]] است. سپس جملهها از فرمولهای اتمی (با اعمال رابط و سور) ساخته میشود. ...۵ کیلوبایت (۵۹ واژه) - ۷ آوریل ۲۰۲۳، ساعت ۱۸:۰۲
- ...ناهی غیر قطعی]] است که انتقالهای آن به انتقالهای [[سور وجودی|وجودی]] و [[سور عمومی|عمومی]] تقسیم میشود. بهطور مثال، فرض کنید A یک ماشین متغیر باشد. ...۴ کیلوبایت (۱۵۵ واژه) - ۱۴ ژوئن ۲۰۱۹، ساعت ۲۲:۴۴
- ...ض]] یا [[اصل متمم (ترکیبیات)|متمم]] مفاهیم، [[سور عمومی|سورهای عمومی]] و [[سور وجودی|سورهای وجودی]].<ref name=":1"/> | ''[[سور عمومی]]'' ...۱۰ کیلوبایت (۵۰۲ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
- ...''' است (یا سورها را حذف میکند) هرگاه هر فرمولی به پیمانهٔ آن معادلی بدون سور داشته باشد.<ref>Wilkie, Alex J. "Model completeness results for expansions مصداقِ ملموسی از حذف سور، ...۴۲ کیلوبایت (۱٬۹۲۹ واژه) - ۶ سپتامبر ۲۰۲۴، ساعت ۱۲:۲۰
- ...]] نام دارند. اگر از سور «هر» یا «هیچ» استفاده شود، گزاره کلی است و اگر از سور «برخی» و مانند آن استفاده شود، گزاره جزئی است. ...ی، پارهای از و…» بیان میشود که آن را «سور» مینامند. گزارههایی که دارای سور «همه، هر، هیچ» یا سورهایی به این معانی باشند، «گزارههای کلیه» نامیده میشو ...۱۸ کیلوبایت (۷۲ واژه) - ۸ ژانویهٔ ۲۰۲۴، ساعت ۰۳:۵۹
- ...ه رابطه بین سورهای عمومی (<math> {\displaystyle \forall \,\!} </math>) و [[سور وجودی]] (<math> \exists \,\! </math>) است.<ref name=":0"/> ...۸ کیلوبایت (۴۲۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
- |[[سور وجودی]] |[[سور عمومی]] ...۲۳ کیلوبایت (۲٬۱۴۹ واژه) - ۱۶ اوت ۲۰۲۳، ساعت ۱۲:۰۱
- ...رسد، یک عبارت [[مرجع|ارجاع دهنده]] نیست، بلکه نمادی «نا کامل» که ساختاری [[سور|سوری]] را در جمله ای که در آن نمایان میشود، معرفی میکند. برای نمونه، جمله ...۱۱ کیلوبایت (۳۸۴ واژه) - ۲۲ اکتبر ۲۰۲۳، ساعت ۰۶:۳۱
- ...\Box \quad \Box</math> یا <math>\Box \quad \forall \Box</math> (∀): نماد [[سور عمومی]]. مثال: <math>\forall x>1 \quad x^2 > x</math> میخوانیم «'''به ازای <math>\exists \Box \quad \Box</math> (∃): نماد [[سور وجودی]]. مثال: <math>\exists x \quad x^2 = x</math> میخوانیم «<math>x</mat ...۳۰ کیلوبایت (۱٬۶۸۰ واژه) - ۳۱ مهٔ ۲۰۲۴، ساعت ۰۷:۱۵
- بیشتر حلکنندههای مسئله SAT فقط از قسمتهای فاقد [[سور (منطق)|سور]] از منطقشان پشتیبانی میکنند. ...اتمی|فرمولهای اتمی]] ساخته شدهاست). برخلاف SMT، برنامههای مجموعه جواب، «سور» ندارند، و نمیتوانند محدودیتهایی مثل [[حساب خطی]] یا [[منطق تفاوت]] را به ...۳۴ کیلوبایت (۱٬۷۶۰ واژه) - ۱۲ دسامبر ۲۰۲۲، ساعت ۰۰:۴۲
- ...اظرات با [[ویلارد کواین|ویلارد ون اورمان کواین]] در مورد منطق موجهات دارای سور آماده کند، با توجه به تعصباتی که وی در برابر منطق موجهات داشت.<ref>"Modalit ...۳۱ کیلوبایت (۱٬۵۵۳ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۵