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

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