सार्वभौमिक परिमाणीकरण: Difference between revisions
(Created page with "{{Short description|Mathematical use of "for all"}} {{Infobox mathematical statement | name = Universal quantification | type = Quantifier | field =...") |
No edit summary |
||
(29 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Mathematical use of "for all"}} | {{Short description|Mathematical use of "for all"}} | ||
{{Infobox mathematical statement | {{Infobox mathematical statement | ||
| name = | | name = सार्वभौमिक परिमाणीकरण | ||
| type = [[Quantification (logic)|Quantifier]] | | type = [[Quantification (logic)|Quantifier]] | ||
| field = [[Mathematical logic]] | | field = [[Mathematical logic]] | ||
Line 8: | Line 8: | ||
}} | }} | ||
[[गणितीय तर्क]] में, | [[गणितीय तर्क]] में, सार्वभौमिक परिमाणीकरण एक प्रकार का [[परिमाणीकरण (तर्क)|परिमाणीकरण]] है, एक [[तार्किक स्थिरांक]] है जो किसी भी या सभी के लिए दी गई [[व्याख्या (तर्क)|व्याख्या]] है। यह अभिव्यक्त करता है कि वाद-विवाद के क्षेत्र के प्रत्येक सदस्य द्वारा विधेय को संतुष्ट किया जा सकता है। दूसरे शब्दों में, यह किसी संपत्ति या कार्यक्षेत्र के प्रत्येक सदस्य के संबंध की भविष्यवाणी है। यह [[तार्किक दावा]] करता है कि सार्वभौमिक परिमाणक के दायरे में एक विधेय [[विधेय चर]] के प्रत्येक [[मूल्यांकन (तर्क)|मूल्यांकन]] के लिए सही है। | ||
इसे आम तौर पर | इसे आम तौर पर मुड़े हुए A (∀) [[तार्किक संयोजक|तार्किक संकारक]] [[प्रतीक (औपचारिक)|प्रतीक]] द्वारा दर्शाया जाता है, जिसे जब विधेय चर के साथ प्रयोग किया जाता है, तो इसे एक सार्वभौमिक परिमाणीकरण ({{math|∀''x''}} ,{{math|∀(''x'')}} या कभी-कभी {{math|(''x'')}} कहा जाता है। सार्वभौम परिमाणीकरण अस्तित्वपरक परिमाणीकरण से अलग है, जो केवल यह दावा करता है कि संपत्ति या संबंध कार्यक्षेत्र के कम से कम एक सदस्य के लिए है। | ||
लेख में सामान्य रूप से परिमाणीकरण को सम्मिलित किया गया है। सार्वभौमिक परिमाणीकरण यूनिकोड में {{unichar|2200|FOR ALL}} के रूप में एन्कोड किया गया है और as <code>\forall</code> [[LaTeX]] को संबंधित सूत्र संपादकों में। | |||
== मूल बातें == | == मूल बातें == | ||
मान लीजिए कि दिया गया है | मान लीजिए कि दिया गया है | ||
<blockquote>2·0 = 0 + 0 | <blockquote>2·0 = 0 + 0 एन्ड 2·1 = 1 + 1 एन्ड {{nowrap|1=2·2 = 2 + 2}} आदि।</blockquote> | ||
"एन्ड" के बार-बार उपयोग के कारण यह एक [[तार्किक संयोजन]] प्रतीत होगा। हालाँकि, "आदि" के [[औपचारिक तर्क]] में एक संयोजन के रूप में व्याख्या नहीं कि जा सकती है। इसके बजाय, कथन को फिर से लिखा जाना चाहिए: | |||
<blockquote>सभी [[प्राकृतिक संख्या]]ओं n के लिए, | <blockquote>सभी [[प्राकृतिक संख्या]]ओं n के लिए, किसी के पास 2n = n + n होता है।</blockquote> | ||
यह सार्वभौमिक परिमाणीकरण का उपयोग करते हुए एकल कथन है। | यह सार्वभौमिक परिमाणीकरण का उपयोग करते हुए एकल कथन है। | ||
यह कथन मूल कथन से अधिक | यह कथन मूल कथन से अधिक सही हो सकता है, जबकि "आदि" में अनौपचारिक रूप से प्राकृतिक संख्याएँ सम्मिलित हैं और कुछ नहीं यह सख्ती से नहीं दिया गया था। दूसरी ओर, सार्वभौमिक परिमाणीकरण में प्राकृतिक संख्याओं का स्पष्ट रूप से उल्लेख किया गया है। | ||
यह | यह उदाहरण सत्य है क्योंकि किसी भी प्राकृतिक संख्या को n के स्थान पर प्रतिस्थापित किया जा सकता है और कथन 2·n = n + n सत्य हो सकता हैं। इसके विपरीत, | ||
<blockquote>सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n</blockquote> | <blockquote>सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता हैं। </blockquote> | ||
असत्य है | यह असत्य है, क्योंकि n को प्रतिस्थापित किया जाता है, उदाहरण के लिए 1 कथन 2·1 > 2 + 1 असत्य है। यह सारहीन है कि 2·n > 2 + n अधिकांश प्राकृतिक संख्याओं n के लिए सत्य है: यहां तक कि एकल प्रतिउदाहरण का अस्तित्व भी सार्वभौमिक परिमाणीकरण को गलत साबित करने के लिए पर्याप्त है। | ||
वहीं दूसरी ओर, | वहीं दूसरी ओर, | ||
सभी | |||
सत्य है, क्योंकि कोई भी [[प्रति उदाहरण]] भाज्य संख्या नहीं है। यह संवाद के क्षेत्र के महत्व को इंगित करता है, जो निर्दिष्ट करता है कि n | सभी भाज्य संख्याओं n के लिए, एक के पास 2·n > 2 + n होता हैं। | ||
<blockquote>सभी मिश्रित संख्याओं n के लिए, एक के पास 2·n > 2 + n</blockquote> | |||
यह सत्य है, क्योंकि कोई भी [[प्रति उदाहरण]] भाज्य संख्या नहीं है। यह संवाद के क्षेत्र के महत्व को इंगित करता है, जो निर्दिष्ट करता है कि 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> | <blockquote>सभी प्राकृत संख्याओं n के लिए, यदि n संमिश्र है, तो 2·n > 2 + n।</blockquote> | ||
Line 36: | Line 39: | ||
=== अंकन === | === अंकन === | ||
प्रथम क्रम तर्क में, सार्वभौमिक | प्रथम क्रम तर्क में, सार्वभौमिक परिमाणक प्रतीक <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' | |||
उदाहरण के लिए, यदि P(n) विधेय 2·n > 2 + n है और 'N' प्राकृतिक संख्याओं का समुच्चय (गणित) है, तो | |||
: <math> \forall n\!\in\!\mathbb{N}\; P(n) </math> | : <math> \forall n\!\in\!\mathbb{N}\; P(n) </math> | ||
(झूठा) कथन है | (झूठा) कथन है | ||
: सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता है। | : सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता है। | ||
इसी प्रकार | इसी प्रकार यदि Q(n) विधेय n सम्मिश्र है, तो | ||
: <math> \forall n\!\in\!\mathbb{N}\; \bigl( Q(n) \rightarrow P(n) \bigr) </math> | : <math> \forall n\!\in\!\mathbb{N}\; \bigl( Q(n) \rightarrow P(n) \bigr) </math> | ||
(सत्य) कथन है | (सत्य) कथन है | ||
: सभी प्राकृत संख्याओं n के लिए | : सभी प्राकृत संख्याओं n के लिए यदि n संमिश्र है, तो {{nowrap|2·''n'' > 2 + n}} . | ||
परिमाणक लेख में परिमाणीकरण (जो सभी रूपों पर लागू होता है) के लिए संकेतन में कई भिन्नताएँ पाई जा सकती हैं। | |||
== गुण == | == गुण == | ||
Line 55: | Line 59: | ||
=== निषेध === | === निषेध === | ||
सार्वभौमिक | सार्वभौमिक परिमाणक को अस्तित्वगत परिमाणक में बदलकर और मात्रा निर्धारित सूत्र को अस्वीकार करके सार्वभौमिक मात्रा निर्धारित कार्य की अस्वीकृति प्राप्त की जाती है। वह है, | ||
:<math>\lnot \forall x\; P(x)\quad\text {is equivalent to}\quad \exists x\;\lnot P(x) </math> | :<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> | :<math>\forall x \in X\, P(x)</math> | ||
यह कथन असत्य है। सच | यह कथन असत्य है। सच यह हैं कि | ||
<blockquote>ऐसा नहीं है कि, किसी भी जीवित व्यक्ति | <blockquote>ऐसा नहीं है कि, किसी भी जीवित व्यक्ति {{mvar|''x''}} को देखते हुए वह व्यक्ति विवाहित है</blockquote> | ||
या | या प्रतीकात्मक रूप से: | ||
:<math>\lnot\ \forall x \in X\, P(x)</math>. | :<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>\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>\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} | :<math>\begin{align} | ||
Line 87: | 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 | 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> | \end{align}</math> | ||
इसके विपरीत, तार्किक संयोजकों के लिए शेफर स्ट्रोक|↑, तार्किक NOR|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← | इसके विपरीत, तार्किक संयोजकों के लिए शेफर स्ट्रोक|↑, तार्किक NOR|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← के लिए परिमाणक फ़्लिप करते हैं: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 109: | Line 113: | ||
[[अनुमान का नियम]] वह नियम है जो परिकल्पना से निष्कर्ष तक एक तार्किक कदम को सही ठहराता है। अनुमान के कई नियम हैं जो सार्वभौम परिमाणक का उपयोग करते हैं। | [[अनुमान का नियम]] वह नियम है जो परिकल्पना से निष्कर्ष तक एक तार्किक कदम को सही ठहराता है। अनुमान के कई नियम हैं जो सार्वभौम परिमाणक का उपयोग करते हैं। | ||
सार्वभौम इन्स्टेन्शियशन का निष्कर्ष है कि | सार्वभौम इन्स्टेन्शियशन का निष्कर्ष है कि यदि प्रस्तावनात्मक फलन सार्वभौमिक रूप से सत्य के रूप में जाना जाता है, तो यह प्रवचन सार्वभौम के किसी भी विवेकाधीन तत्व के लिए सत्य होना चाहिए। प्रतीकात्मक रूप से इसे इस रूप में दर्शाया गया है | ||
:<math> \forall{x}{\in}\mathbf{X}\, P(x) \to P(c)</math> | :<math> \forall{x}{\in}\mathbf{X}\, P(x) \to P(c)</math> | ||
जहाँ c प्रवचन के | जहाँ c प्रवचन के सार्वभौम का विवेकाधीन तत्व है। | ||
सार्वभौम सामान्यीकरण निष्कर्ष निकालता है कि प्रवचन के | सार्वभौम सामान्यीकरण निष्कर्ष निकालता है कि प्रवचन के सार्वभौम के किसी भी विवेकाधीन तत्व के लिए अगर यह सच है तो प्रस्तावित कार्य सार्वभौमिक रूप से सत्य होना चाहिए। सांकेतिक रूप से विवेकाधीन c के लिए | ||
:<math> P(c) \to\ \forall{x}{\in}\mathbf{X}\, P(x).</math> | :<math> P(c) \to\ \forall{x}{\in}\mathbf{X}\, P(x).</math> | ||
तत्व c पूरी तरह से | तत्व c पूरी तरह से विवेकाधीन होना चाहिए अन्यथा तर्क का पालन नहीं होता है यदि c विवेकाधीन नहीं है और इसके बजाय प्रवचन के सार्वभौम का एक विशिष्ट तत्व है, तो p (c) केवल प्रस्तावात्मक कार्य के एक अस्तित्वगत परिमाण का तात्पर्य है। | ||
<!-- ''Discuss universally quantified types in [[type theory]].'' --> | <!-- ''Discuss universally quantified types in [[type theory]].'' --> | ||
Line 123: | Line 127: | ||
=== खाली सेट === | === खाली सेट === | ||
सम्मेलन द्वारा, सूत्र <math>\forall{x}{\in}\emptyset \, P(x)</math> सूत्र P(x) पर ध्यान दिए बिना हमेशा सत्य होता | सम्मेलन द्वारा, सूत्र <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> | |||
:<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>\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>\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>\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>\exists_! S = \exists x. S(x),</math> | ||
ये सच है अगर <math>S</math> खाली नहीं है और | |||
:<math>\forall_! S = \forall x. S(x),</math> | :<math>\forall_! S = \forall x. S(x),</math> | ||
जो असत्य है यदि S, X नहीं है। | जो असत्य है यदि S, X नहीं है। | ||
ऊपर दिए गए सार्वभौमिक और अस्तित्वगत | ऊपर दिए गए सार्वभौमिक और अस्तित्वगत परिमाणीकरण [[प्रीशेफ श्रेणी]] को सामान्यीकृत करते हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 169: | Line 174: | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
* {{Wiktionary-inline|every}} | * {{Wiktionary-inline|every}} | ||
{{Mathematical logic}} | {{Mathematical logic}} | ||
[[Category: | [[Category:CS1 maint]] | ||
[[Category:Collapse templates]] | |||
[[Category:Created On 01/03/2023]] | [[Category:Created On 01/03/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:Short description with empty Wikidata description]] | |||
[[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:परिमाणक (तर्क)]] |
Latest revision as of 16:49, 27 April 2023
Type | Quantifier |
---|---|
Field | Mathematical logic |
Statement | is true when is true for all values of . |
Symbolic statement |
गणितीय तर्क में, सार्वभौमिक परिमाणीकरण एक प्रकार का परिमाणीकरण है, एक तार्किक स्थिरांक है जो किसी भी या सभी के लिए दी गई व्याख्या है। यह अभिव्यक्त करता है कि वाद-विवाद के क्षेत्र के प्रत्येक सदस्य द्वारा विधेय को संतुष्ट किया जा सकता है। दूसरे शब्दों में, यह किसी संपत्ति या कार्यक्षेत्र के प्रत्येक सदस्य के संबंध की भविष्यवाणी है। यह तार्किक दावा करता है कि सार्वभौमिक परिमाणक के दायरे में एक विधेय विधेय चर के प्रत्येक मूल्यांकन के लिए सही है।
इसे आम तौर पर मुड़े हुए A (∀) तार्किक संकारक प्रतीक द्वारा दर्शाया जाता है, जिसे जब विधेय चर के साथ प्रयोग किया जाता है, तो इसे एक सार्वभौमिक परिमाणीकरण (∀x ,∀(x) या कभी-कभी (x) कहा जाता है। सार्वभौम परिमाणीकरण अस्तित्वपरक परिमाणीकरण से अलग है, जो केवल यह दावा करता है कि संपत्ति या संबंध कार्यक्षेत्र के कम से कम एक सदस्य के लिए है।
लेख में सामान्य रूप से परिमाणीकरण को सम्मिलित किया गया है। सार्वभौमिक परिमाणीकरण यूनिकोड में U+2200 ∀ FOR ALL के रूप में एन्कोड किया गया है और as \forall
LaTeX को संबंधित सूत्र संपादकों में।
मूल बातें
मान लीजिए कि दिया गया है
2·0 = 0 + 0 एन्ड 2·1 = 1 + 1 एन्ड 2·2 = 2 + 2 आदि।
"एन्ड" के बार-बार उपयोग के कारण यह एक तार्किक संयोजन प्रतीत होगा। हालाँकि, "आदि" के औपचारिक तर्क में एक संयोजन के रूप में व्याख्या नहीं कि जा सकती है। इसके बजाय, कथन को फिर से लिखा जाना चाहिए:
सभी प्राकृतिक संख्याओं n के लिए, किसी के पास 2n = 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 ... तो निर्माण तार्किक स्थिति को इंगित करता है।
अंकन
प्रथम क्रम तर्क में, सार्वभौमिक परिमाणक प्रतीक (एक सेन्स-सेरिफ़ फ़ॉन्ट, यूनिकोड यू+2200 में "A" बदल गया) का उपयोग सार्वभौमिक परिमाणीकरण को इंगित करने के लिए किया जाता है। इसे पहली बार 1935 में गेरहार्ड जेंटजन द्वारा ज्यूसेप पीनो के अनुरूप इस्तेमाल किया गया था। अस्तित्वगत परिमाणीकरण के लिए (ई) संकेतन और बाद में बर्ट्रेंड रसेल द्वारा पीनो संकेतन के उपयोग के लिए इस्तेमाल किया गया था।[1]
उदाहरण के लिए, यदि P(n) विधेय 2·n > 2 + n है और 'N' प्राकृतिक संख्याओं का समुच्चय (गणित) है, तो
(झूठा) कथन है
- सभी प्राकृत संख्याओं n के लिए, एक के पास 2·n > 2 + n होता है।
इसी प्रकार यदि Q(n) विधेय n सम्मिश्र है, तो
(सत्य) कथन है
- सभी प्राकृत संख्याओं n के लिए यदि n संमिश्र है, तो 2·n > 2 + n .
परिमाणक लेख में परिमाणीकरण (जो सभी रूपों पर लागू होता है) के लिए संकेतन में कई भिन्नताएँ पाई जा सकती हैं।
गुण
निषेध
सार्वभौमिक परिमाणक को अस्तित्वगत परिमाणक में बदलकर और मात्रा निर्धारित सूत्र को अस्वीकार करके सार्वभौमिक मात्रा निर्धारित कार्य की अस्वीकृति प्राप्त की जाती है। वह है,
जहाँ निषेध को दर्शाता है।
उदाहरण के लिए, यदि P(x) प्रस्तावक कार्य x विवाहित है, तो सभी जीवित मनुष्यों के सेट X के लिए सार्वभौमिक परिमाणीकरण
किसी भी जीवित व्यक्ति x को देखते हुए वह व्यक्ति विवाहित है
यह कथन असत्य है। सच यह हैं कि
ऐसा नहीं है कि, किसी भी जीवित व्यक्ति x को देखते हुए वह व्यक्ति विवाहित है
या प्रतीकात्मक रूप से:
- .
यदि फलन P(x) के प्रत्येक अवयव X के लिए सत्य नहीं है तो कम से कम एक अवयव होना चाहिए जिसके लिए कथन गलत हो, निषेध तार्किक रूप से एक जीवित व्यक्ति के अस्तित्व के बराबर है x जो विवाहित नहीं है या:
यह भ्रमित करना गलत है कि सभी व्यक्ति विवाहित नहीं हैं (अर्थात ऐसा कोई व्यक्ति उपस्थित नहीं है जो विवाहित है) सभी व्यक्ति विवाहित नहीं हैं (अर्थात एक ऐसा व्यक्ति उपस्थित है जो विवाहित नहीं है):
अन्य संयोजक
सार्वभौमिक (और अस्तित्वगत) परिमाणक तार्किक संयोजनों में अपरिवर्तित चलता है तार्किक संयोजन|∧, तार्किक संयोजन|∨, भौतिक सशर्त|-> और विलोम गैर-प्रत्यारोपण|↚, जब तक अन्य संकार्य प्रभावित नहीं होता है वह है:
इसके विपरीत, तार्किक संयोजकों के लिए शेफर स्ट्रोक|↑, तार्किक NOR|↓, सामग्री गैर-अनुप्रयोग|↛, और विलोम निहितार्थ|← के लिए परिमाणक फ़्लिप करते हैं:
अनुमान के नियम
अनुमान का नियम वह नियम है जो परिकल्पना से निष्कर्ष तक एक तार्किक कदम को सही ठहराता है। अनुमान के कई नियम हैं जो सार्वभौम परिमाणक का उपयोग करते हैं।
सार्वभौम इन्स्टेन्शियशन का निष्कर्ष है कि यदि प्रस्तावनात्मक फलन सार्वभौमिक रूप से सत्य के रूप में जाना जाता है, तो यह प्रवचन सार्वभौम के किसी भी विवेकाधीन तत्व के लिए सत्य होना चाहिए। प्रतीकात्मक रूप से इसे इस रूप में दर्शाया गया है
जहाँ c प्रवचन के सार्वभौम का विवेकाधीन तत्व है।
सार्वभौम सामान्यीकरण निष्कर्ष निकालता है कि प्रवचन के सार्वभौम के किसी भी विवेकाधीन तत्व के लिए अगर यह सच है तो प्रस्तावित कार्य सार्वभौमिक रूप से सत्य होना चाहिए। सांकेतिक रूप से विवेकाधीन c के लिए
तत्व c पूरी तरह से विवेकाधीन होना चाहिए अन्यथा तर्क का पालन नहीं होता है यदि c विवेकाधीन नहीं है और इसके बजाय प्रवचन के सार्वभौम का एक विशिष्ट तत्व है, तो p (c) केवल प्रस्तावात्मक कार्य के एक अस्तित्वगत परिमाण का तात्पर्य है।
खाली सेट
सम्मेलन द्वारा, सूत्र सूत्र P(x) पर ध्यान दिए बिना सूत्र हमेशा सत्य होता है।
सार्वभौमिक क्लोजर
सूत्र φ का सार्वभौमिक क्लोजर सूत्र है जिसमें φ में प्रत्येक मुक्त चर के लिए एक सार्वभौमिक परिमाणक जोड़कर कोई मुक्त चर प्राप्त नहीं होता है। उदाहरण के लिए, का सार्वभौमिक क्लोजर
- है
संलग्न के रूप में
श्रेणी सिद्धांत और प्राथमिक टोपोस के सिद्धांत में, सार्वभौमिक परिमाणक को सत्ता स्थापित के बीच एक ऑपरेटर के सही आसन्न के रूप में समझा जा सकता है, संग्रह के बीच एक कार्य के उलटा छवि कारक है इसी तरह अस्तित्वगत परिमाणक बायाँ सन्निकट है।[2]
एक संग्रह के लिए होने देना इसके सत्ता स्थापित को निरूपित करता हैं। किसी कार्य के लिए संग्रह के बीच और , एक व्युत्क्रम छवि कारक है सत्ता स्थापित के बीच, जो f के कोडोमेन के उप-समूचय को उसके डोमेन के उप-समूचय में वापस ले जाता है। इस कारक का बायाँ सन्निकट अस्तित्वगत परिमाणक है और दायां सन्निकट सार्वत्रिक परिमाणक है
जहाँ एक कारक है प्रत्येक उपसमुच्चय के लिए , उप-समूचय द्वारा दिए गए
जो की छवि में अंतर्गत है, इसी प्रकार सार्वभौमिक परिमाणक एक कारक है कि प्रत्येक उपसमुच्चय के लिए उप-समूचय द्वारा दिए गए
ये जिसके द्वारा प्रीइमेज में निहित है
परिमाणक का अधिक परिचित रूप जैसा कि प्रथम-क्रम तर्क में उपयोग किया जाता है, कार्य f को अद्वितीय कार्य के रूप में प्राप्त किया जाता है ताकि मान को सही और गलत रखने वाला दो-तत्व संग्रह है, S वह उपसमुच्चय है जिसके लिए विधेय (गणितीय तर्क) रखता है और
ये सच है अगर खाली नहीं है और
जो असत्य है यदि S, X नहीं है।
ऊपर दिए गए सार्वभौमिक और अस्तित्वगत परिमाणीकरण प्रीशेफ श्रेणी को सामान्यीकृत करते हैं।
यह भी देखें
- अस्तित्वगत परिमाणीकरण
- पहले क्रम का तर्क
- तर्क प्रतीकों की सूची - यूनिकोड प्रतीक ∀ के लिए
टिप्पणियाँ
- ↑ Further information on using domains of discourse with quantified statements can be found in the Quantification (logic) article.
संदर्भ
- ↑ 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