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

পৃষ্ঠা ২৭১