نتایج جستجو
پرش به ناوبری
پرش به جستجو
- ...نطق]]، یک [[عبارت (ریاضیات)|عبارت]] است که از گردآوردی متناهی از [[لیترال (منطق ریاضی)|لیترالها]] (یعنی اتمها یا نقیض آنها) ساخته شدهاست. یک بند موقعی {{منطق-خرد}} ...۲ کیلوبایت (۳۷ واژه) - ۱۴ آوریل ۲۰۲۱، ساعت ۱۲:۲۴
- ...>P</math> را برآورده میسازد. فرمولی که در آن یک سور، گستردهترین [[دامنه (منطق)|دامنهاش]] را میگیرد، یک '''فرمول کمیشده''' {{به انگلیسی|quantified form ...گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص میکنند. از نظر منطقدانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمر ...۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
- ...ophische Studien'' '''82'''(1), pp. 77–90.</ref>) در [[منطق مرتبه اول|منطق محمولات]]، برای یک گزاره منطقی یک [[فرمولهای خوش فرم|فرمول خوش-فرم]] با [[جبر بولی جملههای فاقد هرگونه [[رابطهای منطقی|رابط منطقی]] یا [[سور (منطق)|سور]]، [[جمله اتمی]] نامیده میشوند؛ که در مقایسه با [[فرمول اتمی]] است. س ...۵ کیلوبایت (۵۹ واژه) - ۷ آوریل ۲۰۲۳، ساعت ۱۸:۰۲
- ...مچنین بسته به زمینه بحث، با معانی مختلفی بکار میرود، که اغلب به [[اعتبار (منطق)|اعتبار]] معناشناختی ارجاع میدهد. شهوداً، یک سیستم را در این حالت خاص کامل خاصیت وارون تمامیت، [[صحت]] یا [[سازگاری (منطق ریاضی)|سازگاری]] نام دارد: یک سیستم نسبت به یک خاصیت (عمدتاً اعتبار معناشنا ...۵ کیلوبایت (۸۰ واژه) - ۷ اوت ۲۰۲۴، ساعت ۰۹:۵۲
- ...وتاهی از جملههایی بلند (یا کوتاه) تصور کرد.<ref>درآمدی نو به منطق نمادین: منطق محمولها، ص 43.</ref> ...شخص کرد و تعبیری یافت که با فرض صدق مقدمات، نتیجه کاذب باشد.<ref>درآمدی به منطق جدید، ص 105.</ref>. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نت ...۱۱ کیلوبایت (۶۶۰ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۳۷
- ...وعه]] دلخواه یک گزاره تولید میشود. گزارهنما تقریباً معادل [[محمول]] در [[منطق کلاسیک]] است [[رده:مفهومها در منطق]] ...۴ کیلوبایت (۵۵ واژه) - ۴ سپتامبر ۲۰۲۴، ساعت ۱۸:۴۰
- ...، [[رابطه دسترسی پذیری|جهانهای دسترس پذیر]] هستند. [[رابطهای منطقی]] از [[منطق گزارهها]]، دست نخورده باقی مانده و عملگرهای وجهی، بسته به [[معناشناسی کریپ ...اشاره میکند، اما ممکن است بیش از یک رابطه دسترس پذیری وجود داشته باشد ([[منطق چندوجهی]]) که در آن صورت، زیرنویس بکار میرود. برای نمونه،<math>\Box_a</mat ...۶ کیلوبایت (۲۷۶ واژه) - ۲۷ مارس ۲۰۲۰، ساعت ۰۲:۳۳
- ...[[ریاضیات]] و دیگر رشتههای درگیر در [[زبان صوری|زبانهای صوری]]، مانند [[منطق ریاضیاتی]] و [[علوم رایانه]]، نمادی است که مشخص کننده محلهایی در یک [[عبار {{منطق-خرد}} ...۵ کیلوبایت (۸۶ واژه) - ۲۷ مارس ۲۰۲۳، ساعت ۰۴:۲۲
- ...با منطق درجه اول، مسالههای استنتاج اصلی برای DL ها معمولاً [[تصمیمپذیری (منطق)|تصمیمپذیر]] هستند، و برای این مسائل، رویههای تصمیم مؤثر طراحی و پیادهسا == انواع منطق توصیف == ...۱۰ کیلوبایت (۵۰۲ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
- ...ب دیفرانسیل]] و [[انتگرال]] همچنین بهعنوان [[حساب گزارهای|حساب گزارهای (منطق گزارهای)]] شناخته شدهاست. == قوانین کلاسیک [[حساب محمولات|گزاره حساب دیفرانسیل و انتگرال]] == ...۱۷ کیلوبایت (۱٬۲۸۴ واژه) - ۶ ژوئیهٔ ۲۰۲۳، ساعت ۱۰:۵۲
- == در منطق و محاسبات پیچیده == این بستارهای تعدی باینری رابطه بهطور کلی نمیتواند بیان شود در مرتبه اول منطق(FO). ...۱۶ کیلوبایت (۷۷۳ واژه) - ۱۶ ژوئن ۲۰۲۴، ساعت ۱۶:۳۳
- ...resent and Future", by A. N. Prior, Oxford Univ.</ref> موجهات دیانتیک یا [[منطق موجهات فقهی]] (بهطور خاص، «واجب است که <math>p</math>» و «مجاز است که <mat ...د» و «این امکان هست که امروز باران بیاید» هر دو حاوی مفهوم امکان هستند. در منطق موجهات این مسئله به عنوان یک عملگر، یعنی «امکاناً»، به جملهٔ «امروز باران خ ...۳۱ کیلوبایت (۱٬۵۵۳ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۵
- ...اقتصاد]]، [[دیپلماسی]]، [[تاریخ]]، [[سیاست]]، [[تئوری موسیقی]]، [[شعر]]، [[منطق]]، [[تئودیسه]]، [[زبان همگانی]]، [[:en:universal science]] ...۱۰۲۴ ه.ش)|۲۱ ژوئن}} – ۱۴ نوامبر ۱۷۱۶ م(۲۳ آبان ۱۰۹۵ ه.ش.))، [[فیلسوف]]، [[منطقدان]]، [[ریاضیدان]]، [[فیزیکدان]]، [[حقوقدان]]، [[تاریخدان]] و [[دیپلما ...۳۵ کیلوبایت (۴۰۰ واژه) - ۶ مارس ۲۰۲۵، ساعت ۰۹:۵۹