نتایج جستجو

تطبیق عنوان صفحه

• منطق پویا (منطق وجهی)
  ...نطق پویا''' {{به انگلیسی|Dynamic logic}} نوعی گسترش [[منطق وجهی]] است. این منطق در اساس برای استنتاج دربارهٔ برنامه‌های رایانه‌ای ساخته شد ولی بعدها به رفت ...angle </math> گسترش داده‌است، در نتیجه منطق پویا یک [[:en:Multimodal_logic|منطق چند-وجهی]] است. معنی <math>[a]p</math> آن است که «بعد از انجام عمل <math> { ...
  ۸ کیلوبایت (۴۲۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
• منطق توصیف
  ...با منطق درجه اول، مساله‌های استنتاج اصلی برای DL ها معمولاً [[تصمیم‌پذیری (منطق)|تصمیم‌پذیر]] هستند، و برای این مسائل، رویه‌های تصمیم مؤثر طراحی و پیاده‌سا == انواع منطق توصیف == ...
  ۱۰ کیلوبایت (۵۰۲ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
• وارون (منطق)
  '''وارون''' اصطلاحی در [[منطق]] است که به گزارهٔ [[عکس نقیض]]ِ [[عکس (منطق)|عکس]] یک گزارهٔ شرطی گفته می‌شود؛ بنابراین وارون گزارهٔ <math>P \rightarro همانگونه که یک گزارهٔ شرطی و [[عکس نقیض]] آن با هم معادلند، وارون و [[عکس (منطق)|عکس]] یک گزارهٔ شرطی نیز از نظر منطقی با هم معادلند. با این وجود وارون یک ...
  ۱ کیلوبایت (۵۶ واژه) - ۱۸ فوریهٔ ۲۰۱۷، ساعت ۱۲:۳۶
• بند (منطق)
  ...نطق]]، یک [[عبارت (ریاضیات)|عبارت]] است که از گردآوردی متناهی از [[لیترال (منطق ریاضی)|لیترال‌ها]] (یعنی اتم‌ها یا نقیض آن‌ها) ساخته شده‌است. یک بند موقعی {{منطق-خرد}} ...
  ۲ کیلوبایت (۳۷ واژه) - ۱۴ آوریل ۲۰۲۱، ساعت ۱۲:۲۴
• منطق موجهات
  ...resent and Future", by A. N. Prior, Oxford Univ.</ref> موجهات دیانتیک یا [[منطق موجهات فقهی]] (به‌طور خاص، «واجب است که <math>p</math>» و «مجاز است که <mat ...د» و «این امکان هست که امروز باران بیاید» هر دو حاوی مفهوم امکان هستند. در منطق موجهات این مسئله به عنوان یک عملگر، یعنی «امکاناً»، به جملهٔ «امروز باران خ ...
  ۳۱ کیلوبایت (۱٬۵۵۳ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۵
• منطق فراسازگار
  ...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آ ...
  ۴ کیلوبایت (۹۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۴
• تمامیت (منطق)
  ...مچنین بسته به زمینه بحث، با معانی مختلفی بکار می‌رود، که اغلب به [[اعتبار (منطق)|اعتبار]] معناشناختی ارجاع می‌دهد. شهوداً، یک سیستم را در این حالت خاص کامل خاصیت وارون تمامیت، [[صحت]] یا [[سازگاری (منطق ریاضی)|سازگاری]] نام دارد: یک سیستم نسبت به یک خاصیت (عمدتاً اعتبار معناشنا ...
  ۵ کیلوبایت (۸۰ واژه) - ۷ اوت ۲۰۲۴، ساعت ۰۹:۵۲
• گزاره (منطق)
  '''گزاره''' {{به انگلیسی|Proposition}}؛ در دانش [[منطق]]، [[قضیه]] یا جمله‌ای است [[جمله خبری|خبری]] که می‌تواند درست یا نادرست با ...‌ترین شکل گزاره‌است و در همهٔ علوم مورد استفاده و کاربرد است. از این رو در منطق نیز بیشترین توجّه به گزاره‌های مسورّه و پس از آن به گزاره‌های طبیعیه و مهمل ...
  ۱۸ کیلوبایت (۷۲ واژه) - ۸ ژانویهٔ ۲۰۲۴، ساعت ۰۳:۵۹
• همان‌گویی (منطق)
  ...ولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌ا در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...
  ۳ کیلوبایت (۱۰۴ واژه) - ۲۲ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۸
• تصمیم‌پذیری (منطق)
  ...عتبار (منطق)|منطقی معتبر]] را بتوان به صورت کارآمد تعیین نمود. یک [[نظریه (منطق ریاضی)|نظریه]] (مجموعه جمله‌های [[:en:Deductive_closure|بسته]] تحت [[استلزا تصمیم‌پذیری در منطق، ناظر بر مسئله ای است که پاسخ به آن یکی از دو حالت درست و غلط یا یکی از دو ...
  ۱۸ کیلوبایت (۳۷۱ واژه) - ۱۱ اکتبر ۲۰۲۳، ساعت ۱۳:۵۰
• سور (منطق)
  ...>P</math> را برآورده می‌سازد. فرمولی که در آن یک سور، گسترده‌ترین [[دامنه (منطق)|دامنه‌اش]] را می‌گیرد، یک '''فرمول کمی‌شده''' {{به انگلیسی|quantified form ...گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص می‌کنند. از نظر منطق‌دانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمر ...
  ۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
• منطق زمانی
  ...انه|دانشمندان '''رایانه''']]، به ویژه [[امیر پنوئلی|امیر پنولی]]، و [[منطق|منطق دانان]] توسعه یافته‌است. ...کننده به‌طور همزمان اعطا نمی‌شود. چنین بیانیه ای را می‌توان به راحتی در یک منطق زمانی بیان کرد. ...
  ۴۰ کیلوبایت (۲٬۰۰۷ واژه) - ۱۱ ژوئن ۲۰۲۴، ساعت ۲۳:۵۸
• منطق جدایی
  ...ه تغییر می‌دهند و خانه‌های مختلف از حافظه هستند که در معرض تحول هستند. این منطق توسط [[جان سی رینولدز]], [[Peter O'Hearn]], Samin Ishtiaq و Hongseok Yang م ...[[عملوند]] آن، در قسمت‌های مجزا از حافظهٔ پشته هستند؛ لذا، با شکل‌گیری این منطق و ابزارهای آن، وارسی الگوریتم‌ها و برنامه‌های موازی امکان‌پذیر شده‌است.<ref ...
  ۱۱ کیلوبایت (۵۳۹ واژه) - ۱ مهٔ ۲۰۲۲، ساعت ۱۱:۱۱
• منطق احتمالاتی
  ...عریف می‌کنند از طریق عبارت‌های احتمالاتی به دست می‌آیند. یکی از دشواری‌های منطق‌های احتمالاتی این است که آن‌ها میل دارند [[نظریه پیچیدگی محاسباتی|پیچیدگی م ...ه سعی می‌کنند یک بسط احتمالاتی از مفهوم [[پیامد منطقی]] بسازند، مثل [[شبکه منطق مارکوف]]، و آن‌هایی که سعی می‌کنند مسائلی با عدم قطعیت و نبود شواهد را هدف ...
  ۱۵ کیلوبایت (۳۴۹ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۰
• منطق انگارشی
  '''منطق انگارشی''' (Default Logic) گونه ای منطق غیر یکنواخت است که به [[صوری سازی]] استنتاج کردن با پیش فرض گرفتن انگاره‌ها عباراتی چون، به صورت پیش فرض چیزی درست است، به این نوع منطق اشاره دارد. برای نمونه «پرنده جانوری است که پرواز می‌کند» از این عباراتها ا ...
  ۴ کیلوبایت (۳۷ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۰
• ریسک(منطق)
  در [[دروازه منطقی|منطق دیجیتال]]،'''ریسک''' (hazard) به اثر نامطلوبی اطلاق میشود که ناشی از نقص در ...ترین روش برای حذف خطرات استاتیک، افزودن منطق اضافی (اصطلاحات اجماع در بیان منطق) است. ...
  ۱۳ کیلوبایت (۲۸۷ واژه) - ۲۵ فوریهٔ ۲۰۲۵، ساعت ۲۰:۵۰
• رزولوشن (منطق)
  ...ک فرمول مرتبه‌اول صادق نیست می‌تواند منجر به محاسبات بی‌پایان بشود؛ اما در منطق گزاره‌ای این مشکل وجود ندارد. ...ت «در موقع تقاضا» فراهم بود، این نمونه‌برداری فقط تا آنجا بود که [[تمامیت (منطق)|کامل‌بودن باطل‌سازی]] حفظ شود.<ref>{{cite journal|author=J.A. Robinson|dat ...
  ۱۲ کیلوبایت (۴۰۴ واژه) - ۲۵ اکتبر ۲۰۲۱، ساعت ۱۲:۳۶
• منطق محافظت‌شده
  ...نه]] از [[منطق پویا (منطق وجهی)|منطق پویای]] درگیر در گزینه‌ها است. در این منطق، نتایج محدود می‌باشد.<ref>{{Cite journal|date=2020-03-15|title=Guarded logi یک «گزینه منطق محافظت‌شده»، گزینه‌ای است که هر تغییری در صحت آن روی همهٔ تصمیم‌های پایین‌ت ...
  ۲ کیلوبایت (۱۳۷ واژه) - ۱۹ مارس ۲۰۲۰، ساعت ۱۳:۱۳
• منطق فازی
  ...Academic|location=Dordrecht|isbn=978-0-7923-8595-0|ref=harv}}</ref> اصطلاح منطق فازی اولین بار در پی تنظیم [[مجموعه‌های فازی|نظریهٔ مجموعه‌های فازی]] به وس ...انک]] پس از بررسی رایانه‌ای [[بیلان]] اقتصادی یک بازرگان می‌تواند فراتر از منطق «وام می‌دهیم» یا «وام نمی‌دهیم» رفته و بگوید: «وام می‌دهیم اگر…» یا «وام نم ...
  ۲۶ کیلوبایت (۴۰۶ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۳
• منطق سه‌ارزشی
  ...است. منطق سه ارزشی دارای حوزه‌های متفاوتی می‌باشد. از متداول‌ترین حوزه‌های منطق چند ارزشی لوکاسیه‌ویچ<ref>J. Łukasiewicz, “O logice trójwartościowej,” (in == منطق کلینی == ...
  ۳ کیلوبایت (۱۷۰ واژه) - ۲۷ ژانویهٔ ۲۰۱۷، ساعت ۰۱:۰۸

تطبیق متن مقاله

• قدرت (منطق ریاضی)
  ...ظریۀ مدل]] تعریف کرد. به‌طور خاص، یک منطق <math>\alpha</math> به اندازه یک منطق <math>\beta</math> قوی گفته می‌شود اگر هر [[کلاس ابتدایی]] در <math>\beta</ * منطق انتزاعی ...
  ۷۰۵ بایت (۱۸ واژه) - ۸ دسامبر ۲۰۲۲، ساعت ۱۶:۰۲
• دوشرطی منطقی
  ...سی|انگلیسی]]: Logical biconditional) یک [[عملگر منطقی]] است که دو [[گزاره (منطق)|گزاره]] را به هم وصل می‌کند تا نشان دهد، <math>p</math> ''[[اگر و فقط اگر] {{منطق}} ...
  ۹۶۷ بایت (۲۷ واژه) - ۱۲ فوریهٔ ۲۰۲۵، ساعت ۱۴:۵۳
• منطق موجهات کلاسیک
  ...وجهات]]، '''منطق موجهات کلاسیک''' {{به انگلیسی|Classical modal logic}}، هر منطق موجهاتی است که حاوی [[دوگان (ریاضیات)|دوگانگی]] [[عملگر وجهی|عملگرهای وجهی] ...ایگی دستگاه‌های موجهات کلاسیک آشنا را مشخص می‌کنند که ضعیف‌تر از ضعیف‌ترین منطق موجهات معمولی '''K''' هستند. ...
  ۲ کیلوبایت (۸۹ واژه) - ۱۴ ژانویهٔ ۲۰۲۳، ساعت ۰۹:۱۱
• اصل امتناع تناقض
  ...d-url=yes}}</ref> همچنین این اصل به‌شکل صوری می‌تواند به‌صورت [[همان‌گویی (منطق)|همان‌گوی]] <math>\mathord{\neg}(P\land\mathord{\neg}P)</math> نوشته شود. {{منطق کلاسیک}} ...
  ۱ کیلوبایت (۶۵ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۲۳
• وارون (منطق)
  '''وارون''' اصطلاحی در [[منطق]] است که به گزارهٔ [[عکس نقیض]]ِ [[عکس (منطق)|عکس]] یک گزارهٔ شرطی گفته می‌شود؛ بنابراین وارون گزارهٔ <math>P \rightarro همانگونه که یک گزارهٔ شرطی و [[عکس نقیض]] آن با هم معادلند، وارون و [[عکس (منطق)|عکس]] یک گزارهٔ شرطی نیز از نظر منطقی با هم معادلند. با این وجود وارون یک ...
  ۱ کیلوبایت (۵۶ واژه) - ۱۸ فوریهٔ ۲۰۱۷، ساعت ۱۲:۳۶
• سور (منطق)
  ...>P</math> را برآورده می‌سازد. فرمولی که در آن یک سور، گسترده‌ترین [[دامنه (منطق)|دامنه‌اش]] را می‌گیرد، یک '''فرمول کمی‌شده''' {{به انگلیسی|quantified form ...گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص می‌کنند. از نظر منطق‌دانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمر ...
  ۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
• بند (منطق)
  ...نطق]]، یک [[عبارت (ریاضیات)|عبارت]] است که از گردآوردی متناهی از [[لیترال (منطق ریاضی)|لیترال‌ها]] (یعنی اتم‌ها یا نقیض آن‌ها) ساخته شده‌است. یک بند موقعی {{منطق-خرد}} ...
  ۲ کیلوبایت (۳۷ واژه) - ۱۴ آوریل ۲۰۲۱، ساعت ۱۲:۲۴
• منطق سه‌ارزشی
  ...است. منطق سه ارزشی دارای حوزه‌های متفاوتی می‌باشد. از متداول‌ترین حوزه‌های منطق چند ارزشی لوکاسیه‌ویچ<ref>J. Łukasiewicz, “O logice trójwartościowej,” (in == منطق کلینی == ...
  ۳ کیلوبایت (۱۷۰ واژه) - ۲۷ ژانویهٔ ۲۰۱۷، ساعت ۰۱:۰۸
• همان‌گویی (منطق)
  ...ولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌ا در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...
  ۳ کیلوبایت (۱۰۴ واژه) - ۲۲ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۸
• اصل طرد شق ثالث
  {{منطق کلاسیک}} {{منطق ریاضی}} ...
  ۱ کیلوبایت (۴۴ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۲۹
• منطق محافظت‌شده
  ...نه]] از [[منطق پویا (منطق وجهی)|منطق پویای]] درگیر در گزینه‌ها است. در این منطق، نتایج محدود می‌باشد.<ref>{{Cite journal|date=2020-03-15|title=Guarded logi یک «گزینه منطق محافظت‌شده»، گزینه‌ای است که هر تغییری در صحت آن روی همهٔ تصمیم‌های پایین‌ت ...
  ۲ کیلوبایت (۱۳۷ واژه) - ۱۹ مارس ۲۰۲۰، ساعت ۱۳:۱۳
• صورت نرمال
  [[گزاره (منطق)|گزاره]] <math>A</math> را در''' صورت نرمال عطفی''' گوییم هرگاه به شکل |کتاب=منطق ریاضی ...
  ۱ کیلوبایت (۴۹ واژه) - ۴ مارس ۲۰۲۲، ساعت ۰۵:۱۴
• تعبیر (منطق ریاضی)
  تعبیر برای [[منطق گزاره‌ها]] تابعی مانند I از [[مجموعه پروپ]] به توی مجموعه ۱ و ۰ است که در ش |کتاب= منطق ریاضی ...
  ۹۴۲ بایت (۵۶ واژه) - ۲۰ اوت ۲۰۱۸، ساعت ۰۳:۱۰
• نقیض مضاعف
  ...ه]]، با خود آن گزاره یکسان دانسته می‌شود.<ref>{{یادکرد وب | عنوان=درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی | وبگاه=. | پیوند=h اصل نقیض مضاعف در [[منطق شهودی]] مورد پذیرش نیست.<ref>{{یادکرد وب | عنوان=formal logic :: Nonstandar ...
  ۲ کیلوبایت (۹۰ واژه) - ۱۰ دسامبر ۲۰۲۲، ساعت ۱۱:۵۴
• فصل منطقی
  ...preserving=بلی|1-preserving=بلی|monotone=بلی|affine=خیر|self-dual=no}}در [[منطق]] و [[ریاضیات]]، '''فصل منطقی''' {{به انگلیسی|Logical disjunction}} یا همان [[رده:منطق]] ...
  ۲ کیلوبایت (۸۵ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۳۵
• قانون هویت
  '''قانون هویت''' {{به انگلیسی|Law of identity}} رابطۀ [[منطق]]ی بین دو شیء متحد است. این هویت را در [[منطق صوری]] با [[علامت]] تساوی (<math>=</math>) نشان می‌دهند. مثال: ب <math>=</m ...
  ۲ کیلوبایت (۴۱ واژه) - ۲ ژانویهٔ ۲۰۲۴، ساعت ۰۷:۰۵
• عبارت زمینه
  در [[منطق ریاضیاتی]]، یک '''جمله زمینه''' {{به انگلیسی|ground term}} در یک [[سیستم صو * در منطق مرتبه اول، جملهٔ <math>\forall x (x=x)</math> ی یک فرمول زمینه است.<ref nam ...
  ۲ کیلوبایت (۹۰ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۵
• نفی تالی
  ...llendo tollens}} (که معمولاً Modus tollens خوانده می‌شود)، یکی از اَشکال [[منطق صوری|استدلال صوری]] است. {{منطق کلاسیک}} ...
  ۲ کیلوبایت (۶۸ واژه) - ۲۱ سپتامبر ۲۰۲۳، ساعت ۲۱:۴۶
• قانون پیرس
  ...ی شده‌است. در اولین [[اصل موضوع (منطق)|اصول موضوعۀ]] او از [[حساب گزاره‌ای|منطق گزاره‌ای]] به عنوان اصل تلقی شد. می‌توان آن را به عنوان [[اصل طرد شق ثالث]] قانون پیرس در [[منطق شهودی]] یا [[منطق ابرشهودگرایی|منطق‌های ابرشهودگرایی]] وجود ندارد و نمی‌توان آن را به تنهایی از [[قضیه استنتاج| ...
  ۳ کیلوبایت (۵۹ واژه) - ۷ ژانویهٔ ۲۰۲۳، ساعت ۱۰:۵۱
• ترکیب روابط
  ...جدید {{nowrap|''S'' ∘ ''R''}} از دو رابطهٔ R و S است. ترکیب دو رابطه در [[منطق جبری]] '''ضرب نسبی''' نامیده می‌شود؛ بنابراین ترکیب برابر '''حاصلضرب نسبی'' ...}} استفاده می‌شود: برای اینکه عنصری عمو باشد باید برادر یک والد باشد. در [[منطق جبری]] گفته می‌شود که رابطهٔ «عمویی» xUz ترکیب دو رابطهٔ «برادری» xBy و «وا ...
  ۱ کیلوبایت (۴۰ واژه) - ۲۴ اکتبر ۲۰۲۱، ساعت ۲۲:۱۳