ب ، فكلّ ه آ . » « 1 » ( 29 ) فصل ( في قياس الخلف . ) والقياس الذي يتبيّن « 2 » فيه حقّيّة المطلوب بابطال نقيضة ، هو قياس الخلف ويتركّب « 3 » من قياسين : اقترانىّ واستثنائىّ ، كقولك « ان كذب لا شيء من ج ب ، فبعض ج ب وكلّ ب آ » على انّها مقدّمة حقّة ، « 4 » ينتج على « 5 » ما قلنا : ان كذب لا شيء من ج ب ، فبعض ج آ . » وان شئت ، جعلت هذه محيطة كما سبق « 6 » بأن تجعل نقيض المطلوب - الذي هو تالي الشرطيّة - محيطا . ثمّ يستثنى نقيض التالي ، لينتج نقيض المقدّم وهو أنّه « لم يكذب لا شيء من ج ب بل هو صادق . » وفي الخلف يتبيّن « 7 » انّ النتيجة المحالة ما لزمت « 8 » من المقدّمة الصادقة ولا من الترتيب ، فتعيّن أن تكون لنقيض المطلوب . الضابط السابع ( في موادّ الأقيسة البرهانيّة ) ( 30 ) هو انّ العلوم الحقيقيّة لا يستعمل فيها « 9 » الّا البرهان ، وهو قياس مؤلّف من مقدّمات يقينيّة . ثمّ ما نعلمه « 10 » يقينا من المقدّمات امّا أن يكون « أوّليا » وهو الذي تصديقه لا يتوقّف على غير تصوّر الحدود ، ولا يتأتّى لأحد انكاره بعد تصوّر الحدود ، كحكمك بأنّ الكلّ « 11 » أعظم من الجزء ، وانّ الأشياء « 12 » المساوية لشيء واحد

--> ( 1 ) ه ا : ه د HI ( 2 ) يتبين HMFI : يبين ER بين T ( 3 ) هو . . . ويتركب : وهو . . . يتركب E ( 4 ) حقة : حقية F ( 5 ) على : - F ( 6 ) كما سبق TMF - : HERi ( 7 ) يتبين HERI : يبين TMF ( 8 ) ان النتيجة المحالة ما لزمت HERtI : ان كذب النتيجة ما لزم THaMRF ، وفي أكثر النسخ « ان النتيجة المحالة ما لزمت » TaMaFa ان كذب النتيجة المحالة ما لزمت I ( 9 ) فيها : فيه E ( 10 ) نعلمه : نعلم T ( 11 ) بأن TR : ان T - I ( 12 ) وان الأشياء R : والأشياء T - I