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

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

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

اس استدلال میں دوسری شرط استعمال ہوئی: جفت اور طاق کے درمیان کوئی تیسرا امکان نہیں، اس لیے دونوں ایک ساتھ غلط نہیں ہو سکتے۔

اہم فرق: پہلے استدلال میں ایک طرف کا اثبات دوسری کی نفی دیتا تھا؛ یہاں ایک طرف کی نفی دوسری کے اثبات کا باعث ہے۔ دونوں قواعد مل کر منفصلہ حقیقیہ کی خصوصیت واضح کرتے ہیں۔