ليس ذلك بينا بسرعة كبيان انتفاء التالي بانتفاء الأول ؛ الا ترى انك إذا قلت ان كان العمر طويلا لهرم موجود لكن العمر ليس طويلا ، النتيجة فالهرم ليس موجودا [ وهذا ] بين . فلو قلت والقرينة بحسبها لكون الهرم غير موجود فانك تحتاج في الانتاج من ذلك ان طول العمر ليس موجودا إلى عمل ، وهو ان تقول : ان كان الهرم يوجد طول العمر فليس يمكن أن يعدم الهرم ويوجد طول العمر . إذ لو كان العمر موجودا حينئذ بوجود فليس الهرم اذن موجودا طول العمر ؛ وقد قدمنا أن الهرم يوجد بوجود طول العمر وهذا تناقض . وإنما كانت تكون بينة لو قدمت فقلت : إذا كان ضعف الكبر غير موجود فطول العمر غير موجود ، وهذا بين . وقد قلنا إن القسم الذي يستثني منه ضد المقدمة التالية أي تصححه فانه ينتج لك نفي الأول ضرورة مثل أن تقول : ان كان العالم غير محدث فهو غير مؤلف ولا متناهي الجرم ، لكن العالم مؤلف متناهي الجرم ، فالعالم محدث . وقد تكون المقدمات التوالي في هذا النوع متنافية كقولك : ان كان يوجد زمان لغير جرم ذي زمان ، والزمان إنما هو مدة يعد بها سكون أو حركة ، فليس يوجد اذن زمان لغير جرم ذي زمان . فهذه اقسام الشرطي المتصل وهي اما ان تصحح المقدم واما تصحح نفيه واما تصحح التالي واما أن تصحح نفيه ، فاعلم . وأما الشرطي المنقسم فهو أن تقسم الشيء الذي تريد معرفة صحة حكمه على جميع أقسامه الذي يعطيه العقل إياها قسما أصلا ، ولا تكون تلك الأقسام الا متغايرة أو متباينة مختلفة كل واحد منها مخالف لسائرها ، وجائز أن تكون الأقسام اثنين فصاعدا ولكن لا بد من الاختلاف المذكور . فالذي ينقسم نحو قولك : العالم اما محدث واما أزلي ، وهذا الشيء اما