Models And Counter-Examples
ಗದೆಯು "ಮಾಡೆಲ್ಸ್ ಅಂಡ್ ಕೌಂಟರ್-ಎಕ್ಸಾಂಪಲ್ಸ್" ಅನ್ನು ಸೂಚಿಸುತ್ತದೆ ಮತ್ತು ಇದು ಮಾದರಿ ಶೋಧಕವಾಗಿದೆ. ಹೆಚ್ಚಿನ ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯ ಪ್ರತಿಪಾದಕರು ಪುರಾವೆ ಸಮಸ್ಯೆಯ ಸಾಮಾನ್ಯ ರೂಪದ ಷರತ್ತಿನ ಮೇಲೆ ನಿರಾಕರಣೆಯ ಮೂಲಕ ಪುರಾವೆಯನ್ನು ನಿರ್ವಹಿಸಲು ಪ್ರಯತ್ನಿಸುತ್ತಾರೆ, ಆಧಾರಸೂತ್ರಗಳು ಮತ್ತು ನಿರಾಕರಿಸಿದ ಊಹೆಗಳ ಸಂಯೋಜನೆಯು ಎಂದಿಗೂ ಏಕಕಾಲದಲ್ಲಿ ನಿಜವಾಗುವುದಿಲ್ಲ ಎಂದು ತೋರಿಸುವ ಮೂಲಕ, ಅಂದರೆ. ಮಾದರಿ ಇಲ್ಲ. ಮತ್ತೊಂದೆಡೆ, ಮೇಸ್ನಂತಹ ಮಾದರಿ ಶೋಧಕನು ಷರತ್ತುಗಳ ಗುಂಪಿನ ಸ್ಪಷ್ಟ ಮಾದರಿಯನ್ನು ಕಂಡುಹಿಡಿಯಲು ಪ್ರಯತ್ನಿಸುತ್ತಾನೆ. ಅದು ಯಶಸ್ವಿಯಾದರೆ, ಇದು ಊಹೆಯ ಪ್ರತಿ-ಉದಾಹರಣೆಗೆ ಅನುರೂಪವಾಗಿದೆ, ಅಂದರೆ. ಇದು (ಹಕ್ಕು ಸಾಧಿಸಿದ) ಪ್ರಮೇಯವನ್ನು ನಿರಾಕರಿಸುತ್ತದೆ. ಗದೆಯು ಜಿ. ಎನ್. ಯು. ಜಿ. ಪಿ. ಎಲ್. ಪರವಾನಗಿ ಹೊಂದಿದೆ. ಓಟರ್ (ಸಿದ್ಧಾಂತದ ನಾಣ್ಣುಡಿ) ನಾಣ್ಣುಡಿ 9 ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಸಿಸ್ಟಮ್ ಡೌನ್ಲೋಡ್ ಉಚಿತ ಪ್ರಮೇಯವು ಉಚಿತ ತಂತ್ರಾಂಶವನ್ನು ಸೂಚಿಸುತ್ತದೆ