فإنه يجب لا محالة أن تعرف هي ليوضع نقيضها، و لا فرق في ذلك بين أن تكون النتيجة موجبة أو سالبة. و كل الذي يبين باستقامة القياس فقد يبين بالخلف؛ و كل الذي يتبين بالخلف، فقد يبين باستقامة و بحدود واحدة (أ، ق، 269، 13) - البرهان المستقيم أفضل من السائق إلى الخلف (ز، ب، 260، 10) - البرهان المستقيم أفضل من الخلف. و ليكن المستقيم هكذا: كل ح ب، و لا شي ء من ب ا، ينتج أنه لا شي ء من ح ا. (س، ب، 179، 16) - البرهان الموجب المستقيم أفضل من البرهان السالب المستقيم (ش، ب، 439، 2) - إذا كان البرهان الموجب المستقيم أفضل من السالب المستقيم فهو أفضل من الخلف بإطلاق (ش، ب، 440، 14)

برهان مطلق

-لما كانت إحدى شرائط البرهان المطلق أن الحدّ الأوسط أقدم من الطرف الأوّل على جهة تقدّم سبب الشي ء للشي ء، فإن الحدّ المتبرهن يلزم ضرورة أن يكون حدّا لأمر له حدّ آخر أقدم من الحدّ المتبرهن (ف، ب، 52، 20) - البرهان المطلق، أعني برهان «لم» فمثل أن يقول: القمر كريّ، فإن استفادته النور من المقابل يكون على شكل كذا و كذا.

إن هذه الخشبة باشرتها النار؛ و كل خشبة باشرتها النار تحترق. فإن هذا كله مما يعطي التصديق بالمطلوب و يعطي علّة وجود المطلوب في نفسه معا (س، ب، 33، 5) - إن ... نوعا من البرهان يسمّى برهانا بالإضافة إلينا و هو الذي يسمّى «الدليل» لا بالإضافة إلى الأمر في نفسه و هو الذي جرت العادة بأن يسمّى برهانا مطلقا (ش، ب، 378، 20) - البرهان المطلق أعني الذي يفيد وجود الشي ء و سببه معا أو السبب إذا كان الوجود معلوما (ش، ب، 410، 18) - من شرط البرهان المطلق أن يكون الحدّ الأوسط فيه علّة للطرف الأكبر (ش، ب، 488، 6)

برهان موجب

-لما كان البرهان الموجب أفضل من السالب فمن البيّن أنه أفضل من البرهان السائق للكلام إلى المحال (أ، ب، 393، 8) - البرهان الموجب يتم و يعرف بلا سالبة. فإذن البرهان الموجب أقدم من السالب و أعرف أيضا. فإنّ البراهين الموجبة قد يوجد المتوسّط في حدودها إنّما نسبته إلى الطرفين نسبة إيجاب فقط، و كذلك الزائد فيها و هو حدّ خارج عن الحدود الثلاثة لتركيب البراهين الموجبة موجب أيضا و يستمر كذلك، و لو كان يجوز أن يكون ذلك بغير نهاية فلا مدخل للسلب فيها (س، ب، 178، 10)

برهان موجب و سالب

-كلا البرهانين (الموجب و السالب) يتم بثلاثة حدود و مقدّمتين (أ، ب، 391، 11) - البرهان الموجب أفضل من السالب (ش، ب، 437، 4) - البرهان السالب يأتلف من مقدّمتين إحداهما أقلّ معرفة من الأخرى، و الموجب يأتلف من مقدّمتين إحداهما مساوية للمقدّمة الواحدة من