पूर्णता (तर्क): Difference between revisions

Latest revision as of 09:05, 15 June 2023

गणितीय तर्क और धातु विज्ञान में, एक औपचारिक प्रणाली को एक विशेष संपत्ति (दर्शन) के संबंध में पूर्ण कहा जाता है यदि संपत्ति वाले प्रत्येक अच्छी तरह से गठित सूत्र उस प्रणाली का उपयोग करके औपचारिक प्रमाण हो सकता है, अर्थात इसके प्रमेय में से एक है; अन्यथा प्रणाली को अधूरा कहा जाता है। पूर्ण शब्द का उपयोग योग्यता के बिना भी किया जाता है, संदर्भ के आधार पर अलग-अलग अर्थों के साथ, ज्यादातर अर्थ संबंधी वैधता (तर्क) की संपत्ति का चर्चा करते हैं। सहज रूप से, एक प्रणाली को इस विशेष अर्थ में पूर्ण कहा जाता है, यदि यह हर उस सूत्र को प्राप्त कर सकता है जो सत्य है।

पूर्णता से संबंधित अन्य गुण

संपत्ति बातचीत (तर्क) पूर्णता के लिए स्पष्ट बातचीत को ध्वनि कहा जाता है: एक प्रणाली एक संपत्ति के संबंध में ध्वनि है (ज्यादातर शब्दार्थ वैधता) यदि उसके प्रत्येक प्रमेय में वह संपत्ति है।

पूर्णता के रूप

अभिव्यंजक पूर्णता

एक औपचारिक भाषा अभिव्यंजक रूप से पूर्ण होती है यदि वह उस विषय वस्तु को व्यक्त कर सकती है जिसके लिए उसका निश्चय है।

कार्यात्मक पूर्णता

एक औपचारिक प्रणाली से जुड़े तार्किक संयोजक का एक सेट कार्यात्मक पूर्णता है यदि यह सभी प्रस्तावित कार्यों को व्यक्त कर सकता है।

शब्दार्थ पूर्णता

सिमेंटिक पूर्णता औपचारिक प्रणालियों के लिए सुदृढ़ता का विलोम (तर्क) है। एक औपचारिक प्रणाली तनातनी के संबंध में पूर्ण होती है या शब्दार्थ पूर्ण होती है जब उसके सभी पुनरुत्पादन (तर्क) प्रमेय होते हैं, जबकि एक औपचारिक प्रणाली ध्वनि होती है जब सभी प्रमेय पुनरुत्पादन होते हैं (अर्थात, वे शब्दार्थ रूप से मान्य सूत्र हैं: सूत्र जो हर व्याख्या के अनुसार सत्य हैं (तर्क) प्रणाली की भाषा जो प्रणाली के नियमों के अनुरूप है)। वह है,

\models _{\mathcal {S}}\varphi \ \to \ \vdash _{\mathcal {S}}\varphi .

^[1]

उदाहरण के लिए, गोडेल की पूर्णता प्रमेय प्रथम-क्रम तर्क के लिए सिमेंटिक पूर्णता स्थापित करता है।

मजबूत पूर्णता

एक औपचारिक प्रणाली S मजबूत अर्थों में पूर्ण या पूर्ण है यदि परिसर Γ के प्रत्येक सेट के लिए, Γ से अर्थपूर्ण रूप से अनुसरण करने वाला कोई सूत्र Γ से व्युत्पन्न है। वह है:

\Gamma \models _{\mathcal {S}}\varphi \ \to \ \Gamma \vdash _{\mathcal {S}}\varphi .

खंडन पूर्णता

एक औपचारिक प्रणाली S खंडन-पूर्ण है यदि यह सूत्रों के प्रत्येक असंतुष्ट सेट से झूठा (तर्क) प्राप्त करने में सक्षम है। वह है,

\Gamma \models _{\mathcal {S}}\bot \to \ \Gamma \vdash _{\mathcal {S}}\bot .

^[2]

प्रत्येक दृढ़ता से पूर्ण प्रणाली भी खंडन-पूर्ण है। सहज रूप से, मजबूत पूर्णता का अर्थ है कि, एक सूत्र सेट दिया गया है $\Gamma$ , प्रत्येक शब्दार्थ परिणाम की गणना करना संभव है $\varphi$ का $\Gamma$ , जबकि खंडन-पूर्णता का अर्थ है कि, एक सूत्र सेट दिया गया है $\Gamma$ और एक सूत्र $\varphi$ , यह जांचना संभव है कि क्या $\varphi$ का शब्दार्थ परिणाम है $\Gamma$ .

खंडन-पूर्ण प्रणालियों के उदाहरणों में सम्मलित हैं: हॉर्न क्लॉज पर एसएलडी संकल्प, इक्वेशनल क्लॉज़ल फ़र्स्ट-ऑर्डर लॉजिक पर सुपरपोजिशन कैलकुलस, रिज़ॉल्यूशन (तर्क) फ़र्स्ट ऑर्डर लॉजिक में रिज़ॉल्यूशन | क्लॉज़ (लॉजिक) सेट पर रॉबिन्सन का रिज़ॉल्यूशन।^[3] उत्तरार्द्ध दृढ़ता से पूर्ण नहीं है: उदा। $\{a\}\models a\lor b$ प्रथम-क्रम तर्क के प्रस्तावनात्मक उपसमुच्चय में भी धारण करता है, परंतु $a\lor b$ से प्राप्त नहीं किया जा सकता $\{a\}$ संकल्प द्वारा। चूँकि, $\{a,\lnot (a\lor b)\}\vdash \bot$ प्राप्त किया जा सकता है।

वाक्यात्मक पूर्णता

एक औपचारिक प्रणाली S सिंटैक्टिक रूप से पूर्ण या निगमनात्मक रूप से पूर्ण या अधिकतम पूर्ण है यदि प्रत्येक वाक्य (गणितीय तर्क) (बंद सूत्र) के लिए सिस्टम की भाषा का φ या तो φ या ¬φ का एक प्रमेय है S. इसे कम्प्लीट_थ्योरी भी कहा जाता है, और सिमेंटिक पूर्णता से अधिक मजबूत है। एक अन्य अर्थ में, एक औपचारिक प्रणाली वाक्य रचनात्मक रूप से पूर्ण होती है यदि और केवल तभी जब असंगतता को प्रस्तुत किए बिना इसमें कोई अप्रमाणित वाक्य नहीं जोड़ा जा सकता है। प्रस्तावक कलन | ट्रुथ-फंक्शनल प्रोपोज़िशनल लॉजिक और फ़र्स्ट-ऑर्डर लॉजिक | फ़र्स्ट-ऑर्डर प्रेडिकेट लॉजिक सिमेंटिक रूप से पूर्ण हैं, लेकिन सिंटैक्टिक रूप से पूर्ण नहीं हैं (उदाहरण के लिए, प्रोपोज़िशनल लॉजिक स्टेटमेंट जिसमें एकल प्रोपोज़िशनल वेरिएबल A सम्मलित है, एक प्रमेय नहीं है, और न ही है इसका निषेध)। गोडेल की अपूर्णता प्रमेय | गोडेल की अपूर्णता प्रमेय से पता चलता है कि कोई भी पुनरावर्ती प्रणाली जो पर्याप्त रूप से शक्तिशाली है, जैसे कि पीनो अंकगणित, सुसंगत और वाक्य-विन्यास दोनों पूर्ण नहीं हो सकती है।

संरचनात्मक पूर्णता

अधीक्षणवादी तर्क और मॉडल तर्क में, एक तर्क संरचनात्मक रूप से पूर्ण होता है यदि प्रत्येक स्वीकार्य नियम व्युत्पन्न होता है।

संदर्भ

↑ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971
↑ David A. Duffy (1991). स्वचालित प्रमेय साबित करने के सिद्धांत. Wiley. Here: sect. 2.2.3.1, p.33
↑ Stuart J. Russell, Peter Norvig (1995). Artificial Intelligence: A Modern Approach. Prentice Hall. Here: sect. 9.7, p.286

[metalogic-1] Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971

[2] David A. Duffy (1991). स्वचालित प्रमेय साबित करने के सिद्धांत. Wiley. Here: sect. 2.2.3.1, p.33

[3] Stuart J. Russell, Peter Norvig (1995). Artificial Intelligence: A Modern Approach. Prentice Hall. Here: sect. 9.7, p.286

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{short description|Characteristic of some logical systems}}
 {{distinguish|पूर्ण (जटिलता)}}
-[[गणितीय तर्क]] और [[ धातु विज्ञान ]] में, एक [[औपचारिक प्रणाली]] को एक विशेष [[संपत्ति (दर्शन)]] के संबंध में पूर्ण कहा जाता है यदि संपत्ति वाले प्रत्येक [[अच्छी तरह से गठित सूत्र]] उस प्रणाली का उपयोग करके [[औपचारिक प्रमाण]] हो सकता है, अर्थात इसके [[प्रमेय]] में से एक है; अन्यथा प्रणाली को अधूरा कहा जाता है। पूर्ण शब्द का उपयोग योग्यता के बिना भी किया जाता है, संदर्भ के आधार पर अलग-अलग अर्थों के साथ, ज्यादातर अर्थ संबंधी [[वैधता (तर्क)]] की संपत्ति का जिक्र करते हैं। सहज रूप से, एक प्रणाली को इस विशेष अर्थ में पूर्ण कहा जाता है, अगर यह हर उस सूत्र को प्राप्त कर सकता है जो सत्य है।
+[[गणितीय तर्क]] और [[ धातु विज्ञान |धातु विज्ञान]] में, एक [[औपचारिक प्रणाली]] को एक विशेष [[संपत्ति (दर्शन)]] के संबंध में पूर्ण कहा जाता है यदि संपत्ति वाले प्रत्येक [[अच्छी तरह से गठित सूत्र]] उस प्रणाली का उपयोग करके [[औपचारिक प्रमाण]] हो सकता है, अर्थात इसके [[प्रमेय]] में से एक है; अन्यथा प्रणाली को अधूरा कहा जाता है। पूर्ण शब्द का उपयोग योग्यता के बिना भी किया जाता है, संदर्भ के आधार पर अलग-अलग अर्थों के साथ, ज्यादातर अर्थ संबंधी [[वैधता (तर्क)]] की संपत्ति का चर्चा करते हैं। सहज रूप से, एक प्रणाली को इस विशेष अर्थ में पूर्ण कहा जाता है, यदि यह हर उस सूत्र को प्राप्त कर सकता है जो सत्य है।
 == पूर्णता से संबंधित अन्य गुण ==
 {{main|दृढ़ता|संगतता}}
-संपत्ति बातचीत (तर्क) # पूर्णता के लिए स्पष्ट बातचीत को ध्वनि कहा जाता है: एक प्रणाली एक संपत्ति के संबंध में ध्वनि है (ज्यादातर शब्दार्थ वैधता) यदि उसके प्रत्येक प्रमेय में वह संपत्ति है।
+संपत्ति बातचीत (तर्क) पूर्णता के लिए स्पष्ट बातचीत को ध्वनि कहा जाता है: एक प्रणाली एक संपत्ति के संबंध में ध्वनि है (ज्यादातर शब्दार्थ वैधता) यदि उसके प्रत्येक प्रमेय में वह संपत्ति है।
-<!---subtleties of sound/consistent distinction needn't be explained here---
-Completeness, as a quality of logical systems, is closely related to [[consistency]]. A formal system is consistent if, for all formulas φ of the system, the formulas φ and ¬φ (the [[negation]] of φ) are not both theorems of the system (that is, they cannot be both proved with the rules of the system).
---->
-<!---not a good example, since dealing with axioms rather than inference rules; the axioms are incomplete only if the inference rules need to be sound---
-The axioms of [[Euclidean geometry]] without the [[parallel postulate]] are an example of an incomplete logical system.
---->
@@ Line 17: / Line 12: @@
 === अभिव्यंजक पूर्णता ===
-एक [[औपचारिक भाषा]] अभिव्यंजक रूप से पूर्ण होती है यदि वह उस विषय वस्तु को व्यक्त कर सकती है जिसके लिए उसका निश्चय  है।
+एक [[औपचारिक भाषा]] अभिव्यंजक रूप से पूर्ण होती है यदि वह उस विषय वस्तु को व्यक्त कर सकती है जिसके लिए उसका निश्चय है।
 === कार्यात्मक पूर्णता ===
@@ Line 40: / Line 35: @@
 प्रत्येक दृढ़ता से पूर्ण प्रणाली भी खंडन-पूर्ण है। सहज रूप से, मजबूत पूर्णता का अर्थ है कि, एक सूत्र सेट दिया गया है <math>\Gamma</math>, प्रत्येक शब्दार्थ परिणाम की गणना करना संभव है <math>\varphi</math> का <math>\Gamma</math>, जबकि खंडन-पूर्णता का अर्थ है कि, एक सूत्र सेट दिया गया है <math>\Gamma</math> और एक सूत्र <math>\varphi</math>, यह जांचना संभव है कि क्या <math>\varphi</math> का शब्दार्थ परिणाम है <math>\Gamma</math>.
-खंडन-पूर्ण प्रणालियों के उदाहरणों में सम्मलित हैं: [[हॉर्न क्लॉज]] पर [[एसएलडी संकल्प]], इक्वेशनल क्लॉज़ल फ़र्स्ट-ऑर्डर लॉजिक पर [[सुपरपोजिशन कैलकुलस]], रिज़ॉल्यूशन (तर्क) # फ़र्स्ट ऑर्डर लॉजिक में रिज़ॉल्यूशन | क्लॉज़ (लॉजिक) सेट पर रॉबिन्सन का रिज़ॉल्यूशन।<ref>{{cite book| author=[[Stuart J. Russell]], [[Peter Norvig]]| title=[[Artificial Intelligence: A Modern Approach]]| year=1995| publisher=Prentice Hall}} Here: sect. 9.7, p.286</ref> उत्तरार्द्ध दृढ़ता से पूर्ण नहीं है: उदा। <math> \{ a \} \models a \lor b</math> प्रथम-क्रम तर्क के प्रस्तावनात्मक उपसमुच्चय में भी धारण करता है, परंतु <math>a \lor b</math> से प्राप्त नहीं किया जा सकता <math>\{ a \}</math> संकल्प द्वारा। हालाँकि, <math>\{ a, \lnot (a \lor b) \} \vdash \bot</math> प्राप्त किया जा सकता है।
+खंडन-पूर्ण प्रणालियों के उदाहरणों में सम्मलित हैं: [[हॉर्न क्लॉज]] पर [[एसएलडी संकल्प]], इक्वेशनल क्लॉज़ल फ़र्स्ट-ऑर्डर लॉजिक पर [[सुपरपोजिशन कैलकुलस]], रिज़ॉल्यूशन (तर्क) फ़र्स्ट ऑर्डर लॉजिक में रिज़ॉल्यूशन | क्लॉज़ (लॉजिक) सेट पर रॉबिन्सन का रिज़ॉल्यूशन।<ref>{{cite book| author=[[Stuart J. Russell]], [[Peter Norvig]]| title=[[Artificial Intelligence: A Modern Approach]]| year=1995| publisher=Prentice Hall}} Here: sect. 9.7, p.286</ref> उत्तरार्द्ध दृढ़ता से पूर्ण नहीं है: उदा। <math> \{ a \} \models a \lor b</math> प्रथम-क्रम तर्क के प्रस्तावनात्मक उपसमुच्चय में भी धारण करता है, परंतु <math>a \lor b</math> से प्राप्त नहीं किया जा सकता <math>\{ a \}</math> संकल्प द्वारा। चूँकि, <math>\{ a, \lnot (a \lor b) \} \vdash \bot</math> प्राप्त किया जा सकता है।
 === वाक्यात्मक पूर्णता ===
-एक औपचारिक प्रणाली {{mathcal|S}} सिंटैक्टिक रूप से पूर्ण या निगमनात्मक रूप से पूर्ण या अधिकतम पूर्ण है यदि प्रत्येक [[वाक्य (गणितीय तर्क)]] (बंद सूत्र) के लिए सिस्टम की भाषा का φ या तो φ या ¬φ का एक प्रमेय है {{mathcal|S}}. इसे कम्प्लीट_थ्योरी भी कहा जाता है, और सिमेंटिक पूर्णता से अधिक मजबूत है। एक अन्य अर्थ में, एक औपचारिक प्रणाली वाक्य रचनात्मक रूप से पूर्ण होती है यदि और केवल तभी जब असंगतता को प्रस्तुत  किए बिना इसमें कोई अप्रमाणित वाक्य नहीं जोड़ा जा सकता है। [[प्रस्तावक कलन]] | ट्रुथ-फंक्शनल प्रोपोज़िशनल लॉजिक और फ़र्स्ट-ऑर्डर लॉजिक | फ़र्स्ट-ऑर्डर प्रेडिकेट लॉजिक सिमेंटिक रूप से पूर्ण हैं, लेकिन सिंटैक्टिक रूप से पूर्ण नहीं हैं (उदाहरण के लिए, प्रोपोज़िशनल लॉजिक स्टेटमेंट जिसमें एकल प्रोपोज़िशनल वेरिएबल A सम्मलित है, एक प्रमेय नहीं है, और न ही है इसका निषेध)। गोडेल की अपूर्णता प्रमेय | गोडेल की अपूर्णता प्रमेय से पता चलता है कि कोई भी पुनरावर्ती प्रणाली जो पर्याप्त रूप से शक्तिशाली है, जैसे कि पीनो अंकगणित, सुसंगत और वाक्य-विन्यास दोनों पूर्ण नहीं हो सकती है।
+एक औपचारिक प्रणाली {{mathcal|S}} सिंटैक्टिक रूप से पूर्ण या निगमनात्मक रूप से पूर्ण या अधिकतम पूर्ण है यदि प्रत्येक [[वाक्य (गणितीय तर्क)]] (बंद सूत्र) के लिए सिस्टम की भाषा का φ या तो φ या ¬φ का एक प्रमेय है {{mathcal|S}}. इसे कम्प्लीट_थ्योरी भी कहा जाता है, और सिमेंटिक पूर्णता से अधिक मजबूत है। एक अन्य अर्थ में, एक औपचारिक प्रणाली वाक्य रचनात्मक रूप से पूर्ण होती है यदि और केवल तभी जब असंगतता को प्रस्तुत किए बिना इसमें कोई अप्रमाणित वाक्य नहीं जोड़ा जा सकता है। [[प्रस्तावक कलन]] | ट्रुथ-फंक्शनल प्रोपोज़िशनल लॉजिक और फ़र्स्ट-ऑर्डर लॉजिक | फ़र्स्ट-ऑर्डर प्रेडिकेट लॉजिक सिमेंटिक रूप से पूर्ण हैं, लेकिन सिंटैक्टिक रूप से पूर्ण नहीं हैं (उदाहरण के लिए, प्रोपोज़िशनल लॉजिक स्टेटमेंट जिसमें एकल प्रोपोज़िशनल वेरिएबल A सम्मलित है, एक प्रमेय नहीं है, और न ही है इसका निषेध)। गोडेल की अपूर्णता प्रमेय | गोडेल की अपूर्णता प्रमेय से पता चलता है कि कोई भी पुनरावर्ती प्रणाली जो पर्याप्त रूप से शक्तिशाली है, जैसे कि पीनो अंकगणित, सुसंगत और वाक्य-विन्यास दोनों पूर्ण नहीं हो सकती है।
 === संरचनात्मक पूर्णता ===
 {{main|स्वीकायनीय नियम}}
-[[सुपरिंट्यूशनिस्टिक लॉजिक]] और [[मॉडल तर्क]] में, एक तर्क संरचनात्मक रूप से पूर्ण होता है यदि प्रत्येक [[स्वीकार्य नियम]] व्युत्पन्न होता है।
+[[सुपरिंट्यूशनिस्टिक लॉजिक|अधीक्षणवादी तर्क]] और [[मॉडल तर्क]] में, एक तर्क संरचनात्मक रूप से पूर्ण होता है यदि प्रत्येक [[स्वीकार्य नियम]] व्युत्पन्न होता है।
 ==संदर्भ==
@@ Line 53: / Line 48: @@
 {{Mathematical logic}}
-[[Category: गणितीय तर्क]] [[Category: मेटालॉजिक]] [[Category: मॉडल सिद्धांत]] [[Category: सबूत सिद्धांत]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:Collapse templates]]
 [[Category:Created On 18/05/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics navigational boxes]]
+[[Category:Navbox orphans]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with empty portal template]]
+[[Category:Pages with script errors]]
+[[Category:Philosophy and thinking navigational boxes]]
+[[Category:Portal-inline template with redlinked portals]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia metatemplates]]
+[[Category:गणितीय तर्क]]
+[[Category:मेटालॉजिक]]
+[[Category:मॉडल सिद्धांत]]
+[[Category:सबूत सिद्धांत]]

Anonymous

Search

पूर्णता (तर्क): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:05, 15 June 2023

Contents

पूर्णता से संबंधित अन्य गुण

पूर्णता के रूप

अभिव्यंजक पूर्णता

कार्यात्मक पूर्णता

शब्दार्थ पूर्णता

मजबूत पूर्णता

खंडन पूर्णता

वाक्यात्मक पूर्णता

संरचनात्मक पूर्णता

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

पूर्णता (तर्क): Difference between revisions

Latest revision as of 09:05, 15 June 2023

पूर्णता से संबंधित अन्य गुण

पूर्णता के रूप

अभिव्यंजक पूर्णता

कार्यात्मक पूर्णता

शब्दार्थ पूर्णता

मजबूत पूर्णता

खंडन पूर्णता

वाक्यात्मक पूर्णता

संरचनात्मक पूर्णता

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories