ضروب ذلك والمتصلة « 1 » سالبة : إذا كانت المتصلة سالبة ، فالشرط فيها أن تكون « 2 » التوالي سالبة ، والحمليات كلية ، وإلا « 3 » لم « 4 » تنتج . مثالها : ليس البتة إذا كان ه ز ، فلا كل ج د ، وكل د آ . ينتج : ليس البتة إذا كان ه ز ، فلا كل « 5 » ج آ . برهان ذلك أن المتصلة يلزمها : كلما كان ه ز ، فكل ج د ، وكل د آ . ينتج : كلما كان ه ز ، فكل ج آ . ويلزمه : ليس البتة إذا كان ه ز ، فليس كل ج آ . وأنت تعلم حال البواقي من هذا الواحد « 6 » ، وهي هذه : ليس البتة إذا كان ه ز ، فلا شئ من « 7 » ج د ، وكل « 8 » د آ . ينتج : ليس البتة إذا كان ه ز ، فلا شئ من « 9 » ج آ . ليس البتة إذا كان ه ز ، فلا شئ من ج د ، ولا شئ من « 10 » د آ .
ينتج : ليس البتة إذا كان ه ز ، فكل ج آ .
وأربعة أخرى متصلاتها جزئية سالبة . التأليفات على هيئة الشكل الثاني .
ضروب ذلك والمتصلة « 11 » موجبة ، والشرط بين التالي والحملى في إنتاجها هو الشرط الذي يجب أن يكون في الحمليات حتى ينتج .
الضرب الأول : كلما كان ه ز ، فكل ج د ، وليس ولا شئ من د آ .
فكلما كان ه ز ، فليس ولا شئ من ج آ . برهانه أن نعكس « 12 » الحملية ، وأيضا « 13 » برهانه أن نقول : كلما كان ه ز ، فج د حق ، وأنه لا شئ « 14 » من آ د حق . وكلما كان ج د حقا ، ولا شئ « 15 » « 16 » من آ د « 17 » حقا ، فلا شئ « 18 » من ج آ حق . ينتج « 19 » ، كلما كان ه ز ، فلا شئ من ج آ « 20 » حق .
هامش
( 1 ) والمتصلة : والمنفصلة د ، ن .
( 2 ) تكون : كون م
( 3 ) وإلا : + والمتصلة د .
( 4 ) وإلا لم : ولم سا
( 5 ) فلا كل : فليس كل ه .
( 6 ) الواحد : الوجه س
( 7 ) فلا شئ من : فلا كل د ، عا ، ه ؛ فليس كل ن
( 8 ) وكل : فلا شئ من د ، ن ؛ ولا شئ من عا ، ه .
( 9 ) فلا شئ من ( الثانية ) : فبعض عا ، ه
( 10 ) ولا شئ من : وكل ه .
( 11 ) والمتصلة :
والمنفصلة د ، ن .
( 12 ) نعكس : + الكلية ع ، ه
( 13 ) وأيضا : أيضا س ، م .
( 14 ) لا شئ : ولا شئ سا .
( 15 ) حقا ولا شئ : حقا وليس ولا شئ س
( 16 ) ولا شئ من :
فلا شئ من ع
( 17 ) ولا شئ من آ د : ساقطة من عا
( 18 ) فلا شئ : ولا شئ ه
( 19 ) ينتج : حتى ينتج عا .
( 20 ) ج آ : د آ د ، ن .