لازمة عن آ تكون آ وب ممكنتين اعني القياس والنتيجة إذا وضعت بهذه الحال اعني أن تكون ب لازمة عن آ ثم قال واما ان كانت آ ب على هذه الحال ولم تكن ب ممكنة على هذه الحال ولا آ تكون كما وضع يريد واما إذا كانت آ وب على ما فرضت من التلازم في الوجود ولم تكن ب ممكنة فان آ أيضا لا تكون كما وضعت اى لا تكون ممكنة ثم قال وان كانت آ ممكنة مضطر أن تكون ب ممكنة وان كانت آ مضطر أن تكون ب يريد فقد ظهر من هذا انه متى كانت آ ممكنة فان ب باضطرار تكون ممكنة ومتى كانت آ موجودة فان ب باضطرار تكون موجودة ثم قال فإنه امكان انية ب هو مضطر يريد فان امكان انية ب هو مضطر من قبل امكان انية آ ثم قال إذ كان غير ممكن بدل هذا ان كانت آ وإذا كانت وعلى ما يمكن أن تكون يريد إذ كان غير ممكن بدل هذا وهو ان كانت آ ان لا تكون ب أو أن تكون ب ان لم تكن وكذلك
تفسير ما بعد الطبيعة — صفحة 1147
مساهمون: أبو الوليد محمد بن أحمد الأندلسي (ابن رشد)
ص١١٤٧