و(خلاصة البرهان) بالخلف أن نقول : لو لم يصدق المطلوب لصدق نقيضه ولکن نقيضه ليس بصادق لأن صدقه يستلزم الخلف فيجب ان يکون المطلوب صادقا. وهذا کما تري قياس استثنائي يستدل عي کبراه بلزوم الخلف. ولبيان لزوم الخلف عند صدق النقيض يستدل بقياس اقتراني شرطي مؤلف من متصلة مقدمها المطلوب منفيا وتاليها نقيض المطلوب ومن حملية مفروضة الصدق.

و(تفصيل البرهان) بالخلف نتبع ما يأتي من المراحل مع التمثيل بالمثال الذي اخترناه.

١ ـ نأخذ نقيض المطلوب (کل ب حـ) ونضمه الى مقدمة مفروضة الصدق ولتکن الکبري وهي (کل حـ م) فيتألف منهما قياس من الشکل الاول.

کل ب حـ ، کل حـ م

ينتج کل ب م

٢ ـ ثم نقيس هذه النتيجة الحاصلة الى المقدمة الاخري المفروضة الصدق وهي (س ب م) فنجد انهما نقيضان : فأما ان تکذب (س ب م) والمفروض صدقها هذا خلف أي خلاف ما فرض من صدقها واما أن تکذب هذه النتيجة الحاصلة وهي (کل ب م). وهذا هو المتعين.

٣ ـ ثم نقول حينئذ : لا بد أن يکون کذب هذه النتيجة المتقدمة ناشئا من کذب احدي المقدمتين لأن تأليف القياس لا خلل فيه حسب الفرض ولا يجوز کذب المقدمة المفروضة الصدق فلا بد ان يتعين کذب المقدمة الثانية التي هي (نقيض المطلوب) کل ب حـ فيثبت المطلوب (س ب حـ).

٤ ـ وبالاخير يوضع الاستدلال هکذا :

أ ـ من قياس اقتراني شرطي.

(١) الصغري التي هي قولنا (لو لم يصدق س ب حـ فکل ب حـ)