قَوْله: {والمتلازمان طردا وعكسا: كالجسم والتأليف يلْزم من وجود كل [مِنْهُمَا] وجود الآخر، وَمن نَفْيه نَفْيه، إِلَى آخِره} .

تقدم أَن التلازم أَرْبَعَة أَقسَام:

بَين ثبوتين، أَو نفيين، أَو ثُبُوت وَنفي، أَو عَكسه.

(وَمحل الحكم إِن لم يكن المحلان متلازمين، وَلَا متنافيين وهما الْعَام وَالْخَاص من وَجه: كالأسود وَالْمُسَافر، لم يجز فِيهِ شَيْئا مِنْهَا، فَلَا يَصح إِن كَانَ مُسَافِرًا فَهُوَ أسود وَلَا إِن لم يكن أسود فَلَيْسَ مُسَافِرًا، وَلَا إِن كَانَ أسود فَلَيْسَ مُسَافِرًا، وَلَا إِن لم يكن أسود فَهُوَ مُسَافر، وَإِنَّمَا يجْرِي فِيمَا فِيهِ تلازم أَو تناف.