# aاللازم مع التنافى أى يلزمه التنافى بين أمرين وحينئذ يلزم من وجود هذا عدم ذاك ومن وجود ذاك عدم هذا إذ لولا ذلك والفرض أنه لا لزوم صريحا لكان أحدهما لا يستلزم الآخر ولا عدمه فلا لزوم أصلا فلا استدلال لأنه إنما يكون باللزوم على اللازم كما تقرر ثم التنافى إن كان إثباتا ونفيا كان هناك تنافيان وفى كل تناف لازمان وذلك أربع نتائج يلزم باعتبار التنافى إثباتا أن يكون وجود كل واحد منهما مستلزما لعدم الآخر فيلزم من استثناء كل واحد نقيض الآخر وباعتبار التنافى نفيا أن يكون عدم كل واحد منهما مستلزما لوجود الآخر فيلزم من استثناء نقيض كل واحد عين الآخر فيجئ اللوازم الأربعة.

مثاله: العدد إما زوج وإما فرد لكنه زوج فليس بفرد لكنه فرد فليس بزوج لكنه ليس بزوج فهو فرد لكنه ليس بفرد فهو زوج.

وإن كان التنافى إثباتا لا نفيا لزم الأولان أى من استثناء عين كل نقيض الآخر دون الأخيرين أى لا يلزم من استثناء نقيض كل عين الآخر وهو ظاهر.

مثاله: الجسم إما جماد أو حيوان لكنه جماد فليس بحيوان لكنه حيوان فليس بجماد ولو قلت لكنه ليس بجماد فهو حيوان أو ليس بحيوان فهو جماد لم يكن لازما لجواز انتفائهما كما فى الشجر.

وإن كان التنافى نفيا لا إثباتا لزم الأخيران أى من استثناء نقيض كل عين الآخر دون الأولين أى لا يلزم من استثناء عين كل نقيض الآخر وهو ظاهر.

مثاله: الجسم إما لا رجل أو لا امرأة إذ لا ينتنفيان وإلا كان رجلا وامرأة لكن يجتمعان كالشجر لكنه ليس بلا رجل فهو لا امرأة أو ليس بلا امرأة فهو لا رجل ولو قلت لكنه لا امرأة فليس لا رجل أو لا رجل فليس لا امرأة لم يصدق لاجتماعهما فى الحجر.

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