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