تخطي إلى المحتوى الرئيسي

الشفاء ( المنطق ) — صفحة القياس 340

مساهمون:

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