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