Predicate abstraction
ತರ್ಕಶಾಸ್ತ್ರದಲ್ಲಿ, ಮುನ್ಸೂಚನೆಯ ಅಮೂರ್ತತೆಯು ಒಂದು ಸೂತ್ರದಿಂದ ಮುನ್ಸೂಚನೆಯನ್ನು ರಚಿಸುವ ಪರಿಣಾಮವಾಗಿದೆ. ಕ್ಯೂ ಯಾವುದೇ ಸೂತ್ರವಾಗಿದ್ದರೆ, ಆ ವಾಕ್ಯದಿಂದ ರೂಪುಗೊಂಡ ವಿಧೇಯ ಅಮೂರ್ತತೆಯು (λx. ಕ್ಯೂ) ಆಗಿರುತ್ತದೆ, ಅಲ್ಲಿ λ ಒಂದು ಅಮೂರ್ತ ಆಪರೇಟರ್ ಆಗಿರುತ್ತದೆ ಮತ್ತು ಇದರಲ್ಲಿ ಕ್ಯೂ ನಲ್ಲಿ ಮುಕ್ತವಾಗಿರುವ x ನ ಪ್ರತಿಯೊಂದು ಘಟನೆಯು λ ಇನ್ (λx. ಕ್ಯೂ) ನಿಂದ ಬಂಧಿಸಲ್ಪಡುತ್ತದೆ. (λx. Q (x)) ಎಂಬುದು (λx. Q (x)) (t) ನಲ್ಲಿರುವಂತೆ t ಎಂಬ ಪದವನ್ನು ವಾದವಾಗಿ ತೆಗೆದುಕೊಳ್ಳುವ ಸಾಮರ್ಥ್ಯವಿರುವ ಒಂದು ಮೊನಾಡಿಕ್ ಮುನ್ಸೂಚನೆಯಾಗಿದೆ, ಇದು 't' ನಿಂದ ಸೂಚಿಸಲಾದ ವಸ್ತುವು Q ಎಂಬ ಗುಣಲಕ್ಷಣವನ್ನು ಹೊಂದಿದೆ ಎಂದು ಹೇಳುತ್ತದೆ. ಸ್ಥಿತಿಗಳು (λx. Q (x)) (t) ಷ್ಣ Q (t/x) ಅಲ್ಲಿ Q (t/x) ಎಂಬುದು x ನ ಎಲ್ಲಾ ಮುಕ್ತ ಘಟನೆಗಳನ್ನು t ನಿಂದ ಬದಲಿಸುವ ಫಲಿತಾಂಶವಾಗಿದೆ. ಈ ನಿಯಮವು ಕನಿಷ್ಠ ಎರಡು ಸಂದರ್ಭಗಳಲ್ಲಿ ಸಾಮಾನ್ಯವಾಗಿ ವಿಫಲಗೊಳ್ಳುತ್ತದೆ ಎಂದು ತೋರಿಸಲಾಗಿದೆಃ (i) t ಉಲ್ಲೇಖಾರ್ಹವಲ್ಲದಿದ್ದಾಗ ಮತ್ತು (ii) Q ಮಾದರಿ ನಿರ್ವಾಹಕರನ್ನು ಹೊಂದಿರುವಾಗ. ಮಾದರಿ ತರ್ಕದಲ್ಲಿ "ಡಿ ರೆ/ಡಿ ಡಿಕ್ಟೋ ವ್ಯತ್ಯಾಸ" ವನ್ನು 1 ಎಂದು ಹೇಳಲಾಗಿದೆ. (ಡಿ ಡಿಕ್ಟೋ): 2. (ಡಿಇಆರ್ಇ): (1) ರಲ್ಲಿ ಮೋಡಲ್ ಆಪರೇಟರ್ ಸೂತ್ರ ಎ (ಟಿ) ಗೆ ಅನ್ವಯಿಸುತ್ತದೆ ಮತ್ತು ಟಿ ಎಂಬ ಪದವು ಮೋಡಲ್ ಆಪರೇಟರ್ನ ವ್ಯಾಪ್ತಿಯಲ್ಲಿದೆ. (2) ಟಿಯಲ್ಲಿ ಮೋಡಲ್ ಆಪರೇಟರ್ನ ವ್ಯಾಪ್ತಿಗೆ ಬರುವುದಿಲ್ಲ. ಪ್ರಿಡಿಕೇಟ್ ಅಬ್ಸ್ಟ್ರಾಕ್ಷನ್ನ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ ಮತ್ತು ಮತ್ತಷ್ಟು ತಾತ್ವಿಕ ಬೆಳವಣಿಗೆಗಳ ಉಲ್ಲೇಖಗಳು ಫಿಟ್ಟಿಂಗ್ ಮತ್ತು ಮೆಂಡೆಲ್ಸೋನ್, ಫಸ್ಟ್-ಆರ್ಡರ್ ಮಾಡಲ್ ಲಾಜಿಕ್, ಸ್ಪ್ರಿಂಗರ್, 1999 ಅನ್ನು ನೋಡಿ. ಮಾದರಿ ತರ್ಕ ತಾತ್ವಿಕ ತರ್ಕ