كتاب الردود والنقود شرح مختصر ابن الحاجب

لامتناع ارتفاعهما.

مثال: العدد إما زوج أو فرد؛ فإنه يلزم من استثناء عين الزوج نقيض الفرد، ومن استثناء عين الفرد نقيض الزوج، ومن نقيض الزوج عين الفرد، ومن نقيض الفرد عين الزوج.

وإن تنافيا إثباتا فقط، يلزم الأولان، يلزم من عين كل جزء نقيض الآخر لامتناع اجتماعهما، ولا يلزم من انتفاء أحدهما عين الآخر؛ لجواز انتفائهما إذ لا منافا (ة) بين الجزأين فيالنفي.

مثاله: الجسم إما حيوان أو جماد فإنه يلزم من الحيوان نقيض الجماد، ومن الجماد نقيض الحيوان، ولا يلزم من نقيض أحدهما عين الآخر؛ لجواز انتفائهما. وإن تنافيا نفيا فقط، لزم الآخران، لزم من نقيض كل منهما عين الآخر لامتناع انتفائهما، ولا يلزم من عين أحدهما نقيض الآخر؛ لجواز ثبوتهما معا.

مثاله: الخنثى إما لا رجل أو لا امرأة؛ فإنه يلزم من انتفاء لا رجل ثبوت لا امرأة، ومن انتفاء لا امرأة ثبوت لا رجل، ولا يلزم من تحقق أحدهما انتفاء الآخر؛ لجواز أن لا يكون رجلا ولا امرأة.

ثم إن كل واحد من القياس الاستثنائي والاقتراني يرد إلى الآخر. يرد استثنائي إلى الاقتراني إذا كان المقدم والتالي في الشرطية المستعملة فيه متشاركين في الموضوع بجعل المقدمة الاستثنائية صغرى، والحملية اللازمة للشرطية. فيقال والمستثنى عين المقدم نحو: إن كان هذا إنسانا فهو حيوان. لكنه إنسان فهو حيوان.