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