وأما المتصلة مع مانعة الخلوّ، فكذا تستلزم مانعة الخلوّ لمتصلتين يركب من نقيض كلّ من الجزئين مقدمًا، وعينِ الآخر تاليًا. وكذا كلّ متصلة تستلزم مانعة الخلو من نقيض المقدم مع عين التالي.. وإلّا لزم تخلّف اللازم عن الملزوم. فإذا اتفقتا في الكم والكيف، واتفقتا أو تلازمتا في جزء -وهو في المتصلة تال- وتناقضتا بالذات، أو بالتلازم في الجزء الآخر -وهو في المتصلة مقدم- تلازمتا وتعاكستا بعين الدليل السابق؛ كإما لا إنسان وإما لا فرس، فكلّما كان إنسانًا….
اعلم أن المنفصلتين المتّحدتين الجنس،([1]) إن تلازما تعاكسيًا في الجزئين، أو مع جزء مع الاتحاد في الآخر، فمتلازمتان متعاكستان.. بسر «أحكام المتساوية متساوية»، المستند إلى قياس اقتراني مركب من المتصلة والمنفصلة، المنتج للمنفصلة المطلوبة. هكذا: كلما صدق هذا المساوي، صدق ذاك. وإما ذاك، وإما ذاك، وإما هذا.. فأنتج: إما هذا المساوي، وإما ذاك. فقس!..
وكذا، في الحقيقي، إن تناقضا في الجزئين بالذات أو بالتلازم.
وأما مانعة الجمع بالنسبة إلى مانعة الجمع -إن كان طرفا أحدِهما، أو أحد طرفهما لازمًا، والآخر -أحدها- ملزوما مع اتحاد الآخر- فالملزومة الطرفِ، لازمة اللّازمة الطرف في الموجبة بحكم الخلف دون العكس.. بسر التخلّف؛ كمنع الجمع بين الإنسان والفرس، دون بين الحيوان والجسم اللازمين.
وفي السالبة اللازمة الطرفِ، لازمة ملزومة الطرف بالخلف، لأن جواز الجمع بين الملزومين يستلزم جواز الجمع بين اللازمين، وإلّا لزم المحال دون العكس بالتخلف؛ كجواز الجمع بين الحيوان والجسم، مع عدم جواز الجمع بين الإنسان والفرس، الملزومين لهما. و.. والمانعتا الخلوان([2]) -إن كان طرفا أحدهما، أو أحد طرفهما مع الاتحاد في الآخر لازمًا، وطرفًا الأخرى أو أحدها ملزومًا، ففي الموجبة اللازمة الطرفِ لازمة فقط، وفي السالبة الملزومة الطرف لازمة فقط.. اللزوم بسر الخلف، وعدم العكس بسرّ التخلف.. والجمع والخلف إيجابًا وسلبًا، كزلزل.
وأما المختلفة الجنس، فالحقيقية مع مانعة الجمع، إن اتحدتا في طرف واحد، طرف الحقيقة لازم لطرف مانعة الجمع، وملزوم لطرف مانعة الخلو فهما لازمتان في الإيجاب بسرّ أن منع الجمع الذي في ضمن الحقيقية بين الشيء ولازم شيء يستلزم منع الجمع بين شيئين. وما في ضمن الحقيقة من منع الخلو بين الشيء وملزومِ شيء يستلزم منع الخلو بين شيئين، دون العكس فيهما للتخلف. وفي السالبة الحقيقية لازمة، بسر أن سلب الأعم أخصّ، وسلب الأخص أعمّ.
اعلم أن تعاند الشرطيات بعد معرفة تلازمها سهل المأخذ. ففي كلّ متلازم متعاكس -كما مرّ- بين عين كل مع نقيض الآخر عناد حقيقيّ. وفي عين المتعاكس بين عين الملزوم ونقيض اللازم عناد الجمع.. وبين نقيض الملزومة وعين اللازمة عناد الخلف.
[1] الأظهر (المتحدي الجنس. بسقوط النون للإضافة).أجير
[2] (الأصوب:المانعتا الخلو). أجير