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