برهان، از اصطلاحات بکار رفته در علم منطق بوده و به دو نوع لمی و انی تقسیم می‌شود.

۱ - مقدمه

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