الكبرى منه ، عادت جزئية ، ولا قياس عن جزئيتين ، والصغرى فلا عكس لها وإن شئت بينت الانتاج بالخلف ، وهو أن تأخذ نقيض النتيجة من كل ضرب منه ، وتجعله صغرى للمقدمة الكبرى من ذلك الضرب ، فإنه ينتج نقيض المقدمة الصغرى الصادقة وهو محال ، وليس لزوم المحال عن نفس الصورة القياسية لتحقق شروطها ، ولا عن نفس المقدمة الكبرى ، لكونها صادقة فكان لازما عن نقيض المطلوب ، فكان محالا ، وإلا لما لزم عنه المحال . وإذا كان نقيض المطلوب محالا ، كان المطلوب الأول هو الصادق .