برهان مستقیم
مترادفها
استدلال مستقیم
متضادها
برهان غیرمستقیم
دانشنامه اسلامی
[ویکی فقه] برهان مستقیم، یکی از اصطلاحات علم منطق و به معنای برهانی است که در آن مطلوب از مقدمات به اثبات برسد.
برهان مستقیم در مقابل برهان خلف، برهانی است که در آن مطلوب از مقدمات به اثبات برسد، نه با ابطال نقیض آن. «برهان مستقیم مانند اینکه هر جیم باء است. هیچ باء الف نیست- پس هیچ جیم الف نیست».
قوام صفری، مهدی، ترجمه برهان شفا، ص۳۵۶.
۱. ↑ قوام صفری، مهدی، ترجمه برهان شفا، ص۳۵۶.
خوانساری، محمد، فرهنگ اصطلاحات منطقی به انضمام واژه نامه فرانسه و انگلیسی، ص۴۸.
...
جمله سازی با برهان مستقیم
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید. گزارش محتوای نامناسب
💡 در برهان مستقیم، نتیجه از ترکیب منطقی اصلها، تعریفها و تئوریهای پیشین بهدست میآید. بهطور مثال برهان مستقیم برای اثبات زوج بودن جمع دو عدد زوج بکار میرود:
💡 در اثبات قضایای ریاضی، استفاده از برهان مستقیم به جای برهان خلف، روشی است که در آن از مقدمات مستقیماً به سمت نتیجه حرکت میکنیم.
💡 برای حل این مسئلهی هندسی، دانشجو از برهان مستقیم استفاده کرد تا با استفاده از ویژگیهای معلوم، صحت قضیه را بدون نیاز به نقیض ثابت کند.
💡 منطقدانان معتقدند که برهان مستقیم میتواند شفافیت بیشتری در استدلال ایجاد کند، زیرا مسیر رسیدن به حقیقت را به طور خطی و مشخص نشان میدهد.