يكون اللازم قد وجد ؛ وإذا ارتفع اللازم ، يكون الملزوم قد ارتفع . ولا يستثنى نقيض المقدّم ولا عين التالي ، فانّه قد يكون « 1 » التالي اعمّ من المقدّم ، كقولنا « 2 » « ان كان هذا سوادا فهو لون . » فلا يلزم من رفع الاخصّ وكذبه رفع الاعمّ وكذبه . ولا من وضع الاعمّ وصدقه وضع الاخصّ وصدقه ، بل انّما يلزم من وضع الاخصّ وصدقه وضع الاعمّ وصدقه ، ومن رفع الاعمّ وكذبه رفع الاخصّ وكذبه . وان كان الربط بين الحمليّتين « 3 » بعناد يسمّى شرطيّة منفصلة ، كقولنا « امّا ان « 4 » يكون هذا العدد زوجا وامّا ان يكون فردا » ويجوز ان يكون اجزاؤها أكثر من اثنين . والحقيقيّة هي التي لا يمكن اجتماع اجزائها ولا الخلوّ « 5 » عن اجزائها . وان أريد ان يجعل منها قياس ، يستثنى فيها عين ما يتّفق ، فيلزم نقيض ما بقي - كان واحدا أو أكثر - « 6 » أو نقيض ما يتّفق فيلزم عين ما بقي . وان كانت ذات اجزاء كثيرة واستثنى نقيض واحد ، فيبقى منفصلة في الباقي . وقد يتركّب « 7 » متّصلة « 8 » من متّصلتين كقولهم « ان كان كلّما كانت الشمس طالعة فالنهار موجود ، فكلّما « 9 » كانت الشمس غاربة فالليل موجود . » وقد يتركّب « 10 » منهما منفصلة كقولنا « امّا ان يكون إذا كانت الشمس طالعة فالنهار موجود ، وامّا ان يكون إذا كانت الشمس غاربة « 11 » فالليل موجود . » والتصرّفات « 12 » كثيرة .
هامش
( 1 ) يكون التالي : يكون عين التاليHR( 2 ) كقولناTMF: كقولكHERI( 3 ) الحمليتينHMFIz: الجملتينTRحمليتينE( 4 ) اما ان . . . فرداHERI: هذا العدد اما زوج واما فردTMF( 5 ) الخلو : تخلوT( 6 ) كان واحدا أو أكثرTMF - : HERI( 7 ) يتركب : تركبHI( 8 ) متصلة : منفصلةT( 9 ) فكلما : وكلماM( 10 ) يتركب : تركبH( 11 ) غاربةTMI: غير طالعةRطالعةHEFوله وجه
( 12 ) والتصرفات : + فيهT