المنطق — الصفحة ٢٥٤

الشكل الثاني

/ لا شئ من المجتر بطائر

ويبرهن عليه بعكس الكبرى بالعكس المستوي ثم ضم العكس إلى

نفس الصغرى ، فيتألف من الضرب الثاني من الشكل الأول ، وينتج نفس

النتيجة المطلوبة ، فيقال باستعمال الرموز :

المفروض : كل ب م ولا ح‍ م

المدعى : انه ينتج / لا ب ح‍

البرهان : نعكس الكبرى بالعكس المستوي إلى " لا م ح‍ " ونضمها ( 1 )

إلى الصغرى ، فيحدث :

كل ب م ، ولا م ح‍ ( الضرب الثاني من الشكل الأول )

ينتج / لا ب ح‍ ( وهو المطلوب )

الثاني : من سالبة كلية وموجبة كلية ، ينتج سالبة كلية

مثاله :

لا شئ من الممكنات بدائم وكل حق دائم

/ لا شئ من الممكنات بحق

يبرهن عليه بعكس الصغرى ثم بجعلها ( 2 ) كبرى وكبرى الأصل

صغرى لها ، ثم بعكس النتيجة ، فيقال :

المفروض لا ب م كل ح‍ م

المدعى لا ب ح‍

البرهان :

إذا صدقت لا ب م

صدقت لا م ب ( العكس المستوي )

( 1 ) كذا ، والمناسب : نضمه . ( 2 ) كذا ، والمناسب : بجعله .