Absorption (logic)
جذب ایک درست دلیل کی شکل اور تجویز کردہ منطق کی قیاس آرائی کا اصول ہے۔ اصول میں کہا گیا ہے کہ اگر اس کا مطلب ہے، تو اس کا مطلب ہے اور۔ یہ قاعدہ ثبوتوں میں امتزاج متعارف کرانا ممکن بناتا ہے۔ اسے جذب کا قانون کہا جاتا ہے کیونکہ یہ اصطلاح نتیجہ میں اصطلاح کے ذریعہ "جذب" ہوتی ہے۔ قاعدہ بیان کیا جا سکتا ہے: جہاں قاعدہ یہ ہے کہ جہاں بھی "ثبوت کی لائن پر ظاہر ہوتا ہے" کی مثال کو اگلی لائن پر رکھا جا سکتا ہے۔ رسمی اشارے جذب کے اصول کو ایک ترتیب کے طور پر ظاہر کیا جا سکتا ہے: جہاں ایک دھاتی علامت ہے جس کا مطلب ہے کہ یہ کسی منطقی نظام میں ایک نحو نتیجہ ہے ؛ اور اس کا اظہار سچائی-فعال ٹاٹولوجی یا تجویز کردہ منطق کے نظریہ کے طور پر کیا گیا ہے۔ اس اصول کو رسل اور وائٹ ہیڈ نے پرنسپیا میتھمیٹکا میں پروپوزیشنل منطق کے نظریہ کے طور پر بیان کیا تھا: جہاں، اور کچھ رسمی نظام میں اظہار کردہ تجاویز ہیں۔ مثال کے طور پر اگر بارش ہوگی تو میں اپنا کوٹ پہنوں گا۔ لہذا، اگر بارش ہوگی تو بارش ہوگی اور میں اپنا کوٹ پہنوں گا۔ ٹروتھ ٹیبل کے ذریعے ثبوت رسمی ثبوت بھی دیکھیں جذب قانون حوالہ جات پروپوزیشنل منطق میں مفروضے کے نظریات کے اصول