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