اثبات مستقیم: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جزبدون خلاصۀ ویرایش برچسبها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه |
جزبدون خلاصۀ ویرایش برچسبها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه |
||
خط ۱:
در [[ریاضیات]] و [[منطق]]، اثبات مستقیم (به [[زبان انگلیسی|انگلیسی]]: Direct proof) راهی است برای نشان دادن درستی یا نادرستی یک گزارهٔ داده شده با ترکیب کردن سر راست حقایق مسلم، یعنی معمولاً اصل موضوعها و [[قضیه]]هایی که وجود دارند، بدون اینکه بخواهیم فرضیههای بیشتری بسازیم.
برای اثبات مستقیم یک گزارهٔ شرطی به شکل "اگر p، آنگاه q"، تنها کافی است حالتی را در نظر بگیریم که گزارهٔ p درست باشد. استنتاج منطقی، برای رسیدن از فرائض به نتایج استفاده میشود. نوع منطقی که استفاده میشود، اکثر اوقات [[منطق مرتبه اول]] است که از سورهای ''وجود دارد'' و ''برای هر'' استفاده میکند. قاعدههای اثباتی که معمولاً استفاده میشوند [[وضع مقدم]] (modus ponens) و universal instantiation هستند.
از سوی دیگر، اثبات غیر مستقیم ممکن است با زمینهها و مقدمههای فرضی مشخص شروع کند و پس از آن با برطرف کردن هر گونه ابهام از هر یک از این مقدمهها روال را ادامه دهد تا به یک نتیجهٔ غیرقابل اجتناب برسد. برای مثال، بهجای اینکه مستقیماً نشان دهیم ''p'' → ''q''، عکس نقیض آن را ثابت میکنیم ''q'' → ~''p''~ ( ابتدا ''q''~ را فرض میکنیم و بعد نشان میدهیم که نتیجهٔ آن ''p''~ میشود) .
|