Absorption (logic)
अवशोषण एक वैध तर्क रूप और प्रस्तावात्मक तर्क के अनुमान का नियम है। नियम में कहा गया है कि यदि तात्पर्य है, तो तात्पर्य है और। नियम प्रमाणों के संयोजन को लागू करना संभव बनाता है। इसे अवशोषण का नियम कहा जाता है क्योंकि यह शब्द परिणामी शब्द द्वारा "अवशोषित" होता है। नियम कहा जा सकता हैः जहाँ नियम यह है कि जहाँ भी "प्रमाण की एक पंक्ति पर दिखाई देता है" का एक उदाहरण बाद की पंक्ति पर रखा जा सकता है। औपचारिक संकेतन अवशोषण नियम को एक अनुक्रम के रूप में व्यक्त किया जा सकता हैः जहां एक धात्विक प्रतीक है जिसका अर्थ है कि कुछ तार्किक प्रणाली में एक वाक्यात्मक परिणाम है; और एक सत्य-कार्यात्मक तानाशाही या प्रस्तावात्मक तर्क के प्रमेय के रूप में व्यक्त किया जाता है। इस सिद्धांत को रसेल और व्हाइटहेड द्वारा प्रिंसिपिया मैथेमेटिका में प्रस्तावक तर्क के एक प्रमेय के रूप में कहा गया थाः जहाँ, और कुछ औपचारिक प्रणाली में व्यक्त किए गए प्रस्ताव हैं। उदाहरण के लिए अगर बारिश होगी तो मैं अपना कोट पहनूंगा। इसलिए, अगर बारिश होगी तो बारिश होगी और मैं अपना कोट पहनूंगा। सत्य तालिका द्वारा प्रमाण औपचारिक प्रमाण भी देखें अवशोषण कानून संदर्भ प्रस्तावात्मक तर्क में अनुमान प्रमेय के नियम