وأيضا لنبرهن فى الشكل الثانى بالخلف أن ا موجودة فى كل ٮ بوضعنا أن ا ليست فى كل ٮ. وقياس ذلك المستقيم يكون فى الشكل الأول، وهو أن تؤخذ ا موجودة فى كل ح، وح فى كل ٮ، فإذن ا فى كل ٮ. وكذلك يعرض إن برهن فى الشكل الثانى بالخلف أن ا فى بعض ٮ بوضعنا أن ا ليست فى شىء من ٮ، وقياس ذلك المستقيم يكون فى الأول، وهو أن ا موجودة فى كل ح، و ح فى بعض ٮ. فإن كان القياس الذى بالخلف سالبا، فإن الموضوع يكون أن ا موجودة فى بعض ٮ. وقياس ذلك المستقيم يكون فى الشكل الأول، وهو أن ا غير موجودة فى شىء من ح، وح فى كل ٮ. وكذلك يعرض أيضا وإن لم يكن القياس كليا، مثل أن يبرهن 〈أن ا غير موجودة فى〉 بعض ٮ بوضعنا أن ا موجودة فى كل ٮ. وقياس ذلك المستقيم يكون فى الشكل الأول، وهو أن ا غير موجودة فى شىء من ح، و ح فى بعض ٮ. وأيضا ليتبين بالخلف فى الشكل الثالث أن ا موجودة فى كل ٮ بوضعنا أن ا ليست فى كل ٮ، فعلى هذه الجهة يعرض المحال. وقياس ذلك المستقيم يكون فى الشكل الأول، وهو أن ا موجودة فى كل ح، و ح فى كل ٮ.

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

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

Page 272