Aristotle: Analytica Priora (Prior Analytics)

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

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