برهان مستقیم

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

💡 در برهان مستقیم، نتیجه از ترکیب منطقی اصل‌ها، تعریف‌ها و تئوری‌های پیشین به‌دست می‌آید. به‌طور مثال برهان مستقیم برای اثبات زوج بودن جمع دو عدد زوج بکار می‌رود: