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

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

(335) فقد تبين أن جميع المسائل التي تتبين بقياس الخلف في جميع العلوم يمكن أن تبرهن بقياسات مستقيمة وأن ترد إليها بتلك المقدمات بأعيانها وبتلك الحدود أيضا بأعيانها، وأن رد القياس المستقيم إلى الخلف هو بعينه