اللازم مع التنافى أى يلزمه التنافى بين أمرين وحينئذ يلزم من وجود هذا عدم ذاك ومن وجود ذاك عدم هذا إذ لولا ذلك والفرض أنه لا لزوم صريحًا لكان أحدهما لا يستلزم الآخر ولا عدمه فلا لزوم أصلًا فلا استدلال لأنه إنما يكون باللزوم على اللازم كما تقرر ثم التنافى إن كان إثباتًا ونفيًا كان هناك تنافيان وفى كل تناف لازمان وذلك أربع نتائج يلزم باعتبار التنافى إثباتًا أن يكون وجود كل واحد منهما مستلزمًا لعدم الآخر فيلزم من استثناء كل واحد نقيض الآخر وباعتبار التنافى نفيًا أن يكون عدم كل واحد منهما مستلزمًا لوجود الآخر فيلزم من استثناء نقيض كل واحد عين الآخر فيجئ اللوازم الأربعة.
مثاله: العدد إما زوج وإما فرد لكنه زوج فليس بفرد لكنه فرد فليس بزوج لكنه ليس بزوج فهو فرد لكنه ليس بفرد فهو زوج.
وإن كان التنافى إثباتًا لا نفيًا لزم الأولان أى من استثناء عين كل نقيض الآخر دون الأخيرين أى لا يلزم من استثناء نقيض كل عين الآخر وهو ظاهر.
مثاله: الجسم إما جماد أو حيوان لكنه جماد فليس بحيوان لكنه حيوان فليس بجماد ولو قلت لكنه ليس بجماد فهو حيوان أو ليس بحيوان فهو جماد لم يكن لازمًا لجواز انتفائهما كما فى الشجر.
وإن كان التنافى نفيًا لا إثباتًا لزم الأخيران أى من استثناء نقيض كل عين الآخر دون الأولين أى لا يلزم من استثناء عين كل نقيض الآخر وهو ظاهر.
مثاله: الجسم إما لا رجل أو لا امرأة إذ لا ينتنفيان وإلا كان رجلًا وامرأة لكن يجتمعان كالشجر لكنه ليس بلا رجل فهو لا امرأة أو ليس بلا امرأة فهو لا رجل ولو قلت لكنه لا امرأة فليس لا رجل أو لا رجل فليس لا امرأة لم يصدق لاجتماعهما فى الحجر.
قوله:(كلية دائمة) لا يجوز أن تكون الدائمة قيدًا زائدًا فى الكلية احترازًا عن المؤقتة إذ المؤقتة ليست بكلية، لأن معناها ثبوت اللزوم على جميع الأوضاع والتقادير الممكنة الاجتماع مع المقدم والأظهر أنه تفسير للكلية لأن معنى الدوام الثبوت فى جميع الأزمان وهو معنى الكلية لأنه يستلزم الثبوت على جميع الأوضاع.