Rule of replacement
तर्क में, प्रतिस्थापन का नियम एक परिवर्तन नियम है जिसे अभिव्यक्ति के केवल एक विशेष खंड पर लागू किया जा सकता है। एक तार्किक प्रणाली का निर्माण किया जा सकता है ताकि यह प्रणाली में तार्किक अभिव्यक्तियों के लिए परिवर्तन नियमों के रूप में या तो स्वयंसिद्धियों, अनुमान के नियमों या दोनों का उपयोग करे। जबकि अनुमान का नियम हमेशा एक संपूर्ण तार्किक अभिव्यक्ति पर लागू होता है, प्रतिस्थापन का नियम केवल एक विशेष खंड पर लागू किया जा सकता है। एक तार्किक प्रमाण के संदर्भ में, तार्किक रूप से समतुल्य अभिव्यक्तियाँ एक दूसरे की जगह ले सकती हैं। प्रतिस्थापन के नियमों का उपयोग प्रस्तावों में हेरफेर करने के लिए प्रस्ताव तर्क में किया जाता है। प्रतिस्थापन के सामान्य नियमों में डी मॉर्गन के नियम, कम्यूटेशन, एसोसिएशन, वितरण, दोहरा निषेध, स्थानांतरण, सामग्री निहितार्थ, तार्किक समतुल्यता, निर्यात और तानाशाही शामिल हैं। तालिकाः प्रतिस्थापन के नियम उपरोक्त नियमों का सारांश निम्नलिखित तालिका में दिया जा सकता है। "टाउटोलॉजी" कॉलम दिखाता है कि किसी दिए गए नियम के संकेतन की व्याख्या कैसे की जाए। साल्वा वेरिटेट नोट्स संदर्भ प्रस्तावात्मक कलन अनुमान तार्किक अभिव्यक्तियों के नियम भी देखें।