/ لا شئ من المجتر بطائر
ويبرهن عليه بعكس الكبرى بالعكس المستوي ثم ضم العكس إلى
نفس الصغرى ، فيتألف من الضرب الثاني من الشكل الأول ، وينتج نفس
النتيجة المطلوبة ، فيقال باستعمال الرموز :
المفروض : كل ب م ولا ح م
المدعى : انه ينتج / لا ب ح
البرهان : نعكس الكبرى بالعكس المستوي إلى " لا م ح " ونضمها ( 1 )
إلى الصغرى ، فيحدث :
كل ب م ، ولا م ح ( الضرب الثاني من الشكل الأول )
ينتج / لا ب ح ( وهو المطلوب )
الثاني : من سالبة كلية وموجبة كلية ، ينتج سالبة كلية
مثاله :
لا شئ من الممكنات بدائم وكل حق دائم
/ لا شئ من الممكنات بحق
يبرهن عليه بعكس الصغرى ثم بجعلها ( 2 ) كبرى وكبرى الأصل
صغرى لها ، ثم بعكس النتيجة ، فيقال :
المفروض لا ب م كل ح م
المدعى لا ب ح
البرهان :
إذا صدقت لا ب م
صدقت لا م ب ( العكس المستوي )
هامش
( 1 ) كذا ، والمناسب : نضمه .
( 2 ) كذا ، والمناسب : بجعله .