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