نتایج جستجو

...به اطلاعات حکم ریاضیاتی|name=معرفی فصل|type=[[قاعده استنتاج]]|field=[[حساب گزاره‌ای]]|statement=اگر <math>P</math> درست باشد، آنگاه حداقل یکی از <math>P</math> ...گلیسی|Disjunction introduction}} یک [[قاعده استنتاج|قاعدۀ استنتاج]] [[حساب گزاره‌ای]] و تقریباً هر [[دستگاه صوری]] دیگری است. این قاعده این امکان را فراهم می‌ک ...

...r}} حکم می‌کند که برای هر گزاره، یا خود گزاره صحیح است یا نقیض آن. این اصل در کنار [[اصل امتناع تناقض]] و [[قانون هویت|اصل هویت]] یکی از [[:en:Law_of_tho [[رده:قضیه‌ها در حساب گزاره‌ای]] ...

{{جعبه اطلاعات حکم ریاضیاتی|name=حذف عطف|type=[[قاعده استنتاج]]|field=[[حساب گزاره‌ای]]|statement=اگر ترکیب عطفی <math>A</math> و <math>B</math> درست باشد، آنگاه در [[حساب گزاره‌ای]]، '''حذف عطف''' {{به انگلیسی|Conjunction elimination}}<ref>{{cite book|aut ...

...زاره‌ای]] به عنوان اصل تلقی شد. می‌توان آن را به عنوان [[اصل طرد شق ثالث]] در نظر گرفت که به شکلی نوشته شده‌است که فقط شامل یک نوع [[رابط منطقی|رابط]]، ی در [[حساب گزاره‌ای]]، '''قانون پیرس''' می‌گوید که: ...

'''نقیض مضاعف''' {{به انگلیسی|Double negation}} [[قضیه|قضیه‌ای]] در [[منطق گزاره‌ای]] است که مطابق آن، [[نقیض|نقیضِ]] نقیضِ یک [[گزارهٔ منطقی|گزاره]]، با خود آ اصل نقیض مضاعف در [[منطق شهودی]] مورد پذیرش نیست.<ref>{{یادکرد وب | عنوان=formal logic :: Non ...

در [[منطق]]، '''اصل امتناع تناقض''' یا '''اصل عدم تناقض''' {{به انگلیسی|Law of [[رده:قضیه‌ها در حساب گزاره‌ای]] ...

[[رده:قضیه‌ها در حساب گزاره‌ای]] ...

...nens خوانده می‌شود)، یکی از ساده‌ترین اشکال [[قیاس (منطق)|قیاس]] در [[حساب گزاره‌ای]] است. [[رده:قضیه‌ها در حساب گزاره‌ای]] ...

'''قضیه اجماع''' {{به انگلیسی|consensus theorem}} در [[جبر بول]]، ساده‌سازی عبارت زیر است: [[رده:قضیه‌ها در حساب گزاره‌ای]] ...

در [[منطق کلاسیک]]، '''قاعدهٔ نفی تالی''' {{به لاتین|Modus tollendo tollens}} :در نتیجه غیر <math>P</math>. ...

...نطق ریاضی)|سازگاری]] اثبات کند. برای صورت‌بندی دقیق‌تر، بیان می‌کند که اگر گزاره‌ای نتیجهٔ نقیضش باشد، آنگاه درست است. به‌صورت صوری: ...باید فلسفه‌ورزی کنیم، پس باید فلسفه‌ورزی کنیم؛ یعنی برای توجیه این دیدگاه؛ در هر صورت، باید فلسفه‌ورزی کنیم.»<ref name="Kneale1957">{{Cite journal|last=K ...

'''عکس نقیض''' (contraposition)، اصطلاحی در [[منطق]] است و به گزارهٔ حاصل از تعویض جای [[مقدم (منطق)|مقدم]] و [[تالی|تا در منطق کلاسیک، عکس نقیض، عکس دوم [[قضیه]] است که صدق قضیه، دلیل بر صدق آن می‌ ...

...e:Demorganlaws.svg|thumb|قوانین دمورگان که با [[نمودار ون]] نشان داده‌شده. در هر مورد، مجموعهٔ حاصل با رنگ آبی مشخص شده‌است.]] در [[حساب گزاره‌ای]] و [[جبر بولی]]، '''قوانین دمورگان''' {{انگلیسی|De Morgan's Laws}}،<ref>Co ...

'''توزیع‌پذیری''' یا '''پخش‌پذیری''' خاصیتی در [[ریاضیات]] است که برای [[عمل دوتایی|عملی دوتایی]] تعریف می‌شود. فرض کنیم <math>*</math> و <math>\circ</math> [[عمل دوتایی|اعمالی دوتایی]] در مجموعه ناتهی '''A''' باشند. عمل <math>*</math> را نسبت به <math>\circ</math ...

...ول مرتبه‌اول صادق نیست می‌تواند منجر به محاسبات بی‌پایان بشود؛ اما در منطق گزاره‌ای این مشکل وجود ندارد. ...ون]] از بین رفت. در این الگویتم، امکان نمونه‌برداری از فرمول در مدت اثبات «در موقع تقاضا» فراهم بود، این نمونه‌برداری فقط تا آنجا بود که [[تمامیت (منطق)| ...

...explosion}} یا '''اصل [[دانس اسکوتوس]]'''، قانونی است که طبق آن می‌توان هر گزاره‌ای را از یک [[تناقض]] اثبات کرد.<ref>{{Cite journal|last=Carnielli|first=1Walt ...ست تسرملو]]، [[آبراهام فرنکل]] و [[تورالف اسکولم]] تلاش زیادی برای بازنگری در [[نظریه مجموعه‌ها|نظریۀ مجموعه‌ها]] برای از بین بردن این تناقض‌ها انجام داد ...

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

...ستدلالی منطقی برای گزارهٔ مطرح‌شده در قضیه است که در توافق با قوانین موجود در روش (سیستم) استقرایی، می‌باشد.<ref>{{یادکرد وب|عنوان=Theorem {{!}} Proofs, ...ریاضی بر اساس نیاز، مفهوم و تصور کلی یک قضیهٔ ریاضی اساساً استقرایی است که در تضاد با مفهوم یک نظریه (قضیه) علمی - که بر اساس تجربه و آزمایش است - می‌باش ...

...موقعی تصمیم‌پذیر است که روش کارآمدی برای تعیین آنکه آیا فرمول‌های اختیاری در نظریه موجودند، موجود باشد. بسیاری از مسائل مهم، [[مسئله تصمیم‌ناپذیر|تصمیم‌ ...e_method|عنوان=Effective Method}}</ref> داده شود، آن مسئله تصمیم‌پذیر است. در یک راه حل مؤثر پاسخ درست به مسئله با طی گام‌های متناهی داده می‌شود. بسیاری ...

...ضی)|برهان]] و [[منطق]] است. این [[روش اثبات]] غیرمستقیم نیز نامیده می‌شود. در روش برهان خلف، برای آنکه ثابت کنیم قضیه‌ای درست است، ثابت می‌کنیم که خلاف آ برهان خلف معمولاً در اثبات عکس یک قضیه به‌کار می‌رود و مورد استفاده در [[دوشرطی منطقی|قضیه‌های دوشرطی]] است. ...