Rule of replacement
தர்க்கத்தில், மாற்றுவதற்கான விதி என்பது ஒரு வெளிப்பாட்டின் ஒரு குறிப்பிட்ட பகுதிக்கு மட்டுமே பயன்படுத்தக்கூடிய ஒரு உருமாற்ற விதி ஆகும். ஒரு தர்க்கரீதியான அமைப்பு கட்டமைக்கப்படலாம், இதனால் அது கோட்பாடுகள், அனுமான விதிகள் அல்லது இரண்டையும் அமைப்பில் தர்க்கரீதியான வெளிப்பாடுகளுக்கான மாற்ற விதிகளாகப் பயன்படுத்துகிறது. ஒரு அனுமான விதி எப்போதும் ஒரு முழு தர்க்கரீதியான வெளிப்பாட்டிற்கு பயன்படுத்தப்படும் அதே வேளையில், மாற்றுவதற்கான விதி ஒரு குறிப்பிட்ட பிரிவுக்கு மட்டுமே பயன்படுத்தப்படலாம். ஒரு தர்க்கரீதியான ஆதாரத்தின் சூழலில், தர்க்கரீதியாக சமமான வெளிப்பாடுகள் ஒருவருக்கொருவர் மாற்றப்படலாம். முன்மொழிவுகளை கையாள முன்மொழிவு தர்க்கத்தில் மாற்று விதிகள் பயன்படுத்தப்படுகின்றன. டி மோர்கனின் சட்டங்கள், பரிமாற்றம், சங்கம், விநியோகம், இரட்டை மறுப்பு, இடமாற்றம், பொருள் உட்குறிப்பு, தர்க்கரீதியான சமநிலை, ஏற்றுமதி மற்றும் டாட்டாலஜி ஆகியவை மாற்றுவதற்கான பொதுவான விதிகளில் அடங்கும். அட்டவணைஃ மாற்றுவதற்கான விதிகள் மேலே உள்ள விதிகளை பின்வரும் அட்டவணையில் சுருக்கலாம். கொடுக்கப்பட்ட விதியின் குறியீட்டை எவ்வாறு விளக்குவது என்பதை "டாட்டாலஜி" நெடுவரிசை காட்டுகிறது. மேலும் காண்கஃ சால்வா சரிபார்ப்பு குறிப்புகள் குறிப்புகள் முன்மொழிவு கால்குலஸ் அனுமான தர்க்கரீதியான வெளிப்பாடுகளின் விதிகள்