Rule of replacement
ತರ್ಕಶಾಸ್ತ್ರದಲ್ಲಿ, ಬದಲಿ ನಿಯಮವು ಅಭಿವ್ಯಕ್ತಿಯ ಒಂದು ನಿರ್ದಿಷ್ಟ ಭಾಗಕ್ಕೆ ಮಾತ್ರ ಅನ್ವಯಿಸಬಹುದಾದ ಪರಿವರ್ತನೆಯ ನಿಯಮವಾಗಿದೆ. ಒಂದು ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಯನ್ನು ನಿರ್ಮಿಸಬಹುದು, ಇದರಿಂದಾಗಿ ಅದು ಸೂತ್ರಗಳು, ತೀರ್ಮಾನದ ನಿಯಮಗಳು ಅಥವಾ ಎರಡನ್ನೂ ವ್ಯವಸ್ಥೆಯಲ್ಲಿನ ತಾರ್ಕಿಕ ಅಭಿವ್ಯಕ್ತಿಗಳಿಗೆ ಪರಿವರ್ತನೆಯ ನಿಯಮಗಳಾಗಿ ಬಳಸುತ್ತದೆ. ತೀರ್ಮಾನದ ನಿಯಮವನ್ನು ಯಾವಾಗಲೂ ಸಂಪೂರ್ಣ ತಾರ್ಕಿಕ ಅಭಿವ್ಯಕ್ತಿಗೆ ಅನ್ವಯಿಸಲಾಗುತ್ತದೆಯಾದರೂ, ಬದಲಿ ನಿಯಮವನ್ನು ನಿರ್ದಿಷ್ಟ ವಿಭಾಗಕ್ಕೆ ಮಾತ್ರ ಅನ್ವಯಿಸಬಹುದು. ತಾರ್ಕಿಕ ಪುರಾವೆಯ ಸಂದರ್ಭದಲ್ಲಿ, ತಾರ್ಕಿಕವಾಗಿ ಸಮಾನವಾದ ಅಭಿವ್ಯಕ್ತಿಗಳು ಪರಸ್ಪರ ಬದಲಾಗಬಹುದು. ಪ್ರಸ್ತಾಪಗಳನ್ನು ಕುಶಲತೆಯಿಂದ ನಿರ್ವಹಿಸಲು ಪ್ರಸ್ತಾಪದ ತರ್ಕದಲ್ಲಿ ಬದಲಿ ನಿಯಮಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಬದಲಿಯ ಸಾಮಾನ್ಯ ನಿಯಮಗಳಲ್ಲಿ ಡಿ ಮೋರ್ಗನ್ ಅವರ ನಿಯಮಗಳು, ಸಂವಹನ, ಸಂಯೋಜನೆ, ವಿತರಣೆ, ಡಬಲ್ ನಿರಾಕರಣೆ, ವರ್ಗಾವಣೆ, ವಸ್ತು ಸೂಚ್ಯಂಕ, ತಾರ್ಕಿಕ ಸಮಾನತೆ, ರಫ್ತು ಮತ್ತು ಟಾಟಾಲಜಿ ಸೇರಿವೆ. ಕೋಷ್ಟಕಃ ಬದಲಿ ನಿಯಮಗಳು ಮೇಲಿನ ನಿಯಮಗಳನ್ನು ಈ ಕೆಳಗಿನ ಕೋಷ್ಟಕದಲ್ಲಿ ಸಂಕ್ಷೇಪಿಸಬಹುದು. ನಿರ್ದಿಷ್ಟ ನಿಯಮದ ಸಂಕೇತವನ್ನು ಹೇಗೆ ಅರ್ಥೈಸಿಕೊಳ್ಳಬೇಕು ಎಂಬುದನ್ನು "ಟಾಟಾಲಜಿ" ಅಂಕಣವು ತೋರಿಸುತ್ತದೆ. ಸಾಲ್ವಾ ವೆರಿಟೇಟ್ ನೋಟ್ಸ್ ರೆಫೆರೆನ್ಸ್ ಪ್ರೊಪೊಸಿಷನಲ್ ಕ್ಯಾಲ್ಕುಲಸ್ ರೂಲ್ಸ್ ಆಫ್ ಇನ್ಫೆರೆನ್ಸ್ ಲಾಜಿಕಲ್ ಎಕ್ಸ್ಪ್ರೆಶನ್ಗಳನ್ನೂ ನೋಡಿ.