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

--> ( 1 ) ص : فثبت . ( 2 ) خ ، ر : من هنا إلى رقم ( 4 ) محذوفة . ( 3 ) م : بحذف « من الشرطيّات » . ( 5 ) خ ، ر : إذا . ( 6 ) ص : ومن منفصلة . ( 7 ) خ : أن يكون . ( 8 ) أ ، ب : ومن منفصلة . ( 9 ) أ : كذلك .