کیا آپ ان کو حل کر سکتے ہیں استنتاج کی پہیلیاں؟

جاسوس کی طرح سوچنا

استنتاجی استدلال حقائق یا اصولوں سے شروع ہوتا ہے اور اس نتائج تک پہنچتا ہے جو سچ ہونے ہی ضروری ہیں۔ اندازے سے مختلف، استنتاج میں شک کی کوئی گنجائش نہیں ہے: اگر سراغ سچے ہیں تو جواب ضروری طور پر اس سے نکلتا ہے۔ منطقی پہیلیاں، جاسوسی کی کہانیاں اور ریاضیاتی ثبوت سب اس قسم کی احتیاط سے قدم بہ قدم استدلال پر منحصر ہیں۔

ناممکن چیزوں کو ختم کریں

بہت سی استنتاجی پہیلیاں اختیارات کو مسترد کر کے حل ہوتی ہیں۔ پالتو جانور والی پہیلی میں، ایک سراغ انا اور سم سے مچھلی نکالتا ہے، اور دوسرا انا سے کتا نکالتا ہے۔ جو باقی رہتا ہے وہ جواب ہونا ضروری ہے۔ ایک چھوٹی میز بناتے ہوئے جس میں ٹک اور کراس لگائے جائیں تو اس قسم کی بڑی پہیلیاں حل کرنا بہت آسان ہو جاتا ہے۔

کوئی امکان آزمائیں

سچ اور جھوٹ کی پہیلیاں اکثر کچھ فرض کر کے اور یہ دیکھ کر حل ہوتی ہیں کہ کیا یہ تناقض کی طرف جاتا ہے۔ اگر یہ فرض کہ کارا سچ بولتی ہے بیانات کو ناممکن بناتا ہے، تو یہ فرض غلط ہونا چاہیے۔ ریاضی دان اسے تناقض کے ذریعے ثبوت کہتے ہیں، اور یہ منطق میں سب سے طاقتور اوزاروں میں سے ایک ہے۔

نتیجہ کو یقینی بنانا

موزوں کی پہیلی غالو اصول استعمال کرتی ہے: اگر آپ کے پاس زمرہ جات سے زیادہ چیزیں ہیں تو کم از کم دو چیزیں ایک زمرہ میں ہونی ضروری ہیں۔ یہ خیال سادہ لگتا ہے لیکن ریاضیات اور کمپیوٹر سائنس میں حیران کن گہری مسائل حل کرتا ہے، ڈیٹا اسٹوریج سے لے کر یہ ثابت کرنے تک کہ کچھ نمونے ہمیشہ ظاہر ہوتے ہیں۔

سوالات جو دونوں طریقوں سے کام کریں

دونوں سنہریوں والی پہیلی ایک سوال سے حل ہوتی ہے جو آپ کسے پوچھیں اس سے قطع نظر ایک جیسا نتیجہ دیتا ہے۔ سچ بولنے والے اور جھوٹے کو ایک سوال میں ملانا عدم یقین کو منسوخ کر دیتا ہے۔ ماہر منطق شناس ریمنڈ سمولیان نے اپنی 'شورویر اور درندے' پہیلیوں کی کتابوں میں اس طرح کی پہیلیوں کو مشہور کیا۔

روزمرہ کی زندگی میں استنتاج

استنتاج پہیلیوں سے بہت آگے مفید ہے۔ ڈاکٹر ٹیسٹ کے نتائج کی بنیاد پر حالات کو مسترد کرتے ہیں، انجینیر ممکنہ وجوہات کو ختم کر کے خرابیوں کا پتہ لگاتے ہیں، اور پروگرامر تصورات کی جانچ کر کے سافٹ ویئر میں خرابیوں کو ٹھیک کرتے ہیں۔ منطقی پہیلیوں کی مشق صبر اور ڈھانچہ سیکھتی ہے جس کی ان حقیقی دنیا کے مسائل کو درکار ہے۔