«اگر ا تو ب» کی صحت اور «ب» کا اثبات، «ا» کے اثبات کے لیے ہمیشہ کافی ہیں۔القیاس الاستثنائی — متصلہ اور منفصلہ کے قواعدِ انتاج