حقیقیہ میں اثبات سے نفی

القیاس الاستثنائی — متصلہ اور منفصلہ کے قواعدِ انتاج

منفصلہ: یہ صحیح عدد جفت ہے یا طاق ہے۔
استثناء: لیکن یہ جفت ہے۔
نتیجہ: لہٰذا طاق نہیں ہے۔

یہ استدلال اس لیے صحیح ہے کہ جفت اور طاق ایک ہی صحیح عدد میں جمع نہیں ہوتے۔ اگر نتیجے میں طاق ہونے کو بھی مان لیا جائے تو دونوں متقابل اوصاف ایک ہی عدد کے لیے جمع ہوں گے۔

اس صورت میں صرف یہ قاعدہ استعمال ہوا کہ دونوں کا اجتماع ناممکن ہے۔ اس قاعدے کے لیے ابھی دونوں کے ایک ساتھ غلط نہ ہونے کو ثابت کرنا لازم نہیں۔