Proof procedure
तर्क में, और विशेष रूप से प्रमाण सिद्धांत में, किसी दिए गए तर्क के लिए एक प्रमाण प्रक्रिया (सिद्ध करने योग्य) बयानों के कुछ प्रमाण गणना में प्रमाण उत्पन्न करने के लिए एक व्यवस्थित विधि है। उपयोग की जाने वाली प्रमाण गणना के प्रकार कई प्रकार की प्रमाण गणना होती हैं। सबसे लोकप्रिय प्राकृतिक कटौती, अनुक्रमिक गणना (यानी, जेंटज़न-प्रकार प्रणाली), हिल्बर्ट प्रणाली और शब्दार्थ झांकी या पेड़ हैं। एक दी गई प्रमाण प्रक्रिया एक विशिष्ट प्रमाण गणना को लक्षित करेगी, लेकिन अक्सर इसे फिर से बनाया जा सकता है ताकि अन्य प्रमाण शैलियों में प्रमाण का उत्पादन किया जा सके। पूर्णता किसी तर्क के लिए एक प्रमाण प्रक्रिया तब पूरी होती है जब वह प्रत्येक सिद्ध करने योग्य कथन के लिए एक प्रमाण प्रस्तुत करता है। तार्किक प्रणालियों के प्रमेय आम तौर पर पुनरावर्ती रूप से गणना योग्य होते हैं, जो एक पूर्ण लेकिन आमतौर पर बेहद अक्षम प्रमाण प्रक्रिया के अस्तित्व का तात्पर्य है; हालाँकि, एक प्रमाण प्रक्रिया केवल तभी दिलचस्प होती है जब यह उचित रूप से कुशल हो। एक अप्रमाणित कथन का सामना करते हुए, एक पूर्ण प्रमाण प्रक्रिया कभी-कभी इसकी अप्रमाणिकता का पता लगाने और संकेत देने में सफल हो सकती है। सामान्य मामले में, जहां प्रोवेबिलिटी केवल एक अर्ध-संभावित गुण है, यह संभव नहीं है, और इसके बजाय प्रक्रिया अलग हो जाएगी (समाप्त नहीं होगी)। प्रमाण जटिलता प्रमाण झांकी कटौती प्रणाली प्रमाण (सत्य) संदर्भ विलार्ड क्वाइन 1982 (1950) को साबित करने वाली स्वचालित प्रमेय भी देखें। तर्क के तरीके। हार्वर्ड विश्वविद्यालय। प्रेस करें। प्रमाण सिद्धांत