نتایج جستجو
پرش به ناوبری
پرش به جستجو
- == گزارهها == ...۲ کیلوبایت (۴۵ واژه) - ۲۶ ژوئن ۲۰۲۳، ساعت ۲۲:۴۸
- ::اگر <math>\Gamma \cup \{A\}</math> مجموعهای از گزارهها باشد، <math>\Gamma \cup \{A\} \vdash B </math> اگر و فقط اگر <math>\Gamma \ به بیان دیگر اگر <math>\Gamma</math> مجموعهای از گزارهها باشد و <math>A</math> و <math>B</math> دو گزاره باشند، آنگاه اگر <math>\Gam ...۲ کیلوبایت (۱۱۰ واژه) - ۲ ژانویهٔ ۲۰۲۳، ساعت ۰۷:۳۲
- ...utology؛ توتولوژی) [[منطق گزارهای|گزارهای]] است که با هر تعبیر برای منطق گزارهها (یا تابع ارزشگذاری) همواره صادق است. اولینبار در سال [[۱۹۲۱ (میلادی)|۱۹۲۱ [[رده:گزارهها (منطق)]] ...۳ کیلوبایت (۱۰۴ واژه) - ۲۲ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۸
- تعبیر برای [[منطق گزارهها]] تابعی مانند I از [[مجموعه پروپ]] به توی مجموعه ۱ و ۰ است که در شرایط ذیل ...۹۴۲ بایت (۵۶ واژه) - ۲۰ اوت ۲۰۱۸، ساعت ۰۳:۱۰
- هر دو قضیه فوق با استقرا روی گزارهها ثابت میشود. ...۱ کیلوبایت (۴۹ واژه) - ۴ مارس ۲۰۲۲، ساعت ۰۵:۱۴
- ...قرا''' از قضایای مشهور در زمینه منطق ریاضیات است که تعریف مفاهیم جدید برای گزارهها به وسیله بازگشت، با این قضیه مجاز میشود. ...۱ کیلوبایت (۹۳ واژه) - ۱۴ مهٔ ۲۰۱۹، ساعت ۰۶:۱۳
- در [[حساب گزارهها|منطق گزارهای]]، سمبل <math>\exists \;</math> '''سور وجودی''' نام گرفته و آ ...۲ کیلوبایت (۳۹ واژه) - ۱۹ ژانویهٔ ۲۰۲۴، ساعت ۲۲:۴۴
- ...ا به مجموعِ سه گزارهٔ بالا) پارادکس استلزامِ مادی گفته میشود. در واقع این گزارهها با خودشان و با نظامِ منطقِ کلاسیک هیچ تناقضی ندارند، اما با شهودِ ما از زبا ...بطی در یک ترکیبِ شرطی قرار گیرند. برایِ حلِ آن باید این قید را قرار داد که گزارهها به یکدیگر مربوط باشند. ...۸ کیلوبایت (۱۳۴ واژه) - ۱۱ دسامبر ۲۰۲۲، ساعت ۰۷:۲۶
- ...دادن، حمل میگویند و به همین دلیل به این گزارهها حملی میگویند؛ مثلاً این گزارهها، حملی هستند: «من معلمم را دوست دارم»، «ما انسانهایی آزادیخواه هستیم». ...و «سینفر بودن» را نمیتوان به یکی از اعضای کلاس نسبت داد. پس در این قبیل گزارهها، محمول وصف فردی نیست بلکه وصف جمعی است که جمع را به منزله شخص واحدی تلقی می ...۱۸ کیلوبایت (۷۲ واژه) - ۸ ژانویهٔ ۲۰۲۴، ساعت ۰۳:۵۹
- در هیچکدام از این گزارهها به صورت محلی مهم نیست که آیا x یا حرف دیگری استفاده شده باشد. با این حال، د ...۵ کیلوبایت (۸۶ واژه) - ۲۷ مارس ۲۰۲۳، ساعت ۰۴:۲۲
- از آنجا که ضد وابستگی شکسته شد، میتوان ادعا کرد که ضد وابستگی بین گزارهها وجود ندارد. ...۵ کیلوبایت (۳۱۸ واژه) - ۲۴ مارس ۲۰۲۲، ساعت ۲۳:۳۹
- [[رده:گزارهها (منطق)]] ...۵ کیلوبایت (۵۹ واژه) - ۷ آوریل ۲۰۲۳، ساعت ۱۸:۰۲
- [[رده:گزارهها (منطق)]] ...۶ کیلوبایت (۲۳ واژه) - ۱۵ نوامبر ۲۰۲۴، ساعت ۱۸:۴۹
- ...ابطه دسترسی پذیری|جهانهای دسترس پذیر]] هستند. [[رابطهای منطقی]] از [[منطق گزارهها]]، دست نخورده باقی مانده و عملگرهای وجهی، بسته به [[معناشناسی کریپکی|معناشن ...۶ کیلوبایت (۲۷۶ واژه) - ۲۷ مارس ۲۰۲۰، ساعت ۰۲:۳۳
- == گزارهها == از نظر حساب گزاره ای، گزارهها (قولها، جملهها، مصدقات) ساده یا مرکب در نظر گرفته میشوند. گزارههای مرکب ...۳۳ کیلوبایت (۱٬۴۱۳ واژه) - ۴ نوامبر ۲۰۲۳، ساعت ۰۶:۴۷
- * اصل A2 میگوید که '''NOP''' به صورت [[تابع همانی]] روی گزارهها عمل میکند، یعنی این عملگر <math> p </math> را به خودش تبدیل میکند. ...۸ کیلوبایت (۴۲۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
- ...است. فرضیه ریمن برای ۱۰ تریلیون صفر تابع زتا تأیید شدهاست. هیچیک از این گزارهها اثبات شده به حساب نمیآیند.{{مدرک}} ...روه. چندین قضیه در علوم به ویژه فیزیک و در مهندسی وجود دارد اما آنها اغلب گزارهها و اثباتهایی دارند که در فرضیات فیزیکی و شهود نقش مهمی ایفا میکند؛ قاعده ک ...۲۸ کیلوبایت (۱۱۹ واژه) - ۱۲ مهٔ ۲۰۲۴، ساعت ۱۱:۰۱
- ...تحقیقی در قوانین اندیشه'' گرفته شده (۱۸۵۴) که سعی در برخورد جبری به [[منطق گزارهها]] داشت. کتاب اول بول ''آنالیز ریاضی منطق'' تئوری اصلی را شامل میشد. آن مان ...۸ کیلوبایت (۲۷۷ واژه) - ۱۲ فوریهٔ ۲۰۲۵، ساعت ۱۳:۲۰
- ...گزارهها فقط گزارههای خبریست. در [[منطق کلاسیک]] یا ''منطق دو ارزشی''، گزارهها دارای دو ارزش درست یا نادرست هستند. ...ره'' و ''جمله'' و اینکه گزاره، فقط به جملهٔ خبری گفته میشود، عبارت ''منطق گزارهها'' صحیحتر است. ...۵۳ کیلوبایت (۲٬۳۷۵ واژه) - ۱۵ نوامبر ۲۰۲۴، ساعت ۱۵:۲۶
- * اثبات قضایا دربارهٔ همه گزارهها ...۸ کیلوبایت (۴۱۲ واژه) - ۲۹ اوت ۲۰۲۳، ساعت ۲۳:۴۰