اصل مثال: دن نہ ہو تو طلوع نہیں

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

لكن النهار ليس بموجود
لیکن دن موجود نہیں ہے۔

پہلے سے تسلیم شدہ شرطیہ یہ ہے کہ سورج طلوع ہو تو دن موجود ہوتا ہے۔ اب استثنائی مقدمے میں دن کی نفی کی گئی، اس لیے کتاب نتیجہ بیان کرتی ہے:
فالشمس ليست بطالعة
پس سورج طلوع نہیں ہے۔

نتیجہ پیدا ہونے کی وجہ یہ نہیں کہ «دن» اور «سورج» ایک معنی کے الفاظ ہیں، بلکہ یہ ہے کہ صحیح شرطیہ میں طلوعِ شمس کے ساتھ وجودِ نہار لازم کیا گیا تھا۔