نتایج جستجو

...ض از [[اصل موضوع (منطق)|اصول موضوعه]] تا حد امکان برای بیان قوانین منطقی [[استدلال استنتاجی]] استفاده می‌کنند.<ref name=":0">{{یادکرد وب|عنوان=Propositional L ...h>P\to Q, P\vdash Q</math>. نماد <math>\vdash</math> به این معنی است که از فرض‌های <math>P\to Q</math> و <math>P</math>، با قواعد استنتاج ثابت می‌کنیم (نت ...

...]] یک نتیجهٔ ایجابی (نتیجه مثبت) از ترکیب یکی یا دو مقدمهٔ سلبی (فرض منفی) استدلال شود، یا به اصطلاح دیگر عبارت است از نتیجه‌گیری از قیاسی با مقدمتین سالبه.<r تنها نتیجه‌ای صحیحی که می‌توان از این مقدمات استدلال کرد این است که (در صورت وجود [[نانوا]]ها) بعضی افراد هستند که دست‌فروش نیست ...

فرض کنید <math>p</math> و <math>q</math> گزاره باشند. آنگاه [[قیاس استثنائی|قیا === برهان به روش استدلال قیاسی === ...

فرض کنید <math>\displaystyle X_1,\ldots,X_n</math> یک [[متغییر تصادفی مستقل با فرض کنید <math>\displaystyle F_n(x)</math> یک تابع [[توزیع نمونه‌ای]] برپایه نم ...

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

== استفاده از بسط برای اثبات عدم اعتبار یک استدلال == ...ات، نتیجه کاذب باشد.<ref>درآمدی به منطق جدید، ص 105.</ref>. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نتیجه است در نظر بگیرید:{{سخ}} ...

'''احتمالات بیزی'''، استدلال بیزی، روشی بر پایه [[احتمالات]] برای استنتاج کردن است. ...برای هر کمیتی، یک [[توزیع احتمال]]، وجود دارد که با مشاهده یک داده جدید، و استدلال در مورد توزیع احتمال آن، می‌توان تصمیمات بهینه‌ای اتخاذ کرد. ...

...هان]] برای اثبات <math>\Gamma \vdash A \to B </math> استفاده می‌کنیم. <!-- فرض می‌کنیم حکم برای برهان‌های با طول کمتر از n درست باشد و طول برهان <math>\Ga [[رده:استدلال استنتاجی]] ...

...owledge|volume=1|issue=|pages=89–109|doi=}}{{پیوند مرده}}</ref> يعنى پس از فرض کردن یک تناقض، هر [[گزاره (منطق)|گزاره‌اى]] (از جمله [[نقیض]] خود گزاره) را ...کنید که هر دو درست هستند. اگر چنین باشد، هر چیزی را می‌توان با استفاده از استدلال زیر ثابت کرد. به عنوان مثال، این ادعا که "[[تک‌شاخ|تک‌شاخ‌ها]]<nowiki/>‌ وج ...

...ری است. شما می‌توانید یک پاکت را انتخاب کنید پول موجود در آن را نگه دارید. فرض کنید یک پاکت را انتخاب کرده‌اید اما پیش از آن که آن را باز کنید، به شما فرص ...وان استدلال کرد که تغییر پاکت سودمند است. مسئله این‌جاست که تشخیص دهیم این استدلال چه اشکالی دارد؛ مطلوبیت تعویض بی‌نهایت! ...

...اصل موضوع تصریح نتیجه گرفت. در ابتدا برای آنکه چیزی در اختیار داشته باشیم فرض کنید مجموعه‌ای وجود دارد. اگر این مجموعه را A بنامیم با استفاده از اصل موضو ...مجموعه تهی را به عنوان یک قضیه و نه یک اصل قبول کنند. در این شیوه استدلال فرض وجود حداقل یک مجموعه پذیرفته شده است و لذا می‌توان وجود مجموعه تهی را به عن ...

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

...ogic) گونه ای منطق غیر یکنواخت است که به [[صوری سازی]] استنتاج کردن با پیش فرض گرفتن انگاره‌ها می‌پردازد. عباراتی چون، به صورت پیش فرض چیزی درست است، به این نوع منطق اشاره دارد. برای نمونه «پرنده جانوری است که ...

...د زبان=fa|نام=دفتر انتشارات و فناوری|نام خانوادگی=آموزشی}}</ref> «اثبات با فرض خلاف» و [[تعلیق به محال]] نیز شناخته می‌شود.<ref>{{Cite web|url=https://www # نقض حکم را درست فرض کنید. ...

یکی دیگر از پاسخ‌های مسئله <math>\frac{1}{3}</math>است. استدلال لازم برای این جواب این است که تعداد مصاحبه‌ها با فرد زمانی که سکه خط بیاید ابتدا فرض کنید فرد بداند که مصاحبه در روز ۲ شنبه در حال انجام است. در این صورت چون در ...

...gic)، ترکیب ظرفیت [[نظریه احتمالات]] برای مهار کردن عدم قطعیتی است که در [[استدلال استنتاجی|منطق استقرایی]] وجود دارد. نتیجه این ترکیب، صورت‌گرایی غنی‌تر و گو ...ا در زمینهٔ استدلال «عقل سلیم» و منطق، یک خطا محسوب می‌شود. همان‌طور که در استدلال دادگاهی، هدفِ استفاده از برداشت‌های نامطمئن این است که مدارک و شواهدی برای ...

فرض کنید ''ABC'' مثلث دلخواه باشد و ''ABDE'' و ''ACFG'' دو متوازی‌الأضلاع اریب ...و ارتفاع یکسان، متوازی ''الاضلاعهای'' ''ABDE'' و ABUH مساحت یکسانی دارند، استدلال یکسانی در ''نمودارهای'' متوازی ACFG و ''ACVH'' , ''ABUH'' و ''BLQR'' , ''AC ...

...ه انتخاب و از آن جدا می‌کنیم، مجموعهٔ <math>n</math> اسب باقی‌مانده بنا به فرض استقرا باید همرنگ باشند. حال اسب اول را به مجموعه برمی‌گردانیم و اسب دیگری ...دن گزارهٔ <math>n + 1</math> به ازای همهٔ <math>n</math>-های بزرگتر-مساویِ فرضِ اولیه دارای اهمیت است.<ref>{{پک|Bóna|2006|ک=A Walk Through Combinatorics: ...

...' قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد. ; مورد تجزیه و تحلیل (یا ''اثبات از طریق موارد'' یا ''استدلال با موارد'') ...

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