सार्वभौमिक परिमाणीकरण: Difference between revisions

Universal quantification
Type	Quantifier
Field	Mathematical logic
Statement	is true when is true for all values of .
Symbolic statement

Revision as of 00:03, 24 March 2023

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

इसे आम तौर पर मुड़े हुए A (∀) तार्किक संकारक प्रतीक द्वारा दर्शाया जाता है, जिसे जब एक विधेय चर के साथ प्रयोग किया जाता है, तो इसे एक सार्वभौमिक क्वांटिफायर ( $\forall x$ , $\forall(x)$ या कभी-कभी $(x)$ कहा जाता है। सार्वभौम परिमाणीकरण अस्तित्वपरक परिमाणीकरण से अलग है, जो केवल यह दावा करता है कि संपत्ति या संबंध डोमेन के कम से कम एक सदस्य के लिए है।

परिमाणीकरण पर लेख में सामान्य रूप से परिमाणीकरण को सम्मिलित किया गया है। यूनिवर्सल क्वांटिफायर को यूनिकोड में U+2200 ∀ FOR ALL के रूप में एन्कोड किया गया है और as \forall LaTeX और संबंधित सूत्र संपादकों में।

मूल बातें

मान लीजिए कि दिया गया है

2·0 = 0 + 0 और 2·1 = 1 + 1 और 2·2 = 2 + 2 आदि।

"एन्ड" के बार-बार उपयोग के कारण यह एक तार्किक संयोजन प्रतीत होगा। हालाँकि, "आदि" को औपचारिक तर्क में एक संयोजन के रूप में व्याख्या नहीं कि जा सकती है। इसके बजाय, कथन को फिर से लिखा जाना चाहिए:

सभी प्राकृतिक संख्याओं n के लिए, किसी के पास 2·n = n + n होता है।

यह सार्वभौमिक परिमाणीकरण का उपयोग करते हुए एकल कथन है।

यह कथन मूल कथन से अधिक सही कहा जा सकता है। जबकि "आदि" में अनौपचारिक रूप से प्राकृतिक संख्याएँ सम्मिलित हैं और कुछ नहीं यह सख्ती से नहीं दिया गया था। दूसरी ओर, सार्वभौमिक परिमाणीकरण में, प्राकृतिक संख्याओं का स्पष्ट रूप से उल्लेख किया गया है।

यह विशेष उदाहरण सत्य है, क्योंकि किसी भी प्राकृतिक संख्या को n के स्थान पर प्रतिस्थापित किया जा सकता है और कथन 2·n = n + n सत्य होगा। इसके विपरीत,

सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता हैं।

होता है

असत्य है, क्योंकि यदि n को प्रतिस्थापित किया जाता है, उदाहरण के लिए 1 कथन 2·1 > 2 + 1 असत्य है। यह सारहीन है कि 2·n > 2 + n अधिकांश प्राकृतिक संख्याओं n के लिए सत्य है: यहां तक कि एकल प्रतिउदाहरण का अस्तित्व भी सार्वभौमिक परिमाणीकरण को गलत साबित करने के लिए पर्याप्त है।

वहीं दूसरी ओर,

सभी भाज्य संख्याओं n के लिए, एक के पास 2·n > 2 + n

सत्य है, क्योंकि कोई भी प्रति उदाहरण भाज्य संख्या नहीं है। यह संवाद के क्षेत्र के महत्व को इंगित करता है, जो निर्दिष्ट करता है कि n से मान ले सकता है।^{[note 1]} इसके लिए एक तार्किक स्थिति की आवश्यकता होती है। उदाहरण के लिए,

सभी मिश्रित संख्याओं n के लिए, एक के पास 2·n > 2 + n

होता है

तार्किक रूप से समकक्ष है

सभी प्राकृत संख्याओं n के लिए, यदि n संमिश्र है, तो 2·n > 2 + n।

यहाँ if ... तो निर्माण तार्किक स्थिति को इंगित करता है।

अंकन

प्रथम क्रम तर्क में, सार्वभौमिक परिमाणक प्रतीक $\forall$ (एक सेन्स-सेरिफ़ फ़ॉन्ट, यूनिकोड यू+2200 में "ए" बदल गया) का उपयोग सार्वभौमिक परिमाणीकरण को इंगित करने के लिए किया जाता है। इसे पहली बार 1935 में गेरहार्ड जेंटजन द्वारा ज्यूसेप पीनो के अनुरूप इस्तेमाल किया गया था। $\exists$ अस्तित्वगत परिमाणीकरण के लिए (ई) संकेतन और बाद में बर्ट्रेंड रसेल द्वारा पीनो संकेतन के उपयोग के लिए इस्तेमाल किया गया था।^[1]

उदाहरण के लिए, यदि P(n) विधेय 2·n > 2 + n है और 'N' प्राकृतिक संख्याओं का समुच्चय (गणित) है, तो

\forall n\!\in \!\mathbb {N} \;P(n)

(झूठा) कथन है

सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता है।

इसी प्रकार, यदि Q(n) विधेय n सम्मिश्र है, तो

\forall n\!\in \!\mathbb {N} \;{\bigl (}Q(n)\rightarrow P(n){\bigr )}

(सत्य) कथन है

सभी प्राकृत संख्याओं n के लिए यदि n संमिश्र है, तो 2·n > 2 + n .

परिमाणक लेख में परिमाणीकरण (जो सभी रूपों पर लागू होता है) के लिए संकेतन में कई भिन्नताएँ पाई जा सकती हैं।

गुण

निषेध

सार्वभौमिक परिमाणक को अस्तित्वगत परिमाणक में बदलकर और मात्रा निर्धारित फॉर्मूला को अस्वीकार करके सार्वभौमिक मात्रा निर्धारित फ़ंक्शन की अस्वीकृति प्राप्त की जाती है। वह है,

\lnot \forall x\;P(x)\quad {\text{is equivalent to}}\quad \exists x\;\lnot P(x)

जहाँ $\lnot$ निषेध को दर्शाता है।

उदाहरण के लिए, यदि $P (x)$ प्रस्तावक कार्य $x$ विवाहित है, तो सभी जीवित मनुष्यों के सेट X के लिए सार्वभौमिक परिमाणीकरण

किसी भी जीवित व्यक्ति $x$ को देखते हुए, वह व्यक्ति विवाहित है

लिखा है

\forall x\in X\,P(x)

यह कथन असत्य है। सच तो यह कहा गया है

ऐसा नहीं है कि, किसी भी जीवित व्यक्ति $x$ को देखते हुए वह व्यक्ति विवाहित है

या प्रतीकात्मक रूप से:

\lnot \ \forall x\in X\,P(x)

.

यदि फलन $P (x)$ के प्रत्येक अवयव के लिए सत्य नहीं है $X$ , तो कम से कम एक अवयव होना चाहिए जिसके लिए कथन गलत हो, निषेध $\forall x\in X\,P(x)$ तार्किक रूप से एक जीवित व्यक्ति के अस्तित्व के बराबर है $x$ जो विवाहित नहीं है या:

\exists x\in X\,\lnot P(x)

यह भ्रमित करना गलत है कि सभी व्यक्ति विवाहित नहीं हैं (अर्थात ऐसा कोई व्यक्ति उपस्थित नहीं है जो विवाहित है) सभी व्यक्ति विवाहित नहीं हैं (अर्थात एक ऐसा व्यक्ति उपस्थित है जो विवाहित नहीं है):

\lnot \ \exists x\in X\,P(x)\equiv \ \forall x\in X\,\lnot P(x)\not \equiv \ \lnot \ \forall x\in X\,P(x)\equiv \ \exists x\in X\,\lnot P(x)

अन्य संयोजक

सार्वभौमिक (और अस्तित्वगत) परिमाणक तार्किक संयोजनों में अपरिवर्तित चलता है तार्किक संयोजन|∧, तार्किक संयोजन|∨, भौतिक सशर्त|-> और विलोम गैर-प्रत्यारोपण|↚, जब तक अन्य संकार्य प्रभावित नहीं होता है वह है:

\begin{aligned} P (x) \land (\exists y \in Y Q (y)) & \equiv \exists y \in Y (P (x) \land Q (y)) \\ P (x) \lor (\exists y \in Y Q (y)) & \equiv \exists y \in Y (P (x) \lor Q (y)), & provided that Y \neq \emptyset \\ P (x) \to (\exists y \in Y Q (y)) & \equiv \exists y \in Y (P (x) \to Q (y)), & provided that Y \neq \emptyset \\ P (x) ↚ (\exists y \in Y Q (y)) & \equiv \exists y \in Y (P (x) ↚ Q (y)) \\ P (x) \land (\forall y \in Y Q (y)) & \equiv \forall y \in Y (P (x) \land Q (y \end{aligned}

इसके विपरीत, तार्किक संयोजकों के लिए शेफर स्ट्रोक|↑, तार्किक NOR|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← के लिए परिमाणक फ़्लिप करते हैं:

\begin{aligned} P (x) ↑ (\exists y \in Y Q (y)) & \equiv \forall y \in Y (P (x) ↑ Q (y)) \\ P (x) ↓ (\exists y \in Y Q (y)) & \equiv \forall y \in Y (P (x) ↓ Q (y)), & provided that Y \neq \emptyset \\ P (x) ↛ (\exists y \in Y Q (y)) & \equiv \forall y \in Y (P (x) ↛ Q (y)), & provided that Y \neq \emptyset \\ P (x) \leftarrow (\exists y \in Y Q (y)) & \equiv \forall y \in Y (P (x) \leftarrow Q (y)) \\ P (x) ↑ (\forall y \in Y Q (y)) & \equiv \exists y \in Y (P (x) ↑ Q (y \end{aligned}

अनुमान के नियम

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

\forall {x}{\in }\mathbf {X} \,P(x)\to P(c)

जहाँ c प्रवचन के ब्रह्मांड का एक पूरी तरह से विवेकाधीन तत्व है।

सार्वभौम सामान्यीकरण निष्कर्ष निकालता है कि प्रवचन के ब्रह्मांड के किसी भी विवेकाधीन तत्व के लिए अगर यह सच है तो प्रस्तावित कार्य सार्वभौमिक रूप से सत्य होना चाहिए। सांकेतिक रूप से विवेकाधीन c के लिए,

P(c)\to \ \forall {x}{\in }\mathbf {X} \,P(x).

तत्व c पूरी तरह से विवेकाधीन होना चाहिए अन्यथा तर्क का पालन नहीं होता है: यदि c विवेकाधीन नहीं है और इसके बजाय प्रवचन के ब्रह्मांड का एक विशिष्ट तत्व है, तो p (c) केवल प्रस्तावात्मक कार्य के एक अस्तित्वगत परिमाण का तात्पर्य है।

खाली सेट

सम्मेलन द्वारा, सूत्र $\forall {x}{\in }\emptyset \,P(x)$ सूत्र P(x) पर ध्यान दिए बिना सूत्र हमेशा सत्य होता है।

सार्वभौमिक क्लोजर

सूत्र φ का सार्वभौमिक समापन सूत्र है जिसमें φ में प्रत्येक मुक्त चर के लिए एक सार्वभौमिक परिमाणक जोड़कर कोई मुक्त चर प्राप्त नहीं होता है। उदाहरण के लिए, का सार्वभौमिक क्लोजर

P(y)\land \exists xQ(x,z)

है

\forall y\forall z(P(y)\land \exists xQ(x,z))

संलग्न के रूप में

श्रेणी सिद्धांत और प्राथमिक टोपोस के सिद्धांत में, सार्वभौमिक परिमाणक को सत्ता स्थापित के बीच एक ऑपरेटर के सही आसन्न के रूप में समझा जा सकता है, सेट के बीच एक फ़ंक्शन के उलटा छवि फ़ैक्टर इसी तरह, अस्तित्वगत परिमाणक बायाँ सन्निकट है।^[2]

एक सेट $X$ के लिए होने देना ${\mathcal {P}}X$ इसके सत्ता स्थापित को निरूपित करता हैं। किसी फ़ंक्शन के लिए $f:X\to Y$ सेट के बीच $X$ और $Y$ , एक व्युत्क्रम छवि फ़ैक्टर है $f^{*}:{\mathcal {P}}Y\to {\mathcal {P}}X$ पॉवरसेट के बीच, जो f के कोडोमेन के सबसेट को उसके डोमेन के सबसेट में वापस ले जाता है। इस फ़ंक्टर का बायाँ सन्निकट अस्तित्वगत परिमाणक है $\exists _{f}$ और दायां सन्निकट सार्वत्रिक परिमाणक है $\forall _{f}$ .

वह $\exists _{f}\colon {\mathcal {P}}X\to {\mathcal {P}}Y$ एक कारक है कि, प्रत्येक उपसमुच्चय के लिए $S\subset X$ , सबसेट $\exists _{f}S\subset Y$ द्वारा दिए गए

\exists _{f}S=\{y\in Y\;|\;\exists x\in X.\ f(x)=y\quad \land \quad x\in S\},

जो $y$ की छवि में $S$ अंतर्गत $f$ . इसी प्रकार, सार्वभौमिक परिमाणक $\forall _{f}\colon {\mathcal {P}}X\to {\mathcal {P}}Y$ एक कारक है कि, प्रत्येक उपसमुच्चय के लिए $S\subset X$ सबसेट देता है $\forall _{f}S\subset Y$ द्वारा दिए गए

\forall _{f}S=\{y\in Y\;|\;\forall x\in X.\ f(x)=y\quad \implies \quad x\in S\},

ये $y$ जिसके तहत प्रीइमेज है $f$ में निहित है $S$ .

परिमाणक का अधिक परिचित रूप, जैसा कि प्रथम-क्रम तर्क में उपयोग किया जाता है, फ़ंक्शन f को अद्वितीय फ़ंक्शन के रूप में ले कर प्राप्त किया जाता है। $!:X\to 1$ ताकि ${\mathcal {P}}(1)=\{T,F\}$ मान को सही और गलत रखने वाला दो-तत्व सेट है, S वह उपसमुच्चय है जिसके लिए विधेय (गणितीय तर्क) $S(x)$ रखता है और

{\begin{array}{rl}{\mathcal {P}}(!)\colon {\mathcal {P}}(1)&\to {\mathcal {P}}(X)\\T&\mapsto X\\F&\mapsto \{\}\end{array}}

\exists _{!}S=\exists x.S(x),

ये सच है अगर $S$ खाली नहीं है और

\forall _{!}S=\forall x.S(x),

जो असत्य है यदि S, X नहीं है।

ऊपर दिए गए सार्वभौमिक और अस्तित्वगत परिमाणीकरण प्रीशेफ श्रेणी को सामान्यीकृत करते हैं।

यह भी देखें

अस्तित्वगत परिमाणीकरण
पहले क्रम का तर्क
तर्क प्रतीकों की सूची - यूनिकोड प्रतीक ∀ के लिए

संदर्भ

↑ Miller, Jeff. "सेट थ्योरी और लॉजिक के प्रतीकों का सबसे पुराना उपयोग". Earliest Uses of Various Mathematical Symbols.
↑ Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4 See page 58

Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0.
Franklin, J. and Daoud, A. (2011). Proof in Mathematics: An Introduction. Kew Books. ISBN 978-0-646-54509-7.{{cite book}}: CS1 maint: multiple names: authors list (link) (ch. 2)

बाहरी संबंध

The dictionary definition of every at Wiktionary

[1] Further information on using domains of discourse with quantified statements can be found in the Quantification (logic) article.

[2] Miller, Jeff. "सेट थ्योरी और लॉजिक के प्रतीकों का सबसे पुराना उपयोग". Earliest Uses of Various Mathematical Symbols.

[3] Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4 See page 58

[note 1]

[1]

[2]

@@ Line 39: / Line 39: @@
 === अंकन ===
-प्रथम क्रम तर्क में, सार्वभौमिक क्वांटिफायर प्रतीक <math> \forall </math> ([[ए]]क सेन्स-सेरिफ़ फ़ॉन्ट, यूनिकोड यू+2200 में "ए" बदल गया) का उपयोग सार्वभौमिक परिमाणीकरण को इंगित करने के लिए किया जाता है। इसे पहली बार 1935 में [[गेरहार्ड जेंटजन]] द्वारा ज्यूसेप पीनो के अनुरूप इस्तेमाल किया गया था। <math>\exists</math> [[अस्तित्वगत परिमाणीकरण]] के लिए (ई) संकेतन और बाद में [[बर्ट्रेंड रसेल]] द्वारा पीनो संकेतन के उपयोग के लिए इस्तेमाल किया गया था।<ref>{{cite web|title=सेट थ्योरी और लॉजिक के प्रतीकों का सबसे पुराना उपयोग|url=http://jeff560.tripod.com/set.html|work=Earliest Uses of Various Mathematical Symbols|first=Jeff|last=Miller}}</ref>
+प्रथम क्रम तर्क में, सार्वभौमिक परिमाणक प्रतीक <math> \forall </math> ([[ए]]क सेन्स-सेरिफ़ फ़ॉन्ट, यूनिकोड यू+2200 में "ए" बदल गया) का उपयोग सार्वभौमिक परिमाणीकरण को इंगित करने के लिए किया जाता है। इसे पहली बार 1935 में [[गेरहार्ड जेंटजन]] द्वारा ज्यूसेप पीनो के अनुरूप इस्तेमाल किया गया था। <math>\exists</math> [[अस्तित्वगत परिमाणीकरण]] के लिए (ई) संकेतन और बाद में [[बर्ट्रेंड रसेल]] द्वारा पीनो संकेतन के उपयोग के लिए इस्तेमाल किया गया था।<ref>{{cite web|title=सेट थ्योरी और लॉजिक के प्रतीकों का सबसे पुराना उपयोग|url=http://jeff560.tripod.com/set.html|work=Earliest Uses of Various Mathematical Symbols|first=Jeff|last=Miller}}</ref>
 उदाहरण के लिए, यदि P(n) विधेय 2·n > 2 + n है और 'N' प्राकृतिक संख्याओं का समुच्चय (गणित) है, तो
@@ Line 51: / Line 51: @@
 : सभी प्राकृत संख्याओं n के लिए यदि n संमिश्र है, तो {{nowrap|2·''n'' > 2 + n}} .
-क्वांटिफ़ायर लेख में क्वांटिफ़िकेशन (जो सभी रूपों पर लागू होता है) के लिए संकेतन में कई भिन्नताएँ पाई जा सकती हैं।
+परिमाणक लेख में परिमाणीकरण (जो सभी रूपों पर लागू होता है) के लिए संकेतन में कई भिन्नताएँ पाई जा सकती हैं।
 == गुण ==
@@ Line 59: / Line 59: @@
 === निषेध ===
-सार्वभौमिक क्वांटिफायर को अस्तित्वगत क्वांटिफायर में बदलकर और क्वांटिफाइड फॉर्मूला को अस्वीकार करके सार्वभौमिक क्वांटिफाइड फ़ंक्शन की अस्वीकृति प्राप्त की जाती है। वह है,
+सार्वभौमिक परिमाणक को अस्तित्वगत परिमाणक में बदलकर और मात्रा निर्धारित फॉर्मूला को अस्वीकार करके सार्वभौमिक मात्रा निर्धारित फ़ंक्शन की अस्वीकृति प्राप्त की जाती है। वह है,
 :<math>\lnot \forall x\; P(x)\quad\text {is equivalent to}\quad \exists x\;\lnot P(x) </math>
 जहाँ <math>\lnot</math> निषेध को दर्शाता है।
@@ Line 69: / Line 69: @@
 यह कथन असत्य है। सच तो यह कहा गया है
 <blockquote>ऐसा नहीं है कि, किसी भी जीवित व्यक्ति {{mvar|''x''}} को देखते हुए वह व्यक्ति विवाहित है</blockquote>
-या, प्रतीकात्मक रूप से:
+या प्रतीकात्मक रूप से:
 :<math>\lnot\ \forall x \in X\, P(x)</math>.
 यदि फलन {{math|''P''(''x'')}} के प्रत्येक अवयव के लिए सत्य नहीं है {{mvar|X}}, तो कम से कम एक अवयव होना चाहिए जिसके लिए कथन गलत हो, निषेध <math>\forall x \in X\, P(x)</math> तार्किक रूप से एक जीवित व्यक्ति के अस्तित्व के बराबर है {{math|''x''}} जो विवाहित नहीं है या:
 :<math>\exists x \in X\, \lnot P(x)</math>
-यह भ्रमित करना गलत है कि सभी व्यक्ति विवाहित नहीं हैं (अर्थात ऐसा कोई व्यक्ति मौजूद नहीं है जो विवाहित है) सभी व्यक्ति विवाहित नहीं हैं (अर्थात एक ऐसा व्यक्ति मौजूद है जो विवाहित नहीं है):
+यह भ्रमित करना गलत है कि सभी व्यक्ति विवाहित नहीं हैं (अर्थात ऐसा कोई व्यक्ति उपस्थित नहीं है जो विवाहित है) सभी व्यक्ति विवाहित नहीं हैं (अर्थात एक ऐसा व्यक्ति उपस्थित है जो विवाहित नहीं है):
 :<math>\lnot\ \exists x \in X\, P(x) \equiv\ \forall x \in X\, \lnot P(x) \not\equiv\ \lnot\ \forall x\in X\, P(x) \equiv\ \exists x \in X\, \lnot P(x)</math>
 === अन्य संयोजक ===
-सार्वभौमिक (और अस्तित्वगत) क्वांटिफायर तार्किक संयोजनों में अपरिवर्तित चलता है तार्किक संयोजन|∧, तार्किक संयोजन|∨, भौतिक सशर्त|→, और विलोम गैर-प्रत्यारोपण|↚, जब तक अन्य संकार्य प्रभावित नहीं होता है वह है:
+सार्वभौमिक (और अस्तित्वगत) परिमाणक तार्किक संयोजनों में अपरिवर्तित चलता है तार्किक संयोजन|∧, तार्किक संयोजन|∨, भौतिक सशर्त|-> और विलोम गैर-प्रत्यारोपण|↚, जब तक अन्य संकार्य प्रभावित नहीं होता है वह है:
 :<math>\begin{align}
@@ Line 91: / Line 91: @@
 P(x) \nleftarrow (\forall{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \nleftarrow Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset
 \end{align}</math>
-इसके विपरीत, तार्किक संयोजकों के लिए शेफर स्ट्रोक|↑, तार्किक NOR|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← के लिए क्वांटिफायर फ़्लिप करते हैं:
+इसके विपरीत, तार्किक संयोजकों के लिए शेफर स्ट्रोक|↑, तार्किक NOR|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← के लिए  परिमाणक फ़्लिप करते हैं:
 :<math>\begin{align}
@@ Line 131: / Line 131: @@
 == सार्वभौमिक क्लोजर ==
-सूत्र φ का सार्वभौमिक समापन सूत्र है जिसमें φ में प्रत्येक [[मुक्त चर]] के लिए एक सार्वभौमिक क्वांटिफायर जोड़कर कोई मुक्त चर प्राप्त नहीं होता है। उदाहरण के लिए, का सार्वभौमिक क्लोजर
+सूत्र φ का सार्वभौमिक समापन सूत्र है जिसमें φ में प्रत्येक [[मुक्त चर]] के लिए एक सार्वभौमिक परिमाणक जोड़कर कोई मुक्त चर प्राप्त नहीं होता है। उदाहरण के लिए, का सार्वभौमिक क्लोजर
 :<math>P(y) \land \exists x Q(x,z)</math>
 है
@@ Line 137: / Line 137: @@
 == संलग्न के रूप में ==
-[[श्रेणी सिद्धांत]] और [[प्राथमिक टोपोस]] के सिद्धांत में, सार्वभौमिक क्वांटिफायर को [[ सत्ता स्थापित |सत्ता स्थापित]] के बीच एक [[ ऑपरेटर |ऑपरेटर]] के सही आसन्न के रूप में समझा जा सकता है, सेट के बीच एक फ़ंक्शन के उलटा छवि फ़ैक्टर इसी तरह, अस्तित्वगत परिमाणक बायाँ सन्निकट है।<ref>[[Saunders Mac Lane]], Ieke Moerdijk, (1992) ''Sheaves in Geometry and Logic'' Springer-Verlag. {{isbn|0-387-97710-4}} ''See page 58''</ref>
+[[श्रेणी सिद्धांत]] और [[प्राथमिक टोपोस]] के सिद्धांत में, सार्वभौमिक परिमाणक को [[ सत्ता स्थापित |सत्ता स्थापित]] के बीच एक [[ ऑपरेटर |ऑपरेटर]] के सही आसन्न के रूप में समझा जा सकता है, सेट के बीच एक फ़ंक्शन के उलटा छवि फ़ैक्टर इसी तरह, अस्तित्वगत परिमाणक बायाँ सन्निकट है।<ref>[[Saunders Mac Lane]], Ieke Moerdijk, (1992) ''Sheaves in Geometry and Logic'' Springer-Verlag. {{isbn|0-387-97710-4}} ''See page 58''</ref>
 एक सेट <math>X</math> के लिए होने देना <math>\mathcal{P}X</math> इसके [[ सत्ता स्थापित |सत्ता स्थापित]] को निरूपित करता हैं। किसी फ़ंक्शन के लिए <math>f:X\to Y</math> सेट के बीच <math>X</math> और <math>Y</math>, एक व्युत्क्रम छवि फ़ैक्टर है <math>f^*:\mathcal{P}Y\to \mathcal{P}X</math> पॉवरसेट के बीच, जो f के कोडोमेन के सबसेट को उसके डोमेन के सबसेट में वापस ले जाता है। इस फ़ंक्टर का बायाँ सन्निकट अस्तित्वगत परिमाणक है <math>\exists_f</math> और दायां सन्निकट सार्वत्रिक परिमाणक है <math>\forall_f</math>.
@@ Line 143: / Line 143: @@
 वह <math>\exists_f\colon \mathcal{P}X\to \mathcal{P}Y</math> एक कारक है कि, प्रत्येक उपसमुच्चय के लिए <math>S \subset X</math>, सबसेट  <math>\exists_f S \subset Y</math> द्वारा दिए गए
 :<math>\exists_f S =\{ y\in Y \;|\; \exists x\in X.\ f(x)=y \quad\land\quad x\in S \},</math>
-जो <math>y</math> की छवि में <math>S</math> अंतर्गत <math>f</math>. इसी प्रकार, सार्वभौमिक क्वांटिफायर <math>\forall_f\colon \mathcal{P}X\to \mathcal{P}Y</math> एक कारक है कि, प्रत्येक उपसमुच्चय के लिए <math>S \subset X</math> सबसेट देता है <math>\forall_f S \subset Y</math> द्वारा दिए गए
+जो <math>y</math> की छवि में <math>S</math> अंतर्गत <math>f</math>. इसी प्रकार, सार्वभौमिक परिमाणक <math>\forall_f\colon \mathcal{P}X\to \mathcal{P}Y</math> एक कारक है कि, प्रत्येक उपसमुच्चय के लिए <math>S \subset X</math> सबसेट देता है <math>\forall_f S \subset Y</math> द्वारा दिए गए
 :<math>\forall_f S =\{ y\in Y \;|\; \forall x\in X.\ f(x)=y \quad\implies\quad x\in S \},</math>
 ये <math>y</math> जिसके तहत प्रीइमेज है <math>f</math> में निहित है <math>S</math>.
-क्वांटिफायर का अधिक परिचित रूप, जैसा कि प्रथम-क्रम तर्क में उपयोग किया जाता है, फ़ंक्शन f को अद्वितीय फ़ंक्शन के रूप में ले कर प्राप्त किया जाता है। <math>!:X \to 1</math> ताकि <math>\mathcal{P}(1) = \{T,F\}</math> मान को सही और गलत रखने वाला दो-तत्व सेट है, S वह उपसमुच्चय है जिसके लिए विधेय (गणितीय तर्क) <math>S(x)</math> रखता है और
+परिमाणक का अधिक परिचित रूप, जैसा कि प्रथम-क्रम तर्क में उपयोग किया जाता है, फ़ंक्शन f को अद्वितीय फ़ंक्शन के रूप में ले कर प्राप्त किया जाता है। <math>!:X \to 1</math> ताकि <math>\mathcal{P}(1) = \{T,F\}</math> मान को सही और गलत रखने वाला दो-तत्व सेट है, S वह उपसमुच्चय है जिसके लिए विधेय (गणितीय तर्क) <math>S(x)</math> रखता है और
 :<math>\begin{array}{rl}\mathcal{P}(!)\colon \mathcal{P}(1) & \to \mathcal{P}(X)\\ T &\mapsto X \\ F &\mapsto \{\}\end{array}</math>
 :<math>\exists_! S = \exists x. S(x),</math>
@@ Line 154: / Line 154: @@
 जो असत्य है यदि S, X नहीं है।
-ऊपर दिए गए सार्वभौमिक और अस्तित्वगत क्वांटिफायर्स [[प्रीशेफ श्रेणी]] को सामान्यीकृत करते हैं।
+ऊपर दिए गए सार्वभौमिक और अस्तित्वगत परिमाणीकरण [[प्रीशेफ श्रेणी]] को सामान्यीकृत करते हैं।
 == यह भी देखें ==

Anonymous

Search

सार्वभौमिक परिमाणीकरण: Difference between revisions

Namespaces

More

Page actions

Revision as of 00:03, 24 March 2023

Contents

मूल बातें

अंकन