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

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

254