Absorption (logic)
શોષણ એ એક માન્ય દલીલ સ્વરૂપ અને પ્રસ્તાવાત્મક તર્કના અનુમાનનો નિયમ છે. નિયમ જણાવે છે કે જો સૂચવે છે, તો સૂચવે છે અને. આ નિયમ સાબિતીમાં સંયોજન રજૂ કરવાનું શક્ય બનાવે છે. તેને શોષણનો નિયમ કહેવામાં આવે છે કારણ કે આ શબ્દ પરિણામે શબ્દ દ્વારા "શોષાય છે". નિયમ કહી શકાયઃ જ્યાં નિયમ એ છે કે જ્યાં પણ "સાબિતીની લીટી પર દેખાય છે" નું ઉદાહરણ આગામી લીટી પર મૂકી શકાય છે. ઔપચારિક સંકેતન શોષણ નિયમને ક્રમિક તરીકે વ્યક્ત કરી શકાય છેઃ જ્યાં એક ધાતુશાસ્ત્રીય પ્રતીક છે જેનો અર્થ થાય છે કે તે અમુક તાર્કિક પ્રણાલીમાં વાક્યરચના પરિણામ છે; અને સત્ય-કાર્યાત્મક સ્વરવિજ્ઞાન અથવા પ્રસ્તાવાત્મક તર્કના પ્રમેય તરીકે વ્યક્ત કરવામાં આવે છે. આ સિદ્ધાંતને રસેલ અને વ્હાઇટહેડ દ્વારા પ્રિન્સિપિયા મેથેમેટિકા માં પ્રપોઝિશનલ લોજિકના પ્રમેય તરીકે આ રીતે વર્ણવવામાં આવ્યો હતોઃ ક્યાં, અને કેટલીક ઔપચારિક પ્રણાલીમાં વ્યક્ત કરવામાં આવેલી દરખાસ્તો છે. ઉદાહરણો જો વરસાદ પડશે, તો હું મારો કોટ પહેરીશ. તેથી, જો વરસાદ પડશે તો વરસાદ પડશે અને હું મારો કોટ પહેરીશ. સત્ય કોષ્ટક દ્વારા પુરાવો ઔપચારિક પુરાવો એબ્સોર્પ્શન લૉ સંદર્ભો પ્રપોઝિશનલ લોજિકમાં અનુમાન પ્રમેયોના નિયમો પણ જુઓ.