Exportation (logic)
ರಫ್ತು ಎಂಬುದು ಪ್ರತಿಪಾದನೆಯ ತರ್ಕದಲ್ಲಿ ಬದಲಿಸುವ ಮಾನ್ಯ ನಿಯಮವಾಗಿದೆ. ಈ ನಿಯಮವು ಕಾಂಜಂಕ್ಟಿವ್ ಪೂರ್ವವರ್ತಿಗಳನ್ನು ಹೊಂದಿರುವ ಷರತ್ತುಬದ್ಧ ಹೇಳಿಕೆಗಳನ್ನು ಷರತ್ತುಬದ್ಧ ಪರಿಣಾಮಗಳನ್ನು ಹೊಂದಿರುವ ಹೇಳಿಕೆಗಳಿಂದ ಬದಲಾಯಿಸಲು ಮತ್ತು ತಾರ್ಕಿಕ ಪುರಾವೆಗಳಲ್ಲಿ ಪ್ರತಿಯಾಗಿ ಅನುಮತಿಸುತ್ತದೆ. ಇದು ನಿಯಮವಾಗಿದೆಃ ಎಲ್ಲಿ "" ಪ್ರತಿನಿಧಿಸುವ ಲೋಹಶಾಸ್ತ್ರದ ಚಿಹ್ನೆಯನ್ನು ಪುರಾವೆಯಲ್ಲಿ ಬದಲಾಯಿಸಬಹುದು ". ಕಟ್ಟುನಿಟ್ಟಾದ ಪರಿಭಾಷೆಯಲ್ಲಿ, ಇದು ರಫ್ತಿನ ನಿಯಮವಾಗಿದೆ, ಏಕೆಂದರೆ ಇದು ಅದರ ಪೂರ್ವಭಾವಿಯಿಂದ ಅದರ ಪರಿಣಾಮಕ್ಕೆ ಒಂದು ಪ್ರಸ್ತಾಪವನ್ನು "ರಫ್ತು ಮಾಡುತ್ತದೆ". ಇದರ ತದ್ವಿರುದ್ಧವಾದ, ಆಮದು ಮಾಡುವ ನಿಯಮವು, ಅದರ ಪೂರ್ವವರ್ತಿಯ ಪರಿಣಾಮದಿಂದ ಪ್ರಸ್ತಾಪವನ್ನು "ಆಮದು ಮಾಡಿಕೊಳ್ಳುತ್ತದೆ". ಔಪಚಾರಿಕ ಸಂಕೇತ ರಫ್ತು ನಿಯಮವನ್ನು ಅನುಕ್ರಮ ಸಂಕೇತದಲ್ಲಿ ಬರೆಯಬಹುದುಃ ಅಲ್ಲಿ ಲೋಹಶಾಸ್ತ್ರದ ಚಿಹ್ನೆ ಎಂದರೆ ಕೆಲವು ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ವಾಕ್ಯರಚನೆಗೆ ಸಮಾನವಾದದ್ದು; ಅಥವಾ ನಿಯಮದ ರೂಪದಲ್ಲಿಃ, ಅಲ್ಲಿ ನಿಯಮವೆಂದರೆ ಪುರಾವೆಯ ಸಾಲಿನಲ್ಲಿ "" ನ ಒಂದು ನಿದರ್ಶನವು ಕಾಣಿಸಿಕೊಳ್ಳುವಲ್ಲೆಲ್ಲಾ ಅದನ್ನು "" ಎಂದು ಬದಲಾಯಿಸಬಹುದು ಮತ್ತು ಪ್ರತಿಯಾಗಿ; ಅಥವಾ ಸತ್ಯ-ಕ್ರಿಯಾತ್ಮಕ ಟಾಟಾಲಜಿ ಅಥವಾ ಪ್ರೊಪೊಸಿಷನಲ್ ಲಾಜಿಕ್ ಪ್ರಮೇಯದ ಹೇಳಿಕೆಯಾಗಿಃ ಎಲ್ಲಿ, ಮತ್ತು ಕೆಲವು ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ವ್ಯಕ್ತಪಡಿಸಲಾದ ಪ್ರಸ್ತಾಪಗಳಾಗಿವೆ. ನೈಸರ್ಗಿಕ ಭಾಷೆಯ ಸತ್ಯದ ಮೌಲ್ಯಗಳು ಯಾವುದೇ ಸಮಯದಲ್ಲಿ, ಪಿ → ಕ್ಯೂ ನಿಜವಾಗಿದ್ದರೆ, ಅದನ್ನು ಪಿ → (ಪಿ. ಕ್ಯೂ) ನಿಂದ ಬದಲಾಯಿಸಬಹುದು. ಪಿ → ಕ್ಯೂಗೆ ಒಂದು ಸಂಭವನೀಯ ಪ್ರಕರಣವೆಂದರೆ ಪಿ ನಿಜವಾಗುವುದು ಮತ್ತು ಕ್ಯೂ ನಿಜವಾಗುವುದು; ಹೀಗಾಗಿ ಪಿ ಕ್ಯೂ ಸಹ ನಿಜವಾಗಿದೆ, ಮತ್ತು ಪಿ → (ಪಿ ಕ್ಯೂ) ನಿಜವಾಗಿದೆ. ಮತ್ತೊಂದು ಸಂಭವನೀಯ ಪ್ರಕರಣವು ಪಿ ಅನ್ನು ಸುಳ್ಳು ಮತ್ತು ಕ್ಯೂ ಅನ್ನು ನಿಜವೆಂದು ಹೊಂದಿಸುತ್ತದೆ. ಹೀಗಾಗಿ, PwQ ಸುಳ್ಳಾಗಿದೆ ಮತ್ತು P → (PwQ) ಸುಳ್ಳಾಗಿದೆ; ಸುಳ್ಳ → ಸುಳ್ಳಾಗಿದೆ. ಪಿ ಮತ್ತು ಕ್ಯೂ ಎರಡೂ ತಪ್ಪಾದಾಗ ಕೊನೆಯ ಪ್ರಕರಣವು ಸಂಭವಿಸುತ್ತದೆ. ಹೀಗಾಗಿ, PwQ ತಪ್ಪಾಗಿದೆ ಮತ್ತು P → (PwQ) ನಿಜವಾಗಿದೆ. ಉದಾಹರಣೆ ಇದು ಮಳೆ ಮತ್ತು ಸೂರ್ಯನ ಹೊಳೆಯುವಿಕೆಯು ಮಳೆಬಿಲ್ಲಿದೆ ಎಂದು ಸೂಚಿಸುತ್ತದೆ. ಹೀಗಾಗಿ, ಮಳೆ ಬಂದರೆ, ಸೂರ್ಯನು ಹೊಳೆಯುತ್ತಾನೆ ಎಂದರೆ ಮಳೆಬಿಲ್ಲಿದೆ ಎಂದು ಸೂಚಿಸುತ್ತದೆ. ನನ್ನ ಕಾರು ಆನ್ ಆಗಿದ್ದರೆ, ನಾನು ಗೇರ್ ಅನ್ನು ಡಿ ಗೆ ಬದಲಾಯಿಸಿದಾಗ ಕಾರು ಹೋಗಲು ಪ್ರಾರಂಭಿಸುತ್ತದೆ. ನನ್ನ ಕಾರು ಆನ್ ಆಗಿದ್ದರೆ ಮತ್ತು ನಾನು ಗೇರ್ ಅನ್ನು ಡಿ ಗೆ ಬದಲಾಯಿಸಿದ್ದರೆ, ಕಾರು ಹೋಗಲು ಪ್ರಾರಂಭಿಸಬೇಕು. ಪುರಾವೆ ಈ ಕೆಳಗಿನ ಪುರಾವೆಯು ಫಲಿತಾಂಶವನ್ನು ಪಡೆಯಲು ವಸ್ತು ಸೂಚ್ಯಂಕ, ಡಬಲ್ ನಿರಾಕರಣೆ, ಡಿ ಮೋರ್ಗನ್ ಅವರ ನಿಯಮಗಳು, ಷರತ್ತುಬದ್ಧ ಹೇಳಿಕೆಯ ನಿರಾಕರಣೆ, ಸಂಯೋಜನೆಯ ಸಹಾಯಕ ಗುಣಲಕ್ಷಣ, ಮತ್ತೊಂದು ಷರತ್ತುಬದ್ಧ ಹೇಳಿಕೆಯ ನಿರಾಕರಣೆ ಮತ್ತು ಮತ್ತೆ ಡಬಲ್ ನಿರಾಕರಣೆಯನ್ನು ಬಳಸುತ್ತದೆ. ಕಾರ್ಯಗಳಿಗೆ ಸಂಬಂಧ ರಫ್ತು ಮಾಡುವುದು ಕರಿ-ಹೋವರ್ಡ್ ಪತ್ರವ್ಯವಹಾರದ ಮೂಲಕ ಅಡುಗೆ ಮಾಡುವುದರೊಂದಿಗೆ ಸಂಬಂಧಿಸಿದೆ. ಪ್ರತಿಪಾದನೆಯ ತರ್ಕದಲ್ಲಿನ ಪ್ರಮೇಯಗಳ ನಿಯಮಗಳು