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

مخ ۲۴۷