اثبات مستقیم
در ریاضیات و منطق، اثبات مستقیم (به انگلیسی: Direct proof) راهی است برای نشان دادن درستی یا نادرستی یک گزارهٔ داده شده با ترکیب کردن سر راست حقایق مسلم؛ یعنی معمولاً اصل موضوعها و قضیههایی که وجود دارند، بدون اینکه بخواهیم فرضیههای بیشتری بسازیم.
برای اثبات مستقیم یک گزارهٔ شرطی به شکل "اگر
از سوی دیگر، اثبات غیر مستقیم ممکن است با زمینهها و مقدمههای فرضی مشخص شروع کند و پس از آن با برطرف کردن هر گونه ابهام از هر یک از این مقدمهها، روال را ادامه دهد تا به یک نتیجهٔ غیرقابل اجتناب برسد. برای مثال، بهجای اینکه مستقیماً نشان دهیم
مثالها
- ثابت کنید که حاصلجمع دو عدد صحیح زوج، خود عددی زوج خواهد بود.
دو عدد صحیح زوج
این متن مرتبط با منطق، مبنا و پایه (متن خام) است.
- ثابت کنید که اگر زوج باشد،زوج است.
اتحاد
از اینجا واضح است که