View source for सार्वभौमिक परिमाणीकरण

{{Short description|Mathematical use of "for all"}}
{{Infobox mathematical statement
| name = सार्वभौमिक परिमाणीकरण
| type = [[Quantification (logic)|Quantifier]]
| field = [[Mathematical logic]]
| statement = <math>\forall xP(x)</math> is true when <math>P(x)</math> is true for all values of <math>x</math>.
| symbolic statement = <math>\forall xP(x)</math>
}}

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

इसे आम तौर पर मुड़े हुए A (∀) [[तार्किक संयोजक|तार्किक संकारक]] [[प्रतीक (औपचारिक)|प्रतीक]] द्वारा दर्शाया जाता है, जिसे जब विधेय चर के साथ प्रयोग किया जाता है, तो इसे एक सार्वभौमिक परिमाणीकरण ({{math|∀''x''}} ,{{math|∀(''x'')}} या कभी-कभी {{math|(''x'')}} कहा जाता है। सार्वभौम परिमाणीकरण अस्तित्वपरक परिमाणीकरण से अलग है, जो केवल यह दावा करता है कि संपत्ति या संबंध कार्यक्षेत्र के कम से कम एक सदस्य के लिए है।

लेख में सामान्य रूप से परिमाणीकरण को सम्मिलित किया गया है। सार्वभौमिक परिमाणीकरण यूनिकोड में {{unichar|2200|FOR ALL}} के रूप में एन्कोड किया गया है और as <code>\forall</code> [[LaTeX]] को संबंधित सूत्र संपादकों में।

== मूल बातें ==

मान लीजिए कि दिया गया है
<blockquote>2·0 = 0 + 0 एन्ड 2·1 = 1 + 1 एन्ड {{nowrap|1=2·2 = 2 + 2}} आदि।</blockquote>
"एन्ड" के बार-बार उपयोग के कारण यह एक [[तार्किक संयोजन]] प्रतीत होगा। हालाँकि, "आदि" के [[औपचारिक तर्क]] में एक संयोजन के रूप में व्याख्या नहीं कि जा सकती है। इसके बजाय, कथन को फिर से लिखा जाना चाहिए:
<blockquote>सभी [[प्राकृतिक संख्या]]ओं n के लिए, किसी के पास 2n = n + n होता है।</blockquote>
यह सार्वभौमिक परिमाणीकरण का उपयोग करते हुए एकल कथन है।

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

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

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

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

यह सत्य है, क्योंकि कोई भी [[प्रति उदाहरण]] भाज्य संख्या नहीं है। यह संवाद के क्षेत्र के महत्व को इंगित करता है, जो निर्दिष्ट करता है कि n से मान ले सकता है।<ref group="note">Further information on using domains of discourse with quantified statements can be found in the [[Quantification (logic)]] article.</ref>  इसके लिए एक तार्किक स्थिति की आवश्यकता होती है। उदाहरण के लिए,
<blockquote>सभी मिश्रित संख्याओं n के लिए, एक के पास 2·n > 2 + n होता हैं। </blockquote> 
[[तार्किक रूप से समकक्ष]] है
<blockquote>सभी प्राकृत संख्याओं n के लिए, यदि n संमिश्र है, तो 2·n > 2 + n।</blockquote>
यहाँ if ... तो निर्माण तार्किक स्थिति को इंगित करता है।

=== अंकन ===
प्रथम क्रम तर्क में, सार्वभौमिक परिमाणक प्रतीक <math> \forall </math> ([[ए]]क सेन्स-सेरिफ़ फ़ॉन्ट, यूनिकोड यू+2200 में "A" बदल गया) का उपयोग सार्वभौमिक परिमाणीकरण को इंगित करने के लिए किया जाता है। इसे पहली बार 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' प्राकृतिक संख्याओं का समुच्चय (गणित) है, तो
: <math> \forall n\!\in\!\mathbb{N}\; P(n) </math>
(झूठा) कथन है
: सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता है।

इसी प्रकार यदि Q(n) विधेय n सम्मिश्र है, तो
: <math> \forall n\!\in\!\mathbb{N}\; \bigl( Q(n) \rightarrow  P(n) \bigr) </math>
(सत्य) कथन है
: सभी प्राकृत संख्याओं n के लिए यदि n संमिश्र है, तो {{nowrap|2·''n'' > 2 + n}} .

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

== गुण ==

<!-- ''We need a list of algebraic properties of universal quantification, such as distributivity over conjunction, and so on. Also rules of inference.'' -->


=== निषेध ===
सार्वभौमिक परिमाणक को अस्तित्वगत परिमाणक में बदलकर और मात्रा निर्धारित सूत्र को अस्वीकार करके सार्वभौमिक मात्रा निर्धारित कार्य की अस्वीकृति प्राप्त की जाती है। वह है,
:<math>\lnot \forall x\; P(x)\quad\text {is equivalent to}\quad \exists x\;\lnot P(x) </math>
जहाँ <math>\lnot</math> निषेध को दर्शाता है।

उदाहरण के लिए, यदि {{math|''P''(''x'')}} [[प्रस्तावक समारोह|प्रस्तावक कार्य]] {{math|''x''}} विवाहित है, तो सभी जीवित मनुष्यों के सेट X के लिए सार्वभौमिक परिमाणीकरण
<blockquote>किसी भी जीवित व्यक्ति {{math|''x''}}  को देखते हुए वह व्यक्ति विवाहित है </blockquote>

:<math>\forall x \in X\, P(x)</math>
यह कथन असत्य है। सच यह हैं कि
<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}
P(x) \land (\exists{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \land Q(y)) \\
P(x) \lor  (\exists{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \lor Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
P(x) \to   (\exists{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \to Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
P(x) \nleftarrow (\exists{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \nleftarrow Q(y)) \\
P(x) \land (\forall{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \land Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
P(x) \lor  (\forall{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \lor Q(y)) \\
P(x) \to   (\forall{y}{\in}\mathbf{Y}\, Q(y)) &\equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \to Q(y)) \\
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|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← के लिए  परिमाणक फ़्लिप करते हैं:

:<math>\begin{align}
P(x) \uparrow (\exists{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \uparrow Q(y)) \\
P(x) \downarrow  (\exists{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \downarrow Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
P(x) \nrightarrow (\exists{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \nrightarrow Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
P(x) \gets (\exists{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \forall{y}{\in}\mathbf{Y}\, (P(x) \gets Q(y)) \\
P(x) \uparrow (\forall{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \uparrow Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
P(x) \downarrow  (\forall{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \downarrow Q(y)) \\
P(x) \nrightarrow (\forall{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \nrightarrow Q(y)) \\
P(x) \gets (\forall{y}{\in}\mathbf{Y}\, Q(y)) & \equiv\ \exists{y}{\in}\mathbf{Y}\, (P(x) \gets Q(y)),& \text{provided that } \mathbf{Y}\neq \emptyset \\
\end{align}</math>
<!-- What about:
*[[logical biconditional|Biconditional (if and only if) (xnor)]] (<math>\leftrightarrow</math>, <math>\equiv</math>, or <math>=</math>)
*[[Exclusive or|Exclusive disjunction (xor)]] (<math>\not\leftrightarrow</math>)
-->


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

[[अनुमान का नियम]] वह नियम है जो परिकल्पना से निष्कर्ष तक एक तार्किक कदम को सही ठहराता है। अनुमान के कई नियम हैं जो सार्वभौम परिमाणक का उपयोग करते हैं।

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

:<math> \forall{x}{\in}\mathbf{X}\, P(x) \to P(c)</math>
जहाँ c प्रवचन के सार्वभौम का विवेकाधीन तत्व है।

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

:<math> P(c) \to\ \forall{x}{\in}\mathbf{X}\, P(x).</math>
तत्व c पूरी तरह से विवेकाधीन होना चाहिए अन्यथा तर्क का पालन नहीं होता है यदि c विवेकाधीन नहीं है और इसके बजाय प्रवचन के सार्वभौम का एक विशिष्ट तत्व है, तो p (c) केवल प्रस्तावात्मक कार्य के एक अस्तित्वगत परिमाण का तात्पर्य है।
<!-- ''Discuss universally quantified types in [[type theory]].'' -->


=== खाली सेट ===

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

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

सूत्र φ का सार्वभौमिक क्लोजर सूत्र है जिसमें φ में प्रत्येक [[मुक्त चर]] के लिए एक सार्वभौमिक परिमाणक जोड़कर कोई मुक्त चर प्राप्त नहीं होता है। उदाहरण के लिए, का सार्वभौमिक क्लोजर
:<math>P(y) \land \exists x Q(x,z)</math> है

:<math>\forall y \forall z ( P(y) \land \exists x Q(x,z))</math>

== संलग्न के रूप में ==
[[श्रेणी सिद्धांत]] और [[प्राथमिक टोपोस]] के सिद्धांत में, सार्वभौमिक परिमाणक को [[ सत्ता स्थापित |सत्ता स्थापित]] के बीच एक [[ ऑपरेटर |ऑपरेटर]] के सही आसन्न के रूप में समझा जा सकता है, संग्रह के बीच एक कार्य के उलटा छवि कारक है इसी तरह, अस्तित्वगत परिमाणक बायाँ सन्निकट है।<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> है 

जहाँ  <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>\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> रखता है और
:<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>
ये सच है अगर <math>S</math> खाली नहीं है और
:<math>\forall_! S = \forall x. S(x),</math>
जो असत्य है यदि S, X नहीं है।

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

== यह भी देखें ==
* अस्तित्वगत परिमाणीकरण
* पहले क्रम का तर्क
* [[तर्क प्रतीकों की सूची]] - यूनिकोड प्रतीक ∀ के लिए

== टिप्पणियाँ ==
<references group="note" />


== संदर्भ ==
{{Reflist}}

*{{cite book | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = [[A K Peters]] | year = 2005 | isbn = 1-56881-262-0}}
*{{cite book | author = [[James Franklin (philosopher)|Franklin, J.]] and Daoud, A. | title = Proof in Mathematics: An Introduction | url = http://www.maths.unsw.edu.au/~jim/proofs.html | publisher = Kew Books | year = 2011 | isbn = 978-0-646-54509-7}} (ch. 2)


== बाहरी संबंध ==
* {{Wiktionary-inline|every}}

{{Common logical symbols}}
{{Mathematical logic}}
[[Category: तर्क प्रतीक]] [[Category: तार्किक भाव]] [[Category: परिमाणक (तर्क)]] 



[[Category: Machine Translated Page]]
[[Category:Created On 01/03/2023]]