نتایج جستجو

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

• منطق موجهات کلاسیک
  ...وجهات]]، '''منطق موجهات کلاسیک''' {{به انگلیسی|Classical modal logic}}، هر منطق موجهاتی است که حاوی [[دوگان (ریاضیات)|دوگانگی]] [[عملگر وجهی|عملگرهای وجهی] ...دیگر، می‌توان تعریف دوگانه‌ای از '''L''' ارائه داد که به موجب آن، '''L''' کلاسیک است [[اگر و تنها اگر]] شامل (به عنوان بدیهیات یا قضیه) باشد. ...
  ۲ کیلوبایت (۸۹ واژه) - ۱۴ ژانویهٔ ۲۰۲۳، ساعت ۰۹:۱۱

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

• منطق موجهات کلاسیک
  ...وجهات]]، '''منطق موجهات کلاسیک''' {{به انگلیسی|Classical modal logic}}، هر منطق موجهاتی است که حاوی [[دوگان (ریاضیات)|دوگانگی]] [[عملگر وجهی|عملگرهای وجهی] ...دیگر، می‌توان تعریف دوگانه‌ای از '''L''' ارائه داد که به موجب آن، '''L''' کلاسیک است [[اگر و تنها اگر]] شامل (به عنوان بدیهیات یا قضیه) باشد. ...
  ۲ کیلوبایت (۸۹ واژه) - ۱۴ ژانویهٔ ۲۰۲۳، ساعت ۰۹:۱۱
• اصل امتناع تناقض
  ...d-url=yes}}</ref> همچنین این اصل به‌شکل صوری می‌تواند به‌صورت [[همان‌گویی (منطق)|همان‌گوی]] <math>\mathord{\neg}(P\land\mathord{\neg}P)</math> نوشته شود. {{منطق کلاسیک}} ...
  ۱ کیلوبایت (۶۵ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۲۳
• اصل طرد شق ثالث
  {{منطق کلاسیک}} {{منطق ریاضی}} ...
  ۱ کیلوبایت (۴۴ واژه) - ۷ ژوئن ۲۰۲۴، ساعت ۱۹:۲۹
• نفی تالی
  ...llendo tollens}} (که معمولاً Modus tollens خوانده می‌شود)، یکی از اَشکال [[منطق صوری|استدلال صوری]] است. {{منطق کلاسیک}} ...
  ۲ کیلوبایت (۶۸ واژه) - ۲۱ سپتامبر ۲۰۲۳، ساعت ۲۱:۴۶
• نقیض مضاعف
  ...ه]]، با خود آن گزاره یکسان دانسته می‌شود.<ref>{{یادکرد وب | عنوان=درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی | وبگاه=. | پیوند=h اصل نقیض مضاعف در [[منطق شهودی]] مورد پذیرش نیست.<ref>{{یادکرد وب | عنوان=formal logic :: Nonstandar ...
  ۲ کیلوبایت (۹۰ واژه) - ۱۰ دسامبر ۲۰۲۲، ساعت ۱۱:۵۴
• منطق فراسازگار
  ...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آن بیرون ...
  ۴ کیلوبایت (۹۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۴
• سور (منطق)
  ...>P</math> را برآورده می‌سازد. فرمولی که در آن یک سور، گسترده‌ترین [[دامنه (منطق)|دامنه‌اش]] را می‌گیرد، یک '''فرمول کمی‌شده''' {{به انگلیسی|quantified form ...گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص می‌کنند. از نظر منطق‌دانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمر ...
  ۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
• همان‌گویی (منطق)
  ...ولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌ا در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...
  ۳ کیلوبایت (۱۰۴ واژه) - ۲۲ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۸
• وضع مقدم
  ...}} (که معمولاً Modus ponens خوانده می‌شود)، یکی از ساده‌ترین اشکال [[قیاس (منطق)|قیاس]] در [[حساب گزاره‌ای]] است. ...q \right ) \land p \right ) \Rightarrow q </math><ref>{{پک|لین|لین|۱۳۸۲|ف=منطق مقدماتی|ک=نظریهٔ مجموعه‌ها و کاربردهای آن|ص=۱۸}}</ref> ...
  ۳ کیلوبایت (۲۱۸ واژه) - ۶ آوریل ۲۰۲۴، ساعت ۱۷:۴۶
• اصل دو ظرفیتی
  ...1|publisher=Wiley-Blackwell|isbn=978-0-631-20693-4|page=4}}</ref>''' یا '''منطق دو ظرفیتی''' نامیده می‌شود.<ref name="Tomassi19992" /><ref name="Hürlimann2 در [[منطق صوری]]، اصل دو ظرفیتی به خاصیتی تبدیل می‌شود که یک [[معناشناسی منطقی]] ممکن ...
  ۵ کیلوبایت (۳۰۱ واژه) - ۹ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۲۴
• شرطی اکید
  ...Clarence Irving Lewis|کلارنس ایروینگ لوئیس]] برای پیدا کردن یک شرطی برای [[منطق]] است که می‌تواند به اندازه کافی بیانگر [[شرطی اخباری]] در [[زبان طبیعی]] ب * [[شرطی مادی (منطق)|شرطی مادی]] ...
  ۳ کیلوبایت (۲۰۴ واژه) - ۱۸ مارس ۲۰۲۲، ساعت ۰۸:۳۰
• تابع عضویت
  ...تعمیم یافته [[تابع مشخصه]] در [[مجموعه (ریاضی)|مجموعه‌های کلاسیک]] است. در منطق فازی این تابع نشان دهندۀ درجۀ حقیقت به عنوان بسطی از ارزیابی است. درجۀ حقیق * [[منطق فازی]] ...
  ۴ کیلوبایت (۱۱۰ واژه) - ۷ دسامبر ۲۰۲۱، ساعت ۱۷:۵۴
• ضدپیامد مادی
  ...tion}} [[نقیض]] [[شرطی مادی|پیامد مادی]] می‌باشد. یعنی برای هر دو [[گزاره (منطق)|گزاره]] <math>P</math> و <math>Q</math>، ضدپیامد مادی از <math>P</math> به در [[منطق کلاسیک]]، هم‌ارز نقیض [[فصل منطقی]] <math>\neg P</math> و <math>Q</math> است و بنا ...
  ۴ کیلوبایت (۳۲۸ واژه) - ۲۰ مارس ۲۰۲۰، ساعت ۲۱:۰۴
• گزاره‌نما
  ...دلخواه یک گزاره تولید می‌شود. گزاره‌نما تقریباً معادل [[محمول]] در [[منطق کلاسیک]] است [[رده:مفهوم‌ها در منطق]] ...
  ۴ کیلوبایت (۵۵ واژه) - ۴ سپتامبر ۲۰۲۴، ساعت ۱۸:۴۰
• پارادوکس استلزام مادی
  ...lication) در منطق [[قضیه|قضیه‌ای]] است که موجباتِ بحث‌های فراوان و پیدایشِ منطق‌های جدید را فراهم آورده است. ...ا با فلش (<math>P \to Q</math>) نمایش می‌دهند «استلزامِ مادی» نام دارد. در منطق‌هایِ دیگر انواعِ دیگری از استلزام وجود دارد. ...
  ۸ کیلوبایت (۱۳۴ واژه) - ۱۱ دسامبر ۲۰۲۲، ساعت ۰۷:۲۶
• منطق آزاد
  ...نند که [[دامنه خالی|دامنه تهی]] دارند. یک منطق آزاد با خاصیت اخیر را یک '''منطق فراگیر''' گویند. ...ارد که به وضوح فرض می‌کنند چیزی در [[دامنه سخن]] موجود است. قضیه‌های معتبر کلاسیک زیر را در نظر بگیرید. ...
  ۸ کیلوبایت (۲۶۵ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۳۹
• اورت ویلم بث
  ...رت ویلم بث''' (۷ ژوئیه 1908 &#x2013; ۱۲ آوریل ۱۹۶۴) یک [[فیلسوف]] و [[منطق|منطق دان]] هلندی بود که اساساً کارش به [[بنیان‌های ریاضیات|مبانی ریاضیات مربوط]] ...انی ریاضیات بود و در این مدت به‌طور فعال به همکاری‌های بین‌المللی در ایجاد منطق به عنوان یک رشته دانشگاهی کمک کرد. ...
  ۸ کیلوبایت (۱۳۹ واژه) - ۹ ژوئیهٔ ۲۰۲۴، ساعت ۰۶:۵۱
• خاصیت توزیع‌پذیری
  ...بت به '''یا''' (∨) توزیع‌پذیر است و برعکس. اگر فرض کنیم P و Q و R [[گزاره (منطق)|گزاره]] هستند، آنگاه {{منطق کلاسیک}} ...
  ۴ کیلوبایت (۲۵۷ واژه) - ۹ ژوئن ۲۰۲۲، ساعت ۱۵:۱۶
• خاصیت شرکت‌پذیری
  ...هد. در [[منطق گزاره‌ای]]، '''شرکت‌پذیری''' یک [[قاعده جایگزینی]] [[اعتبار (منطق)|معتبر]] برای [[فرمول خوش فرم|عبارات]] در [[اثبات صوری|اثبات منطقی]] است. {{منطق کلاسیک}} ...
  ۴ کیلوبایت (۱۱۸ واژه) - ۳ ژانویهٔ ۲۰۲۴، ساعت ۱۱:۵۷
• قانون کلیویس
  ...اما می‌تواند یک گزاره را فقط با استفاده از [[نقیض]] خود و مفهوم [[سازگاری (منطق ریاضی)|سازگاری]] اثبات کند. برای صورت‌بندی دقیق‌تر، بیان می‌کند که اگر گزار ...
  ۳ کیلوبایت (۱۰۳ واژه) - ۲۸ فوریهٔ ۲۰۲۳، ساعت ۲۱:۴۵