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