فلم تبطل النتيجة لأن المقدمات إذا لم تبطل فلم تبطل النتيجة- على ما تبين- لكن النتيجة قد بطلت بوضع نقيضها، هذا خلف لا يمكن. والإبطال الذي يكون لإحدى المقدمتين بمقابل النتيجة يختلف إذا كان المقابل المأخوذ ضدا أو نقيضا على ما تبين بعد. والمتناقضات- كما قيل- هى كل ولا كل وبعض ولا واحد. والمتضادة هى قولنا كل ولا واحد وبعض ولا بعض.

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

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