يصحّ بعض ب ج . فنفرضه شيئا معيّنا ، وليكن هو د . فد « 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