सिग्नेचर (तर्क): Difference between revisions

Revision as of 19:14, 6 March 2023

तर्कशास्त्र में, विशेष रूप से गणितीय तर्क में, हस्ताक्षर औपचारिक भाषा के गैर-तार्किक प्रतीकों को सूचीबद्ध करता है और उनका वर्णन करता है। सार्वभौमिक बीजगणित में, हस्ताक्षर उन कार्यों को सूचीबद्ध करता है जो एक बीजगणितीय संरचना की विशेषता बताते हैं। प्रतिरूप सिद्धांत में, दोनों उद्देश्यों के लिए हस्ताक्षर का उपयोग किया जाता है। तर्क के अधिक दार्शनिक उपचारों में उन्हें कदाचित ही कभी स्पष्ट किया जाता है।

परिभाषा

औपचारिक रूप से, एक (एकल-क्रमबद्ध) हस्ताक्षर को 4-टपल के रूप में परिभाषित किया जा सकता है $\sigma =\left(S_{\operatorname {func} },S_{\operatorname {rel} },S_{\operatorname {const} },\operatorname {ar} \right),$ जहाँ $S_{\operatorname {func} }$ और $S_{\operatorname {rel} }$ असंयुक्त समुच्चय (गणित) हैं जिनमें कोई अन्य बुनियादी तार्किक प्रतीक नहीं हैं, जिन्हें क्रमशः निम्न कहा जाता है

फलन प्रतीक (उदाहरण: $+,\times ,0,1$ ),
सन्दर्भ प्रतीक या विधेय (गणितीय तर्क) (उदाहरण: $\,\leq ,\,\in$ ),
स्थिर प्रतीक (उदाहरण: $0,1$ ),

और एक प्रकार्य $\operatorname {ar} :S_{\operatorname {func} }\cup S_{\operatorname {rel} }\to \mathbb {N}$ जो हर फलन या सन्दर्भ प्रतीक को एक प्राकृतिक संख्या प्रदान करता है जिसे अरिटी कहा जाता है। एक प्रकार्य या संबंध प्रतीक $n$ -आरी कहा जाता है यदि इसकी अरिटी $n$ है। कुछ लेखक एक अशक्त ( $0$ -आरी) फलन प्रतीक को स्थिर प्रतीक के रूप में परिभाषित करते हैं, अन्यथा निरंतर प्रतीकों को अलग से परिभाषित किया जाता है।

बिना फलन प्रतीक वाले हस्ताक्षर को 'सन्दर्भ प्रतीक' कहा जाता है, और बिना संबंध प्रतीकों वाले हस्ताक्षर को बीजगणितीय signature कहा जाता है.^[1] संकुचित signature एक हस्ताक्षर ऐसा है $S_{\operatorname {func} }$ और $S_{\operatorname {rel} }$ परिमित समुच्चय हैं। अधिक सामान्यतः, एक हस्ताक्षर $\sigma =\left(S_{\operatorname {func} },S_{\operatorname {rel} },S_{\operatorname {const} },\operatorname {ar} \right)$ की प्रमुखता $|\sigma |=\left|S_{\operatorname {func} }\right|+\left|S_{\operatorname {rel} }\right|+\left|S_{\operatorname {const} }\right|$ के रूप में परिभाषित किया जाता है।

हस्ताक्षर की भाषा तार्किक प्रणाली में प्रतीकों के साथ उस हस्ताक्षर में प्रतीकों से निर्मित सभी अच्छी तरह से गठित वाक्यों का सम्मुच्चय है।

अन्य सम्मेलन

सार्वभौमिक बीजगणित में शब्द प्रकार या सादृश्य प्रकार को प्रायः हस्ताक्षर के पर्याय के रूप में प्रयोग किया जाता है। प्रतिरूप सिद्धांत में, एक हस्ताक्षर $\sigma$ प्रायः शब्दकोश, या प्रथम-क्रम की भाषा कहा जाता है| (प्रथम-क्रम) भाषा $L$ से पहचाना जाता है जिसके लिए यह गैर-तार्किक प्रतीक प्रदान करता है। हालांकि, भाषा की प्रमुखता $L$ हमेशा अनंत रहेगा; यदि $\sigma$ तब परिमित है तो $|L|$ $\aleph _{0}$ होगा।

जैसा कि औपचारिक परिभाषा रोजमर्रा के उपयोग के लिए असुविधाजनक है, एक विशिष्ट हस्ताक्षर की परिभाषा को प्रायः अनौपचारिक तरीके से संक्षिप्त किया जाता है, जैसे:

एबेलियन समूहों के लिए $\sigma =(+,-,0)$ मानक हस्ताक्षर है जहाँ $-$ अंगीय प्रचालक है।

कभी-कभी बीजगणितीय हस्ताक्षर को सिर्फ एक सूची के रूप में माना जाता है, जैसा कि:

एबेलियन समूहों के लिए

\sigma =(2,1,0)

समानता प्रकार है औपचारिक रूप से यह हस्ताक्षर के फलन प्रतीक को

f_{0}

(जो बाइनरी है),

f_{1}

(जो एकात्मक है) और

f_{2}

(जो निरर्थक है) कुछ इस तरह परिभाषित करेगा, लेकिन वास्तविकता में इस सम्मेलन के संबंध में भी सामान्य नामों का उपयोग किया जाता है।

गणितीय तर्क में, बहुत बार प्रतीकों को शून्य होने की अनुमति नहीं होती है,^{[citation needed]} ताकि निरंतर प्रतीकों को अशक्त कार्य प्रतीकों के स्थान पर अलग से व्यवहार किया जाना चाहिए। वे $S_{\operatorname {func} }$ से एक समुच्चय $S_{\operatorname {const} }$ असंयुक्त बनाते हैं, जिस पर अरिटी कार्य $\operatorname {ar}$ परिभाषित नहीं है। हालांकि, यह केवल जटिल स्तिथि में कार्य करता है, विशेष रूप से एक सूत्र की संरचना पर प्रेरण द्वारा प्रमाण में, जहां एक अतिरिक्त स्तिथि पर विचार किया जाना चाहिए। कोई भी अशक्त संबंध प्रतीक, जिसे ऐसी परिभाषा के तहत भी अनुमति नहीं है, एकल संबंध प्रतीक द्वारा वाक्य के साथ अनुकरण किया जा सकता है जो यह व्यक्त करता है कि इसका मान सभी तत्वों के लिए समान है। यह अनुवाद केवल खाली संरचनाओं के लिए विफल रहता है (जो प्रायः सम्मेलन द्वारा बहिष्कृत होते हैं)। यदि अशक्त प्रतीकों की अनुमति है, तो प्रस्तावपरक तर्क का प्रत्येक सूत्र प्रथम-क्रम तर्क का भी एक सूत्र है।

अनंत हस्ताक्षर उपयोग के लिए उदाहरण $S_{\operatorname {func} }=\{+\}\cup \left\{f_{a}:a\in F\right\}$ और $S_{\operatorname {rel} }=\{=\}$ अनंत अदिश क्षेत्र पर सदिश स्थान $F$ के बारे में व्यंजकों और समीकरणों को औपचारिक रूप देने के लिए है। जहाँ प्रत्येक $f_{a}$ अदिश गुणन की एकात्मक संक्रिया को $a$ द्वारा निरूपित करता है। इस तरह, हस्ताक्षर और तर्क को एकल-क्रमबद्ध किया जा सकता है, जिसमें सदिश ही क्रमबद्ध होते हैं।^[2]

तर्क और बीजगणित में हस्ताक्षरों का प्रयोग

प्रथम-क्रम तर्क के संदर्भ में, हस्ताक्षर में प्रतीकों को गैर-तार्किक प्रतीकों के रूप में भी जाना जाता है, क्योंकि तार्किक प्रतीकों के साथ मिलकर वे अंतर्निहित वर्णमाला बनाते हैं, जिस पर दो औपचारिक भाषाओं को अनिवार्य रूप से परिभाषित किया जाता है: हस्ताक्षर और हस्ताक्षर के ऊपर (सुगठित) सूत्रों का सम्मुच्चय।

संरचना (गणितीय तर्क) में, व्याख्या फलन और संबंध प्रतीकों को गणितीय वस्तुओं से जोड़ती है जो उनके नामों को सही ठहराते हैं: एक की व्याख्या $n$ -एरी फलन प्रतीक $f$ एक संरचना $\mathbf {A}$ में कार्यछेत्र $A$ के साथ एक प्रकार्य $f^{\mathbf {A} }:A^{n}\to A$ है, और और $n$ -एरी संबंध प्रतीक की व्याख्या एक संबंध $R^{\mathbf {A} }\subseteq A^{n}$ है। जहाँ $A^{n}=A\times A\times \cdots \times A$ $n$ -गुना कार्तीय कार्यक्षेत्र का उत्पाद $A$ खुद के साथ दर्शाता है, और इसी तरह $f$ वस्तुत: एक $n$ -एरी फलन, और $R$ एक $n$ -एरी संबंध है।

बहु-वर्गीकृत हस्ताक्षर

बहु-क्रमबद्ध किए गए तर्क और संरचना के लिए (गणितीय तर्क) बहु-क्रमबद्ध किए गए स्वरूप हस्ताक्षर को क्रमबद्ध के बारे में जानकारी को कूटलेखन करना चाहिए। ऐसा करने का सबसे सीधा तरीका प्रतीक प्रकार है जो सामान्यीकृत धर्मार्थियों की भूमिका निभाते हैं।^[3]

प्रतीक प्रकार

मान लीजिये कि $S$ एक सेट (प्रकार का) है जिसमें प्रतीक $\times$ या $\to$ नहीं हैं

$S$ के ऊपर के प्रतीक प्रकार वर्णमाला $S\cup \{\times ,\to \}$ के कुछ निश्चित शब्द हैं: संबंधपरक प्रतीक प्रकार $s_{1}\times \cdots \times s_{n},$ और कार्यात्मक प्रतीक प्रकार $s_{1}\times \cdots \times s_{n}\to s^{\prime },$ गैर-नकारात्मक पूर्णांकों के लिए $n$ और $s_{1},s_{2},\ldots ,s_{n},s^{\prime }\in S.$ ( $n=0$ के लिए, व्यंजक $s_{1}\times \cdots \times s_{n}$ खाली शब्द को दर्शाता है।)

हस्ताक्षर

निम्न को मिलाकर हस्ताक्षर (बहु-क्रमबद्ध) तिगुना $(S,P,\operatorname {type} )$ है

एक सेट $S$ प्रकार,
प्रतीकों का एक सेट $P$ , और
एक मानचित्र प्रकार जो $P$ में प्रत्येक प्रतीक को $S$ के ऊपर एक प्रतीक प्रकार से जोड़ता है।

यह भी देखें

शब्द बीजगणित – Freely generated algebraic structure over a given signature

↑ Mokadem, Riad; Litwin, Witold; Rigaux, Philippe; Schwarz, Thomas (September 2007). "फास्ट एनग्राम-आधारित स्ट्रिंग सर्च ओवर डेटा एन्कोडेड बीजगणितीय हस्ताक्षर का उपयोग करना" (PDF). 33rd International Conference on Very Large Data Bases (VLDB). Retrieved 27 February 2019.
↑ George Grätzer (1967). "IV. Universal Algebra". In James C. Abbot (ed.). जाली सिद्धांत में रुझान. Princeton/NJ: Van Nostrand. pp. 173–210. Here: p.173.
↑ Many-Sorted Logic, the first chapter in Lecture notes on Decision Procedures, written by Calogero G. Zarba.

संदर्भ

Burris, Stanley N.; Sankappanavar, H.P. (1981). A Course in Universal Algebra. Springer. ISBN 3-540-90578-2. Free online edition.
Hodges, Wilfrid (1997). A Shorter Model Theory. Cambridge University Press. ISBN 0-521-58713-1.

बाहरी संबंध

Stanford Encyclopedia of Philosophy: "Model theory"—by Wilfred Hodges.
PlanetMath: Entry "Signature" describes the concept for the case when no sorts are introduced.
Baillie, Jean, "An Introduction to the Algebraic Specification of Abstract Data Types."

[FastN-Gram-BasedStringSearch-1] Mokadem, Riad; Litwin, Witold; Rigaux, Philippe; Schwarz, Thomas (September 2007). "फास्ट एनग्राम-आधारित स्ट्रिंग सर्च ओवर डेटा एन्कोडेड बीजगणितीय हस्ताक्षर का उपयोग करना" (PDF). 33rd International Conference on Very Large Data Bases (VLDB). Retrieved 27 February 2019.

[2] George Grätzer (1967). "IV. Universal Algebra". In James C. Abbot (ed.). जाली सिद्धांत में रुझान. Princeton/NJ: Van Nostrand. pp. 173–210. Here: p.173.

[3] Many-Sorted Logic, the first chapter in Lecture notes on Decision Procedures, written by Calogero G. Zarba.

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{Short description|Description of non-logical symbols}}
-[[तर्क]]शास्त्र में, विशेष रूप से [[गणितीय तर्क]] में, एक हस्ताक्षर [[औपचारिक भाषा]] के गैर-तार्किक प्रतीकों को सूचीबद्ध करता है और उनका वर्णन करता है। [[सार्वभौमिक बीजगणित]] में, एक हस्ताक्षर उन कार्यों को सूचीबद्ध करता है जो एक [[बीजगणितीय संरचना]] की विशेषता बताते हैं। [[मॉडल सिद्धांत]] में, दोनों उद्देश्यों के लिए हस्ताक्षर का उपयोग किया जाता है। तर्क के अधिक दार्शनिक उपचारों में उन्हें शायद ही कभी स्पष्ट किया जाता है।
+[[तर्क]]शास्त्र में, विशेष रूप से [[गणितीय तर्क]] में, हस्ताक्षर [[औपचारिक भाषा]] के गैर-तार्किक प्रतीकों को सूचीबद्ध करता है और उनका वर्णन करता है। [[सार्वभौमिक बीजगणित]] में, हस्ताक्षर उन कार्यों को सूचीबद्ध करता है जो एक [[बीजगणितीय संरचना]] की विशेषता बताते हैं। [[मॉडल सिद्धांत|प्रतिरूप सिद्धांत]] में, दोनों उद्देश्यों के लिए हस्ताक्षर का उपयोग किया जाता है। तर्क के अधिक दार्शनिक उपचारों में उन्हें कदाचित ही कभी स्पष्ट किया जाता है।
 == परिभाषा ==
-औपचारिक रूप से, एक (एकल-क्रमबद्ध) हस्ताक्षर को 4-टपल के रूप में परिभाषित किया जा सकता है <math>\sigma = \left(S_{\operatorname{func}}, S_{\operatorname{rel}}, S_{\operatorname{const}}, \operatorname{ar}\right),</math> कहाँ <math>S_{\operatorname{func}}</math> और <math>S_{\operatorname{rel}}</math> असंयुक्त समुच्चय (गणित) हैं जिनमें कोई अन्य बुनियादी तार्किक प्रतीक नहीं हैं, जिन्हें क्रमशः कहा जाता है
+औपचारिक रूप से, एक (एकल-क्रमबद्ध) हस्ताक्षर को 4-टपल के रूप में परिभाषित किया जा सकता है <math>\sigma = \left(S_{\operatorname{func}}, S_{\operatorname{rel}}, S_{\operatorname{const}}, \operatorname{ar}\right),</math> जहाँ <math>S_{\operatorname{func}}</math> और <math>S_{\operatorname{rel}}</math> असंयुक्त समुच्चय (गणित) हैं जिनमें कोई अन्य बुनियादी तार्किक प्रतीक नहीं हैं, जिन्हें क्रमशः निम्न कहा जाता है
-* फ़ंक्शन प्रतीक (उदाहरण: <math>+, \times, 0, 1</math>),
+* फलन प्रतीक (उदाहरण: <math>+, \times, 0, 1</math>),
-*{{visible anchor|relation symbol}} या विधेय (गणितीय तर्क) (उदाहरण: <math>\,\leq, \, \in</math>),
+*{{visible anchor|सन्दर्भ प्रतीक}} या विधेय (गणितीय तर्क) (उदाहरण: <math>\,\leq, \, \in</math>),
 * [[स्थिर प्रतीक]] (उदाहरण: <math>0, 1</math>),
-और एक समारोह <math>\operatorname{ar} : S_{\operatorname{func}} \cup S_{\operatorname{rel}} \to \N</math> जो हर फंक्शन या रिलेशन सिंबल को एक प्राकृतिक संख्या प्रदान करता है जिसे [[arity]] कहा जाता है। एक समारोह या संबंध प्रतीक कहा जाता है <math>n</math>-आरी अगर इसकी arity है <math>n.</math> कुछ लेखक एक अशक्त परिभाषित करते हैं (<math>0</math>-ary) फ़ंक्शन प्रतीक को स्थिर प्रतीक के रूप में, अन्यथा निरंतर प्रतीकों को अलग से परिभाषित किया जाता है।
+और एक प्रकार्य <math>\operatorname{ar} : S_{\operatorname{func}} \cup S_{\operatorname{rel}} \to \N</math> जो हर फलन या सन्दर्भ प्रतीक को एक प्राकृतिक संख्या प्रदान करता है जिसे [[arity|अरिटी]] कहा जाता है। एक प्रकार्य या संबंध प्रतीक <math>n</math>-आरी कहा जाता है यदि इसकी अरिटी <math>n</math> है। कुछ लेखक एक अशक्त (<math>0</math>-आरी) फलन प्रतीक को स्थिर प्रतीक के रूप में परिभाषित करते हैं, अन्यथा निरंतर प्रतीकों को अलग से परिभाषित किया जाता है।
-बिना फंक्शन सिंबल वाले सिग्नेचर को 'कहा जाता है'{{visible anchor|relational signature}}, और बिना संबंध प्रतीकों वाले हस्ताक्षर को a कहा जाता है{{visible anchor|algebraic signature}}.<ref name="FastN-Gram-BasedStringSearch">{{cite web |last1=Mokadem |first1=Riad |author2=Litwin, Witold |author3=Rigaux, Philippe |author4=Schwarz, Thomas |title=फास्ट एनग्राम-आधारित स्ट्रिंग सर्च ओवर डेटा एन्कोडेड बीजगणितीय हस्ताक्षर का उपयोग करना|url=http://www.cse.scu.edu/~tschwarz/Papers/vldb07_final.pdf |website=33rd International Conference on Very Large Data Bases (VLDB) |accessdate=27 February 2019 |format=PDF |date=September 2007}}</ref>
+बिना फलन प्रतीक वाले हस्ताक्षर को '{{visible anchor|सन्दर्भ प्रतीक}}' कहा जाता है, और बिना संबंध प्रतीकों वाले हस्ताक्षर को {{visible anchor|बीजगणितीय signature}} कहा जाता है.<ref name="FastN-Gram-BasedStringSearch">{{cite web |last1=Mokadem |first1=Riad |author2=Litwin, Witold |author3=Rigaux, Philippe |author4=Schwarz, Thomas |title=फास्ट एनग्राम-आधारित स्ट्रिंग सर्च ओवर डेटा एन्कोडेड बीजगणितीय हस्ताक्षर का उपयोग करना|url=http://www.cse.scu.edu/~tschwarz/Papers/vldb07_final.pdf |website=33rd International Conference on Very Large Data Bases (VLDB) |accessdate=27 February 2019 |format=PDF |date=September 2007}}</ref> {{visible anchor|संकुचित signature}} एक हस्ताक्षर ऐसा है <math>S_{\operatorname{func}}</math> और <math>S_{\operatorname{rel}}</math> परिमित समुच्चय हैं। अधिक सामान्यतः, एक हस्ताक्षर <math>\sigma = \left(S_{\operatorname{func}}, S_{\operatorname{rel}}, S_{\operatorname{const}}, \operatorname{ar}\right)</math> की प्रमुखता <math>|\sigma| = \left|S_{\operatorname{func}}\right| + \left|S_{\operatorname{rel}}\right| + \left|S_{\operatorname{const}}\right|</math> के रूप में परिभाषित किया जाता है।
-ए{{visible anchor|finite signature}} एक हस्ताक्षर ऐसा है <math>S_{\operatorname{func}}</math> और <math>S_{\operatorname{rel}}</math> परिमित समुच्चय हैं। अधिक आम तौर पर, एक हस्ताक्षर की प्रमुखता <math>\sigma = \left(S_{\operatorname{func}}, S_{\operatorname{rel}}, S_{\operatorname{const}}, \operatorname{ar}\right)</math> परिभाषित किया जाता है <math>|\sigma| = \left|S_{\operatorname{func}}\right| + \left|S_{\operatorname{rel}}\right| + \left|S_{\operatorname{const}}\right|.</math>
-{{visible anchor|language of a signature}} तार्किक प्रणाली में प्रतीकों के साथ उस हस्ताक्षर में प्रतीकों से निर्मित सभी अच्छी तरह से गठित वाक्यों का सेट है।
+{{visible anchor|हस्ताक्षर की भाषा}} तार्किक प्रणाली में प्रतीकों के साथ उस हस्ताक्षर में प्रतीकों से निर्मित सभी अच्छी तरह से गठित वाक्यों का सम्मुच्चय है।
 == अन्य सम्मेलन ==
-सार्वभौमिक बीजगणित में शब्द{{visible anchor|type}} या{{visible anchor|similarity type}} को अक्सर हस्ताक्षर के पर्याय के रूप में प्रयोग किया जाता है। मॉडल सिद्धांत में, एक हस्ताक्षर <math>\sigma</math> अक्सर ए कहा जाता है{{visible anchor|vocabulary}}, या प्रथम-क्रम की भाषा | (प्रथम-क्रम) भाषा से पहचाना जाता है <math>L</math> जिसके लिए यह गैर-तार्किक प्रतीक प्रदान करता है। हालांकि, भाषा की [[प्रमुखता]] <math>L</math> हमेशा अनंत रहेगा; अगर <math>\sigma</math> तब परिमित है <math>|L|</math> अलेफ-नॉट होगा |<math>\aleph_0.</math>.
+सार्वभौमिक बीजगणित में शब्द {{visible anchor|प्रकार}} या {{visible anchor|सादृश्य प्रकार}} को प्रायः हस्ताक्षर के पर्याय के रूप में प्रयोग किया जाता है। प्रतिरूप सिद्धांत में, एक हस्ताक्षर <math>\sigma</math> प्रायः {{visible anchor|शब्दकोश}}, या प्रथम-क्रम की भाषा कहा जाता है| (प्रथम-क्रम) भाषा <math>L</math> से पहचाना जाता है  जिसके लिए यह गैर-तार्किक प्रतीक प्रदान करता है। हालांकि, भाषा की [[प्रमुखता]] <math>L</math> हमेशा अनंत रहेगा; यदि <math>\sigma</math> तब परिमित है तो <math>|L|</math> <math>\aleph_0</math> होगा।
-जैसा कि औपचारिक परिभाषा रोजमर्रा के उपयोग के लिए असुविधाजनक है, एक विशिष्ट हस्ताक्षर की परिभाषा को अक्सर अनौपचारिक तरीके से संक्षिप्त किया जाता है, जैसे:
+जैसा कि औपचारिक परिभाषा रोजमर्रा के उपयोग के लिए असुविधाजनक है, एक विशिष्ट हस्ताक्षर की परिभाषा को प्रायः अनौपचारिक तरीके से संक्षिप्त किया जाता है, जैसे:
-: [[एबेलियन समूह]]ों के लिए मानक हस्ताक्षर है <math>\sigma = (+, -, 0),</math> कहाँ <math>-</math> एक यूनरी ऑपरेटर है।
+[[एबेलियन समूह|एबेलियन समूहों]] के लिए <math>\sigma = (+, -, 0)</math> मानक हस्ताक्षर है जहाँ <math>-</math> अंगीय प्रचालक है।
-कभी-कभी एक बीजगणितीय हस्ताक्षर को सिर्फ एक सूची के रूप में माना जाता है, जैसा कि:
+कभी-कभी बीजगणितीय हस्ताक्षर को सिर्फ एक सूची के रूप में माना जाता है, जैसा कि:
-: एबेलियन समूहों के लिए समानता प्रकार है <math>\sigma = (2, 1, 0).</math>औपचारिक रूप से यह हस्ताक्षर के फ़ंक्शन प्रतीकों को कुछ इस तरह परिभाषित करेगा <math>f_0</math> (जो बाइनरी है), <math>f_1</math> (जो एकात्मक है) और <math>f_2</math> (जो निरर्थक है), लेकिन वास्तव में इस सम्मेलन के संबंध में भी सामान्य नामों का उपयोग किया जाता है।
+: एबेलियन समूहों के लिए <math>\sigma = (2, 1, 0)</math> समानता प्रकार है औपचारिक रूप से यह हस्ताक्षर के फलन प्रतीक को <math>f_0</math> (जो बाइनरी है), <math>f_1</math> (जो एकात्मक है) और <math>f_2</math> (जो निरर्थक है) कुछ इस तरह परिभाषित करेगा, लेकिन वास्तविकता में इस सम्मेलन के संबंध में भी सामान्य नामों का उपयोग किया जाता है।
-गणितीय तर्क में, बहुत बार प्रतीकों को शून्य होने की अनुमति नहीं होती है,{{Citation needed|date=January 2017}} ताकि निरंतर प्रतीकों को अशक्त कार्य प्रतीकों के बजाय अलग से व्यवहार किया जाना चाहिए। वे एक सेट बनाते हैं <math>S_{\operatorname{const}}</math> से अलग होना <math>S_{\operatorname{func}},</math> जिस पर आरती कार्य करती है <math>\operatorname{ar}</math> परिभाषित नहीं है। हालांकि, यह केवल जटिल मामलों में कार्य करता है, विशेष रूप से एक सूत्र की संरचना पर प्रेरण द्वारा प्रमाण में, जहां एक अतिरिक्त मामले पर विचार किया जाना चाहिए। कोई भी अशक्त संबंध प्रतीक, जिसे ऐसी परिभाषा के तहत भी अनुमति नहीं है, एक एकल संबंध प्रतीक द्वारा एक वाक्य के साथ अनुकरण किया जा सकता है जो यह व्यक्त करता है कि इसका मान सभी तत्वों के लिए समान है। यह अनुवाद केवल खाली संरचनाओं के लिए विफल रहता है (जो अक्सर सम्मेलन द्वारा बहिष्कृत होते हैं)। यदि अशक्त प्रतीकों की अनुमति है, तो प्रस्तावपरक तर्क का प्रत्येक सूत्र प्रथम-क्रम तर्क का भी एक सूत्र है।
+गणितीय तर्क में, बहुत बार प्रतीकों को शून्य होने की अनुमति नहीं होती है,{{Citation needed|date=January 2017}} ताकि निरंतर प्रतीकों को अशक्त कार्य प्रतीकों के स्थान पर अलग से व्यवहार किया जाना चाहिए। वे <math>S_{\operatorname{func}}</math> से एक समुच्चय <math>S_{\operatorname{const}}</math> असंयुक्त बनाते हैं, जिस पर अरिटी कार्य <math>\operatorname{ar}</math> परिभाषित नहीं है। हालांकि, यह केवल जटिल स्तिथि में कार्य करता है, विशेष रूप से एक सूत्र की संरचना पर प्रेरण द्वारा प्रमाण में, जहां एक अतिरिक्त स्तिथि पर विचार किया जाना चाहिए। कोई भी अशक्त संबंध प्रतीक, जिसे ऐसी परिभाषा के तहत भी अनुमति नहीं है, एकल संबंध प्रतीक द्वारा वाक्य के साथ अनुकरण किया जा सकता है जो यह व्यक्त करता है कि इसका मान सभी तत्वों के लिए समान है। यह अनुवाद केवल खाली संरचनाओं के लिए विफल रहता है (जो प्रायः सम्मेलन द्वारा बहिष्कृत होते हैं)। यदि अशक्त प्रतीकों की अनुमति है, तो प्रस्तावपरक तर्क का प्रत्येक सूत्र प्रथम-क्रम तर्क का भी एक सूत्र है।
+अनंत हस्ताक्षर उपयोग के लिए उदाहरण <math>S_{\operatorname{func}} = \{+\} \cup \left\{f_a : a \in F\right\}</math> और <math>S_{\operatorname{rel}} = \{=\}</math> अनंत अदिश क्षेत्र पर सदिश स्थान <math>F</math> के बारे में व्यंजकों और समीकरणों को औपचारिक रूप देने के लिए है। जहाँ प्रत्येक <math>f_a</math> अदिश गुणन की एकात्मक संक्रिया को <math>a</math> द्वारा निरूपित करता है। इस तरह, हस्ताक्षर और तर्क को एकल-क्रमबद्ध किया जा सकता है, जिसमें सदिश ही क्रमबद्ध होते हैं।<ref>{{cite book | editor=James C. Abbot | title=जाली सिद्धांत में रुझान| location=Princeton/NJ | publisher=Van Nostrand | year=1967 | author=George Grätzer | authorlink=George Grätzer | contribution=IV. Universal Algebra | pages=173&ndash;210}} Here: p.173.</ref>
-एक अनंत हस्ताक्षर उपयोग के लिए एक उदाहरण <math>S_{\operatorname{func}} = \{+\} \cup \left\{f_a : a \in F\right\}</math> और <math>S_{\operatorname{rel}} = \{=\}</math> एक अनंत अदिश क्षेत्र पर सदिश स्थान के बारे में व्यंजकों और समीकरणों को औपचारिक रूप देने के लिए <math>F,</math> जहां प्रत्येक <math>f_a</math> द्वारा अदिश गुणन की एकात्मक संक्रिया को दर्शाता है <math>a.</math> इस तरह, सिग्नेचर और लॉजिक को सिंगल-सॉर्ट किया जा सकता है, जिसमें वेक्टर्स ही सॉर्ट होते हैं।<ref>{{cite book | editor=James C. Abbot | title=जाली सिद्धांत में रुझान| location=Princeton/NJ | publisher=Van Nostrand | year=1967 | author=George Grätzer | authorlink=George Grätzer | contribution=IV. Universal Algebra | pages=173&ndash;210}} Here: p.173.</ref>
 ==तर्क और बीजगणित में हस्ताक्षरों का प्रयोग==
-प्रथम-क्रम तर्क के संदर्भ में, हस्ताक्षर में प्रतीकों को गैर-तार्किक प्रतीकों के रूप में भी जाना जाता है, क्योंकि तार्किक प्रतीकों के साथ मिलकर वे अंतर्निहित वर्णमाला बनाते हैं, जिस पर दो औपचारिक भाषाओं को अनिवार्य रूप से परिभाषित किया जाता है: हस्ताक्षर और हस्ताक्षर के ऊपर (सुगठित) सूत्रों का सेट।
+प्रथम-क्रम तर्क के संदर्भ में, हस्ताक्षर में प्रतीकों को गैर-तार्किक प्रतीकों के रूप में भी जाना जाता है, क्योंकि तार्किक प्रतीकों के साथ मिलकर वे अंतर्निहित वर्णमाला बनाते हैं, जिस पर दो औपचारिक भाषाओं को अनिवार्य रूप से परिभाषित किया जाता है: हस्ताक्षर और हस्ताक्षर के ऊपर (सुगठित) सूत्रों का सम्मुच्चय।
-एक [[संरचना (गणितीय तर्क)]] में, एक व्याख्या फ़ंक्शन और संबंध प्रतीकों को गणितीय वस्तुओं से जोड़ती है जो उनके नामों को सही ठहराते हैं: एक की व्याख्या <math>n</math>-एरी फ़ंक्शन प्रतीक <math>f</math> एक संरचना में <math>\mathbf{A}</math> डोमेन के साथ <math>A</math> एक कार्य है <math>f^\mathbf{A} : A^n \to A,</math> और एक की व्याख्या <math>n</math>-एरी संबंध प्रतीक एक [[परिमित संबंध]] है <math>R^\mathbf{A} \subseteq A^n.</math> यहाँ <math>A^n = A \times A \times \cdots \times A</math> दर्शाता है <math>n</math>-गुना कार्तीय डोमेन का उत्पाद <math>A</math> खुद के साथ, और इसी तरह <math>f</math> वास्तव में एक है <math>n</math>-एरी फ़ंक्शन, और <math>R</math> एक <math>n</math>-आर्य संबंध।
+[[संरचना (गणितीय तर्क)]] में, व्याख्या फलन और संबंध प्रतीकों को गणितीय वस्तुओं से जोड़ती है जो उनके नामों को सही ठहराते हैं: एक की व्याख्या <math>n</math>-एरी फलन प्रतीक <math>f</math> एक संरचना <math>\mathbf{A}</math> में कार्यछेत्र <math>A</math> के साथ एक प्रकार्य <math>f^\mathbf{A} : A^n \to A</math> है, और और <math>n</math>-एरी संबंध प्रतीक की व्याख्या एक संबंध <math>R^\mathbf{A} \subseteq A^n</math> है। जहाँ <math>A^n = A \times A \times \cdots \times A</math> <math>n</math>-गुना कार्तीय कार्यक्षेत्र का उत्पाद <math>A</math> खुद के साथ दर्शाता है, और इसी तरह <math>f</math> वस्तुत: एक <math>n</math>-एरी फलन, और <math>R</math> एक <math>n</math>-एरी संबंध है।
-== कई तरह के हस्ताक्षर ==
+== बहु-वर्गीकृत हस्ताक्षर ==
-कई-सॉर्ट किए गए तर्क के लिए और संरचना के लिए (गणितीय तर्क) # कई-सॉर्ट किए गए स्ट्रक्चर्स | कई-सॉर्ट किए गए स्ट्रक्चर सिग्नेचर्स को सॉर्ट के बारे में जानकारी को एनकोड करना चाहिए। ऐसा करने का सबसे सीधा तरीका है{{visible anchor|symbol types}} जो सामान्यीकृत धर्मार्थियों की भूमिका निभाते हैं।<ref>[https://web.archive.org/web/20070929131504/http://react.cs.uni-sb.de/%7Ezarba/snow/ch01.pdf Many-Sorted Logic], the first chapter in [https://web.archive.org/web/20081006212815/http://react.cs.uni-sb.de/~zarba/notes.html Lecture notes on Decision Procedures], written by [http://theory.stanford.edu/~zarba/ Calogero G. Zarba].</ref>
+बहु-क्रमबद्ध किए गए तर्क और संरचना के लिए (गणितीय तर्क) बहु-क्रमबद्ध किए गए स्वरूप हस्ताक्षर को क्रमबद्ध के बारे में जानकारी को कूटलेखन करना चाहिए। ऐसा करने का सबसे सीधा तरीका {{visible anchor|प्रतीक प्रकार}} है जो सामान्यीकृत धर्मार्थियों की भूमिका निभाते हैं।<ref>[https://web.archive.org/web/20070929131504/http://react.cs.uni-sb.de/%7Ezarba/snow/ch01.pdf Many-Sorted Logic], the first chapter in [https://web.archive.org/web/20081006212815/http://react.cs.uni-sb.de/~zarba/notes.html Lecture notes on Decision Procedures], written by [http://theory.stanford.edu/~zarba/ Calogero G. Zarba].</ref>
 === प्रतीक प्रकार ===
-होने देना <math>S</math> एक सेट (प्रकार का) बनें जिसमें प्रतीक न हों <math>\times</math> या <math>\to.</math>
+मान लीजिये कि <math>S</math> एक सेट (प्रकार का) है जिसमें प्रतीक <math>\times</math> या <math>\to</math> नहीं हैं
-प्रतीक टाइप हो गया <math>S</math> वर्णमाला के ऊपर कुछ शब्द हैं <math>S \cup \{\times, \to\}</math>: संबंधपरक प्रतीक प्रकार <math>s_1 \times \cdots \times s_n,</math> और कार्यात्मक प्रतीक प्रकार <math>s_1 \times \cdots \times s_n \to s^\prime,</math> गैर-नकारात्मक पूर्णांकों के लिए <math>n</math> और <math>s_1, s_2, \ldots, s_n, s^\prime \in S.</math> (के लिए <math>n = 0,</math> इजहार <math>s_1 \times \cdots \times s_n</math> खाली शब्द को दर्शाता है।)
+<math>S</math> के ऊपर के प्रतीक प्रकार वर्णमाला <math>S \cup \{\times, \to\}</math> के कुछ निश्चित शब्द हैं: संबंधपरक प्रतीक प्रकार <math>s_1 \times \cdots \times s_n,</math> और कार्यात्मक प्रतीक प्रकार <math>s_1 \times \cdots \times s_n \to s^\prime,</math> गैर-नकारात्मक पूर्णांकों के लिए <math>n</math> और <math>s_1, s_2, \ldots, s_n, s^\prime \in S.</math>(<math>n = 0</math> के लिए, व्यंजक <math>s_1 \times \cdots \times s_n</math> खाली शब्द को दर्शाता है।)
 ===हस्ताक्षर===
-ए (बहु-क्रमबद्ध) हस्ताक्षर एक ट्रिपल है <math>(S, P, \operatorname{type})</math> को मिलाकर
+निम्न को मिलाकर हस्ताक्षर (बहु-क्रमबद्ध) तिगुना <math>(S, P, \operatorname{type})</math> है
-* एक सेट <math>S</math> प्रकार के,
+* एक सेट <math>S</math> प्रकार,
-* एक सेट <math>P</math> प्रतीकों की, और
+* प्रतीकों का एक सेट <math>P</math>, और
-* नक्षा <math>\operatorname{type}</math> जो हर प्रतीक से जुड़ता है <math>P</math> एक प्रतीक प्रकार खत्म <math>S.</math>
+* एक मानचित्र प्रकार जो <math>P</math> में प्रत्येक प्रतीक को <math>S</math> के ऊपर एक प्रतीक प्रकार से जोड़ता है।
 == यह भी देखें ==
-* {{annotated link|Term algebra}}
+* {{annotated link|शब्द बीजगणित}}
 ==टिप्पणियाँ==

Anonymous

Search

सिग्नेचर (तर्क): Difference between revisions

Namespaces

More

Page actions

Revision as of 19:14, 6 March 2023

Contents

परिभाषा

अन्य सम्मेलन

तर्क और बीजगणित में हस्ताक्षरों का प्रयोग

बहु-वर्गीकृत हस्ताक्षर

प्रतीक प्रकार

हस्ताक्षर

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सिग्नेचर (तर्क): Difference between revisions

Revision as of 19:14, 6 March 2023

परिभाषा

अन्य सम्मेलन

तर्क और बीजगणित में हस्ताक्षरों का प्रयोग

बहु-वर्गीकृत हस्ताक्षर

प्रतीक प्रकार

हस्ताक्षर

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories