Convergence (logic)
ಗಣಿತಶಾಸ್ತ್ರ, ಗಣಕಯಂತ್ರ ವಿಜ್ಞಾನ ಮತ್ತು ತರ್ಕಶಾಸ್ತ್ರದಲ್ಲಿ, ಪರಿವರ್ತನೆಗಳ ವಿವಿಧ ಅನುಕ್ರಮಗಳು ಒಂದು ಸೀಮಿತ ಅವಧಿಯಲ್ಲಿ ಒಂದು ತೀರ್ಮಾನಕ್ಕೆ ಬರುತ್ತವೆ (ರೂಪಾಂತರಗಳು ಕೊನೆಗೊಳ್ಳುತ್ತಿವೆ) ಮತ್ತು ತಲುಪಿದ ತೀರ್ಮಾನವು ಅದನ್ನು ತಲುಪಲು ತೆಗೆದುಕೊಳ್ಳುವ ಮಾರ್ಗದಿಂದ ಸ್ವತಂತ್ರವಾಗಿದೆ (ಅವು ಸಮ್ಮಿಶ್ರವಾಗಿವೆ) ಎಂಬ ಕಲ್ಪನೆಯು ಒಮ್ಮುಖವಾಗಿದೆ. ಹೆಚ್ಚು ಔಪಚಾರಿಕವಾಗಿ, ಪೂರ್ವನಿಯೋಜಿತ ಪದದ ಮರುಬರಹ ರೂಪಾಂತರಗಳು ಒಗ್ಗೂಡಿದರೆ ಮತ್ತು ಕೊನೆಗೊಂಡರೆ ಅವು ಒಮ್ಮುಖವಾಗಿರುತ್ತವೆ ಎಂದು ಹೇಳಲಾಗುತ್ತದೆ. ಲಾಜಿಕಲ್ ಈಕ್ವಿಲೆನ್ಸ್ ರೂಲ್ ಆಫ್ ರಿಪ್ಲೇಸ್ಮೆಂಟ್ ರೆಫೆರೆನ್ಸ್ ರೀ ರೈಟಿಂಗ್ ಸಿಸ್ಟಮ್ಸ್ ಅನ್ನು ಸಹ ನೋಡಿ.