برہانِ خلف سے نتیجہ ثابت کرنا

الشکل الرابع — شرائطِ انتاج، ضربیں اور استدلال

صغریٰ: بعض قاری مدرس ہیں۔
کبریٰ: کوئی شاعر قاری نہیں۔
مطلوب نتیجہ: بعض مدرس شاعر نہیں۔

فرضِ خلاف کیجیے کہ تمام مدرس شاعر ہیں، کیونکہ یہ سالبہ جزئیہ کی نقیض ہے۔ صغریٰ کے بعض قاری مدرس ہیں؛ فرضِ خلاف کے مطابق وہ شاعر بھی ہوں گے۔ مگر کبریٰ نے ہر شاعر سے قاری ہونے کی نفی کی تھی۔ یوں اجتماعِ نقیضین پیدا ہوا۔

لہٰذا فرضِ خلاف باطل اور مطلوب بعض مدرس شاعر نہیں ثابت ہوا۔ خلف میں نقیض کو درست پہچاننا ضروری ہے۔