نتایج جستجو
پرش به ناوبری
پرش به جستجو
تطبیق عنوان صفحه
- در [[منطق ریاضیاتی|منطق ریاضی]]، یک '''نظریه''' (همچنین به آن '''نظریه صوری''' هم می گویند) مجموعه ای از <br />{{منطق}} ...۲ کیلوبایت (۶۳ واژه) - ۱۲ مهٔ ۲۰۲۴، ساعت ۰۸:۵۴
- تعبیر برای [[منطق گزارهها]] تابعی مانند I از [[مجموعه پروپ]] به توی مجموعه ۱ و ۰ است که در ش |کتاب= منطق ریاضی ...۹۴۲ بایت (۵۶ واژه) - ۲۰ اوت ۲۰۱۸، ساعت ۰۳:۱۰
- ...hilosophische Studien'' '''82'''(1), pp. 77–90.</ref>) در [[منطق مرتبه اول|منطق محمولات]]، برای یک گزاره منطقی یک [[فرمولهای خوش فرم|فرمول خوش-فرم]] با [[ جملههای فاقد هرگونه [[رابطهای منطقی|رابط منطقی]] یا [[سور (منطق)|سور]]، [[جمله اتمی]] نامیده میشوند؛ که در مقایسه با [[فرمول اتمی]] است. س ...۵ کیلوبایت (۵۹ واژه) - ۷ آوریل ۲۰۲۳، ساعت ۱۸:۰۲
- ...ظریۀ مدل]] تعریف کرد. بهطور خاص، یک منطق <math>\alpha</math> به اندازه یک منطق <math>\beta</math> قوی گفته میشود اگر هر [[کلاس ابتدایی]] در <math>\beta</ * منطق انتزاعی ...۷۰۵ بایت (۱۸ واژه) - ۸ دسامبر ۲۰۲۲، ساعت ۱۶:۰۲
تطبیق متن مقاله
- ...ظریۀ مدل]] تعریف کرد. بهطور خاص، یک منطق <math>\alpha</math> به اندازه یک منطق <math>\beta</math> قوی گفته میشود اگر هر [[کلاس ابتدایی]] در <math>\beta</ * منطق انتزاعی ...۷۰۵ بایت (۱۸ واژه) - ۸ دسامبر ۲۰۲۲، ساعت ۱۶:۰۲
- ...>P</math> را برآورده میسازد. فرمولی که در آن یک سور، گستردهترین [[دامنه (منطق)|دامنهاش]] را میگیرد، یک '''فرمول کمیشده''' {{به انگلیسی|quantified form ...گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص میکنند. از نظر منطقدانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمر ...۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
- {{منطق کلاسیک}} {{منطق ریاضی}} ...۱ کیلوبایت (۴۴ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۲۹
- [[گزاره (منطق)|گزاره]] <math>A</math> را در''' صورت نرمال عطفی''' گوییم هرگاه به شکل |کتاب=منطق ریاضی ...۱ کیلوبایت (۴۹ واژه) - ۴ مارس ۲۰۲۲، ساعت ۰۵:۱۴
- تعبیر برای [[منطق گزارهها]] تابعی مانند I از [[مجموعه پروپ]] به توی مجموعه ۱ و ۰ است که در ش |کتاب= منطق ریاضی ...۹۴۲ بایت (۵۶ واژه) - ۲۰ اوت ۲۰۱۸، ساعت ۰۳:۱۰
- ...را بکار برد، همانگو ترجمهای از این کلمه میباشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بینالمللی در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...۳ کیلوبایت (۱۰۴ واژه) - ۲۲ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۸
- ...، یک [[عبارت (ریاضیات)|عبارت]] است که از گردآوردی متناهی از [[لیترال (منطق ریاضی)|لیترالها]] (یعنی اتمها یا نقیض آنها) ساخته شدهاست. یک بند موقعی ''درست {{منطق-خرد}} ...۲ کیلوبایت (۳۷ واژه) - ۱۴ آوریل ۲۰۲۱، ساعت ۱۲:۲۴
- ...preserving=بلی|1-preserving=بلی|monotone=بلی|affine=خیر|self-dual=no}}در [[منطق]] و [[ریاضیات]]، '''فصل منطقی''' {{به انگلیسی|Logical disjunction}} یا همان [[رده:منطق]] ...۲ کیلوبایت (۸۵ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۳۵
- ...ی شدهاست. در اولین [[اصل موضوع (منطق)|اصول موضوعۀ]] او از [[حساب گزارهای|منطق گزارهای]] به عنوان اصل تلقی شد. میتوان آن را به عنوان [[اصل طرد شق ثالث]] قانون پیرس در [[منطق شهودی]] یا [[منطق ابرشهودگرایی|منطقهای ابرشهودگرایی]] وجود ندارد و نمیتوان آن را به تنهایی از [[قضیه استنتاج| ...۳ کیلوبایت (۵۹ واژه) - ۷ ژانویهٔ ۲۰۲۳، ساعت ۱۰:۵۱
- '''قانون هویت''' {{به انگلیسی|Law of identity}} رابطۀ [[منطق]]ی بین دو شیء متحد است. مانند هویت [[ریاضی]] یا تساوی جبری که با وجود اختلاف ارزش حروفی که نمایانگر آنها است، همواره ...۲ کیلوبایت (۴۱ واژه) - ۲ ژانویهٔ ۲۰۲۴، ساعت ۰۷:۰۵
- ...نها گفته میشود.<ref>{{فرهنگستان|مصوب=عکس نقیض|بیگانه=contrapositive|حوزه=ریاضی|دفتر=ششم}}</ref> بنابراین عکس نقیضِ <math>P \rightarrow Q</math> برابر <ma در منطق کلاسیک، عکس نقیض، عکس دوم [[قضیه]] است که صدق قضیه، دلیل بر صدق آن میباشد ...۲ کیلوبایت (۱۸ واژه) - ۹ ژوئیهٔ ۲۰۲۴، ساعت ۰۶:۴۸
- '''تعریف به وسیله استقرا''' از قضایای مشهور در زمینه منطق ریاضیات است که تعریف مفاهیم جدید برای گزارهها به وسیله بازگشت، با این قضیه |کتاب=منطق ریاضی ...۱ کیلوبایت (۹۳ واژه) - ۱۴ مهٔ ۲۰۱۹، ساعت ۰۶:۱۳
- در [[منطق ریاضیاتی]]، یک '''جمله زمینه''' {{به انگلیسی|ground term}} در یک [[سیستم صو * در منطق مرتبه اول، جملهٔ <math>\forall x (x=x)</math> ی یک فرمول زمینه است.<ref nam ...۲ کیلوبایت (۹۰ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۵
- ...جدید {{nowrap|''S'' ∘ ''R''}} از دو رابطهٔ R و S است. ترکیب دو رابطه در [[منطق جبری]] '''ضرب نسبی''' نامیده میشود؛ بنابراین ترکیب برابر '''حاصلضرب نسبی'' ...}} استفاده میشود: برای اینکه عنصری عمو باشد باید برادر یک والد باشد. در [[منطق جبری]] گفته میشود که رابطهٔ «عمویی» xUz ترکیب دو رابطهٔ «برادری» xBy و «وا ...۱ کیلوبایت (۴۰ واژه) - ۲۴ اکتبر ۲۰۲۱، ساعت ۲۲:۱۳
- در [[منطق ریاضیاتی|منطق ریاضی]]، یک '''نظریه''' (همچنین به آن '''نظریه صوری''' هم می گویند) مجموعه ای از <br />{{منطق}} ...۲ کیلوبایت (۶۳ واژه) - ۱۲ مهٔ ۲۰۲۴، ساعت ۰۸:۵۴
- ...reserving=بلی|1-preserving=بلی|monotone=خیر|affine=خیر|self-dual=yes}}در [[منطق]] و [[ریاضیات]]، '''عطف منطقی''' {{به انگلیسی|Logical conjunction}} یا همان ...ا [[جدول صدق و کذب]] '''p و q''' (همچنین به صورت {{nowrap|'''p ∧ q'''}} در منطق یا '''p <math>\cdot</math> q''' در الکترونیک هم نوشته میشود). ...۲ کیلوبایت (۱۲۸ واژه) - ۲۱ فوریهٔ ۲۰۲۴، ساعت ۰۴:۱۴
- ...طرفی نگاه معناشناسی منطقی به ساختارها دارد که این نظریه را در دامنهٔ منطق ریاضی قرار میدهد.]] ...یسی|انگلیسی]]: Model Theory) در ریاضیات مطالعهٔ [[ساختار (ریاضی)|ساختارهای ریاضی]] از یک مرتبه بالاتر است. ...۴ کیلوبایت (۸۴ واژه) - ۸ اوت ۲۰۲۴، ساعت ۱۵:۵۱
- ...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را میپذیرد و منطقهای فراسازگار میخواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همهچیز از آ ...۴ کیلوبایت (۹۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۴
- در [[حساب گزارهها|منطق گزارهای]]، سمبل <math>\exists \;</math> '''سور وجودی''' نام گرفته و آن را ...[گزاره (منطق)|گزارهای]] بنویسیم که تنها در صورتی درست است که در [[مجموعه (ریاضی)|مجموعهی]] [[اعداد طبیعی]]، حاصلضرب یک عدد در خودش برابر ۲۵ شود؛ یعنی برا ...۲ کیلوبایت (۳۹ واژه) - ۱۹ ژانویهٔ ۲۰۲۴، ساعت ۲۲:۴۴
- '''قضیۀ استنتاج''' {{به انگلیسی|Deduction theorem}} یک متاتئوری در [[منطق مرتبه اول]] است.<ref>Deduction theorem. (2010, September 27). In Wikipedia, *{{یادکرد|کتاب=منطق ریاضی|نویسنده = محمد اردشیر|ناشر =هرمس|صفحه=۴۳|سال=۱۳۸۳|شابک=964-363-229-6 ...۲ کیلوبایت (۱۱۰ واژه) - ۲ ژانویهٔ ۲۰۲۳، ساعت ۰۷:۳۲