والتقسيم ، أو برهان الاستقصاء ، كما سبق أن برهنّا به لبيان النسبة بين النقيضين في بحث النسب في الجزء الأوّل . وهذه الطريقة نافعة كثيراً في المناظرة والجدل .
2 . إذا كانت الشرطية ( مانعة خلو ) ، فإنّ استثناء نقيض أحد الطرفين ينتج عين الآخر ، ولا ينتج استثناء عين أحدهما نقيض الآخر ، لأنّ المفروض أنّه لا مانع من الجمع بين العينين ، فلا يلزم من صدق أحدهما كذب الآخر .
3 . إذا كانت الشرطية ( مانعة جمع ) ، فإنّ استثناء عين أحد الطرفين ينتج نقيض الآخر ، ولا ينتج استثناء نقيض أحدهما عين الآخر ، لأنّ المفروض أنّه يجوز أن يخلو الواقع منهما ، فلا يلزم من كذب أحدهما صدق الآخر . وهذا وما قبله واضح .
شرح كتاب المنطق — صفحه 316
پدیدآورندگان: السيد كمال الحيدري
ص۳۱۶