نتایج جستجو

...ولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌ا در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...

'''قضیۀ استنتاج''' {{به انگلیسی|Deduction theorem}} یک متاتئوری در [[منطق مرتبه اول]] است.<ref>Deduction theorem. (2010, September 27). In Wikipedia, ::اگر <math>\Gamma \cup \{A\}</math> مجموعه‌ای از گزاره‌ها باشد، <math>\Gamma \cup \{A\} \vdash B </math> اگر و فقط اگر <math>\Gamma \ ...

تعبیر برای [[منطق گزاره‌ها]] تابعی مانند I از [[مجموعه پروپ]] به توی مجموعه ۱ و ۰ است که در شرایط ذیل |کتاب= منطق ریاضی ...

[[گزاره (منطق)|گزاره]] <math>A</math> را در''' صورت نرمال عطفی''' گوییم هرگاه به شکل هر دو قضیه فوق با استقرا روی گزاره‌ها ثابت می‌شود. ...

...قرا''' از قضایای مشهور در زمینه منطق ریاضیات است که تعریف مفاهیم جدید برای گزاره‌ها به وسیله بازگشت، با این قضیه مجاز می‌شود. |کتاب=منطق ریاضی ...

در [[حساب گزاره‌ها|منطق گزاره‌ای]]، سمبل <math>\exists \;</math> '''سور وجودی''' نام گرفته و آن را مثال: در نظر بگیرید می‌خواهیم [[گزاره (منطق)|گزاره‌ای]] بنویسیم که تنها در صورتی درست است که در [[مجموعه (ریاضی)|مجموعه ...

...hilosophische Studien'' '''82'''(1), pp. 77–90.</ref>) در [[منطق مرتبه اول|منطق محمولات]]، برای یک گزاره منطقی یک [[فرمول‌های خوش فرم|فرمول خوش-فرم]] با [[ جمله‌های فاقد هرگونه [[رابط‌های منطقی|رابط منطقی]] یا [[سور (منطق)|سور]]، [[جمله اتمی]] نامیده می‌شوند؛ که در مقایسه با [[فرمول اتمی]] است. س ...

...lication) در منطق [[قضیه|قضیه‌ای]] است که موجباتِ بحث‌های فراوان و پیدایشِ منطق‌های جدید را فراهم آورده است. ...ا با فلش (<math>P \to Q</math>) نمایش می‌دهند «استلزامِ مادی» نام دارد. در منطق‌هایِ دیگر انواعِ دیگری از استلزام وجود دارد. ...

...ف دوطرف [[تضاد]]، هیچ امکانی برای شق ثالث باقی نمی‌گذارند.<ref name="d">دو منطق – اثر امیرحسین آریان پور – نشر احیا - 1357</ref> == هم‌ستیزی در منطق == ...

...نطق پویا''' {{به انگلیسی|Dynamic logic}} نوعی گسترش [[منطق وجهی]] است. این منطق در اساس برای استنتاج دربارهٔ برنامه‌های رایانه‌ای ساخته شد ولی بعدها به رفت ...angle </math> گسترش داده‌است، در نتیجه منطق پویا یک [[:en:Multimodal_logic|منطق چند-وجهی]] است. معنی <math>[a]p</math> آن است که «بعد از انجام عمل <math> { ...

...ابطه دسترسی پذیری|جهانهای دسترس پذیر]] هستند. [[رابط‌های منطقی]] از [[منطق گزاره‌ها]]، دست نخورده باقی مانده و عملگرهای وجهی، بسته به [[معناشناسی کریپکی|معناشن ...اشاره می‌کند، اما ممکن است بیش از یک رابطه دسترس پذیری وجود داشته باشد ([[منطق چندوجهی]]) که در آن صورت، زیرنویس بکار می‌رود. برای نمونه،<math>\Box_a</mat ...

...وتاهی از جمله‌هایی بلند (یا کوتاه) تصور کرد.<ref>درآمدی نو به منطق نمادین: منطق محمول‌ها، ص 43.</ref> ...شخص کرد و تعبیری یافت که با فرض صدق مقدمات، نتیجه کاذب باشد.<ref>درآمدی به منطق جدید، ص 105.</ref>. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نت ...

...[[ریاضیات]] و دیگر رشته‌های درگیر در [[زبان صوری|زبان‌های صوری]]، مانند [[منطق ریاضیاتی]] و [[علوم رایانه]]، نمادی است که مشخص کننده محل‌هایی در یک [[عبار در هیچ‌کدام از این گزاره‌ها به صورت محلی مهم نیست که آیا x یا حرف دیگری استفاده شده باشد. با این حال، د ...

'''گزاره''' {{به انگلیسی|Proposition}}؛ در دانش [[منطق]]، [[قضیه]] یا جمله‌ای است [[جمله خبری|خبری]] که می‌تواند درست یا نادرست با ...دادن، حمل می‌گویند و به همین دلیل به این گزاره‌ها حملی می‌گویند؛ مثلاً این گزاره‌ها، حملی هستند: «من معلمم را دوست دارم»، «ما انسان‌هایی آزادی‌خواه هستیم». ...

در [[ریاضیات]] و به خصوص در [[منطق ریاضی]]، '''جبر بولی''' {{به انگلیسی|Boolean algebra}} زیر مجموعه‌ای از [[ج ...ئوری اصلی را شامل می‌شد. آن مانند یک زبان ریاضی مطرح شده بود که سوالاتی از منطق سروکار داشت. چیزی که امروزه در طراحی دستگاه‌های دیجیتال مدرن نیاز است و به ...

...منطق) گویند به‌طوری‌که جمله تشکیل شده از تفکیک یا [[فصل منطقی]] [[لیترال (منطق ریاضی)|لیترال]]‌ها باشد. (لیترال:یک متغیر بولی یا مکمل آن می‌باشد) از سوی د * به بیان دیگر: در [[منطق بولی]]، یک '''فرم نرمال عطفی''' [[CNF]] یک استاندارد (یا نرمال شده) از یک ف ...

* متشکل از علامت‌های استاندارد منطق گزاره‌ها [[رده:فرم‌های نرمال (منطق)]] ...

...' {{به انگلیسی|Truth table}} به جدولی گفته می‌شود که در آن درستی و نادرستی گزاره‌ها درج گردد. منظور از درستی یا صدق در هر گزاره، مطابقت آن با واقع؛ و منظور از {{منطق}} ...

...وری‌ها، گزاره‌هایی که به‌صورت کلی و عام پذیرفته شده‌اند، مثل «[[اصل موضوع (منطق)|اصل موضوع]]»، اثبات شده‌است. اثبات قضیهٔ ریاضی، استدلالی منطقی برای گزارهٔ ...‌است. فرضیه ریمن برای ۱۰ تریلیون صفر تابع زتا تأیید شده‌است. هیچ‌یک از این گزاره‌ها اثبات شده به حساب نمی‌آیند.{{مدرک}} ...

...گزاره‌ها فقط گزاره‌های خبری‌ست. در [[منطق کلاسیک]] یا ''منطق دو ارزشی''، گزاره‌ها دارای دو ارزش درست یا نادرست هستند. ...ره'' و ''جمله'' و اینکه گزاره، فقط به جملهٔ خبری گفته می‌شود، عبارت ''منطق گزاره‌ها'' صحیح‌تر است. ...