1. مقدم ثابت: اگر ا تو ب؛ ا؛ لہٰذا ب — درست۔
2. تالی کی نفی: اگر ا تو ب؛ ب نہیں؛ لہٰذا ا نہیں — درست۔
3. تالی ثابت: اگر ا تو ب؛ ب؛ لہٰذا ا — عمومی طور پر غلط۔
4. مقدم کی نفی: اگر ا تو ب؛ ا نہیں؛ لہٰذا ب نہیں — عمومی طور پر غلط۔
تیسری اور چوتھی صورت میں نتیجہ کسی خاص اضافی علم سے درست نکل سکتا ہے، مگر محض مذکورہ شرطیہ سے لازم نہیں آتا۔ منطق میں «کبھی اتفاقاً سچ ہونا» اور «ضرور لازم آنا» کو خلط نہیں کیا جاتا۔
سبق کھل رہا ہے...
القیاس الاستثنائی — متصلہ اور منفصلہ کے قواعدِ انتاج
1. مقدم ثابت: اگر ا تو ب؛ ا؛ لہٰذا ب — درست۔
2. تالی کی نفی: اگر ا تو ب؛ ب نہیں؛ لہٰذا ا نہیں — درست۔
3. تالی ثابت: اگر ا تو ب؛ ب؛ لہٰذا ا — عمومی طور پر غلط۔
4. مقدم کی نفی: اگر ا تو ب؛ ا نہیں؛ لہٰذا ب نہیں — عمومی طور پر غلط۔
تیسری اور چوتھی صورت میں نتیجہ کسی خاص اضافی علم سے درست نکل سکتا ہے، مگر محض مذکورہ شرطیہ سے لازم نہیں آتا۔ منطق میں «کبھی اتفاقاً سچ ہونا» اور «ضرور لازم آنا» کو خلط نہیں کیا جاتا۔