يرجع إليه بقيّة الأشكال ، كالحمليات ، أمكن أن يقع في أقسام الاقتراني برهان لمّ و إنّ .
169 . و أمّا القياس الاستثنائي : فأمّا المؤلّف من متّصلة و استثناء :
فحيث كان وضع العلّة علّة لوضع المعلول و رفعها لرفعه ، فمن الممكن أن يقع فيه برهان لمّ ، فإن كان فيه علّة و البرهان برهان لمّ ، وجب أن تكون هي المقدّم لو استثنى الوضع ، و التالي لو استثنى الرفع . مثال ذلك قولنا : كلّما كانت العلّة موجودة فالمعلول موجود ، لكنّ العلّة موجودة ينتج فالمعلول موجود ؛ قولنا : كلّما كان المعلول موجودا كانت العلّة موجودة ، لكنّ العلّة ليست موجودة ينتج فالمعلول ليس بموجود .
و أمّا القياس الاستثنائي ، المؤلّف من منفصلة و حمليّة : فحيث كانت المنفصلة محلّلة إلى المتّصلة يتبيّن بذلك حكمه ، فكلّما استثني وضع لانتاج رفع وجب أن يكون الوضع علّة ؛ و الرفع نقيض المعلول ؛ أو الوضع هو النقيض و الرفع هو المعلول . و كلّما استثني رفع لانتاج وضع فإن كان الرفع هو العلّة فالوضع نقيض المعلول ، و إن كان الرفع نقيض العلّة فالوضع هو المعلول .
170 . مثال ذلك من المنفصلة الحقيقية إمّا أن تكون موجودة و إمّا أن يكون المعلول معدوما لكنّ العلّة موجودة ، فالمعلول موجود ، و لكنّ العلّة ليست بموجودة ، فالمعلول معدوم . و قولنا : إمّا أن يكون المعلول موجودا أو تكون العلّة معدومة ، لكن العلّة معدومة ، فالمعلول ليس بموجود . و لكنّ العلّة موجودة ، فالمعلول موجود .
برهان ( فارسى ) — صفحة 125
مساهمون: السيد محمدحسين الطباطبائي
ص١٢٥