[ 113 - نتائج القياسات الاستثنائيّة ]
قال : والشرطيّة الموضوعة فيه إن كانت متّصلة فاستثناء عين المقدّم ينتج عين التالي ، واستثناء نقيض التالي ينتج نقيض المقدّم ، وإلّا لبطل اللزوم دون العكس في شيء منهما لاحتمال كون التالي أعمّ من المقدّم .
وإن كانت منفصلة : فإن كانت حقيقيّة فاستثناء عين أيّ جزء كان ينتج نقيض الآخر - لاستحالة الجمع - واستثناء نقيض أيّ جزء كان ينتج عين الآخر - لاستحالة الخلوّ .
وإن كانت مانعة الجمع ينتج القسم الأوّل فقط لامتناع الاجتماع دون الخلوّ .
وإن كانت مانعة الخلوّ ينتج القسم الثاني فقط لامتناع الخلوّ دون الجمع .
أقول : الشرطيّة التي هي جزء القياس الاستثنائيّ إمّا متّصلة أو منفصلة :
فإن كانت متّصلة : ينتج استثناء عين مقدّمها عين التالي - وإلّا لزم انفكاك اللازم عن الملزوم فيبطل اللزوم - واستثناء نقيض تاليها نقيض المقدّم - وإلّا لزم وجود الملزوم بدون اللازم فيبطل اللزوم أيضا ، دون العكس في شيء منهما ، أي لا ينتج استثناء عين التالي عين المقدّم ، ولا استثناء نقيض المقدّم نقيض التالي ، لجواز أن يكون التالي أعمّ من عين المقدّم ، فلا يلزم من وجود اللازم وجود الملزوم ، ولا من عدم الملزوم عدم اللازم .