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

--> ( 1 ) قد : فدال H فذاك E ( 2 ) يثبتون : يبينون HF ( 3 ) عكسيهما ERI عكسهما TMF عكساهما H ( 4 ) والخلف يبتنى RI : فيبتنى T - F وفي نسخة « والخلف يبتنى » FaMaTa ( 5 ) ذكرناه : ذكرنا HE ( 6 ) يثبتون : يبينون M ( 7 ) مبين T : بين HF بين M تبين ERI ( 8 ) ان كفته TEMF : كفاه H لن يكفيه R ان كيفية I ( 9 ) قياسية : باسيته M ( 10 ) وان لم يعرف TRMF : وان لم يعلم HEI ( 11 ) منه : - R ( 12 ) العكوس التي : العكس الذي R ( 13 ) مثل HERI : - TMF ( 14 ) يتبين TF : يبين H - I