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