Absorption (logic)
உறிஞ்சுதல் என்பது ஒரு சரியான வாத வடிவம் மற்றும் முன்மொழிவு தர்க்கத்தின் அனுமானத்தின் விதி. விதி குறிப்பிடுகிறது என்றால், பின்னர் குறிக்கிறது மற்றும். இந்த விதி ஆதாரங்களுடன் இணைப்புகளை அறிமுகப்படுத்துவதை சாத்தியமாக்குகிறது. இது உறிஞ்சுதல் விதி என்று அழைக்கப்படுகிறது, ஏனெனில் இதன் விளைவாக இந்த சொல் "உறிஞ்சப்படுகிறது". விதியை கூறலாம்ஃ விதி என்னவென்றால், "ஒரு ஆதாரத்தின் வரிசையில் தோன்றும்" ஒரு உதாரணம் எங்கு இருந்தாலும், அடுத்தடுத்த வரியில் வைக்கப்படலாம். முறையான குறியீடு உறிஞ்சுதல் விதி ஒரு தொடர்ச்சியாக வெளிப்படுத்தப்படலாம்ஃ ஒரு உலோகவியல் சின்னம் என்றால் சில தர்க்கரீதியான அமைப்பில் ஒரு சொற்பொருள் விளைவு என்று பொருள்; மற்றும் ஒரு உண்மை-செயல்பாட்டு டாட்டாலஜி அல்லது முன்மொழிவு தர்க்கத்தின் தேற்றமாக வெளிப்படுத்தப்படுகிறது. இந்த கோட்பாடு ரஸ்ஸல் மற்றும் வைட்ஹெட் ஆகியோரால் முன்மொழிவு தர்க்கத்தின் தேற்றமாக பிரின்சிபியா கணிதத்தில் பின்வருமாறு கூறப்பட்டதுஃ எங்கே, மற்றும் சில முறையான அமைப்பில் வெளிப்படுத்தப்படும் முன்மொழிவுகள். எடுத்துக்காட்டாக, மழை பெய்தால், நான் என் கோட் அணிவேன். எனவே, மழை பெய்தால் மழை பெய்யும், நான் என் கோட் அணிந்துகொள்வேன். உண்மை அட்டவணை மூலம் ஆதாரம் முறையான ஆதாரம் மேலும் காண்க உறிஞ்சுதல் சட்டம் குறிப்புகள் முன்மொழிவு தர்க்கத்தில் அனுமான தேற்றங்களின் விதிகள்