وحاصل ذلك يرجع إلى: تقسيم وسبر، وإبطال لبعض الأقسام، لتعيين ما بقى من الأقسام. وفيه نوع آخر، وهو: حصر لجملة في أقسام، وإبطال جميع الأقسام لإبطال الجملة.
وبرهان الخلف في القسم الأول، هو أن نقول: لو لم يكن كذا لكان كذا، وباطل أن يكون كذا. فثبت أنه كذا.
ومثاله أن نقول: لو انعقد بيع الغائب 64 - ب: لصح الزامه بصريح الإلزام، وباطل أن يصح الإلزام بصريح الإلزام، فباطل أن ينعقد البيع. وإذا بطل جانب الانعقاد، ثبت جانب الفساد.
وكذلك نقول: لو ملك المقارض الربح: لملك ربح الربح؛ وباطل أن يملك ربح الربح: لأن ذلك يؤدي إلى تفاوت في القسمة يخالف الإجماع، فبطل القول بالتمليك.
وهذا ينقسم إلى الدائر بين النفي والإثبات كما ذكرناه، وهو القوي البالغ: لأنه برهان في العقليات.
وإن لم يكن دائرا بين النفي والإثبات: فلا فائدة له في العقليات،