 وَهُوَ أَيْ تَصَوُرُ الْمُحَالِ مُثْبَتًا تَصَوُرُ الْمَلْزُومِ الَذِي هُوَ الْمُحَالُ مَلْزُومًا لِنَقِيضِ اللَازِمِ وَهُوَ أَيْ نَقِيضُ اللَازِمِ ثُبُوتُ الْمُحَالِ فَيَلْزَمُ مِنْهُ تَصَوُرُ الْأَمْرِ عَلَى خِلَافِ مَاهِيَتِه فَإِنَ مَاهِيَتَه تُنَافِي ثُبُوتَهُ وَإِلَا لَمْ يَكُنْ مُمْتَنِعًا لِذَاتِهِ فَمَا يَكُونُ ثَابِتًا فَهُوَ غَيْرُ مَاهِيَتِه وَتَصَوُرُ أَرْبَعَةٍ لَيْسَتْ زَوْجًا تَصَوُرُ أَرْبَعَةٍ لَيْسَتْ أَرْبَعَةً لِأَنَ كُلَ مَا لَيْسَ بِزَوْجٍ لَيْسَ بِأَرْبَعَ
 وهو أي تصور المحال مثبتا تصور الملزوم الذي هو المحال ملزوما لنقيض اللازم وهو أي نقيض اللازم ثبوت المحال فيلزم منه تصور الأمر على خلاف ماهيته فإن ماهيته تنافي ثبوته وإلا لم يكن ممتنعا لذاته فما يكون ثابتا فهو غير ماهيته وتصور أربعة ليست زوجا تصور أربعة ليست أربعة لأن كل ما ليس بزوج ليس بأربع