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

From Vigyanwiki
(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 = Universal quantification
| name = सार्वभौमिक परिमाणीकरण
| type = [[Quantification (logic)|Quantifier]]
| type = [[Quantification (logic)|Quantifier]]
| field = [[Mathematical logic]]
| field = [[Mathematical logic]]
Line 8: Line 8:
}}
}}


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


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


परिमाणीकरण (तर्क) पर लेख में सामान्य रूप से परिमाणीकरण को शामिल किया गया है। यूनिवर्सल क्वांटिफायर को एन्कोड किया गया है {{unichar|2200|FOR ALL}} [[यूनिकोड]] में, और as <code>\forall</code> [[LaTeX]] और संबंधित सूत्र संपादकों में।
लेख में सामान्य रूप से परिमाणीकरण को सम्मिलित किया गया है। सार्वभौमिक परिमाणीकरण यूनिकोड में {{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>2·0 = 0 + 0 एन्ड 2·1 = 1 + 1 एन्ड {{nowrap|1=2·2 = 2 + 2}} आदि।</blockquote>
और के बार-बार उपयोग के कारण यह एक [[तार्किक संयोजन]] प्रतीत होगा। हालाँकि, आदि को [[औपचारिक तर्क]] में एक संयोजन के रूप में व्याख्या नहीं किया जा सकता है। इसके बजाय, कथन को फिर से लिखा जाना चाहिए:
"एन्ड" के बार-बार उपयोग के कारण यह एक [[तार्किक संयोजन]] प्रतीत होगा। हालाँकि, "आदि" के [[औपचारिक तर्क]] में एक संयोजन के रूप में व्याख्या नहीं कि जा सकती है। इसके बजाय, कथन को फिर से लिखा जाना चाहिए:
<blockquote>सभी [[प्राकृतिक संख्या]]ओं n के लिए, एक के पास 2·n = n + n होता है।</blockquote>
<blockquote>सभी [[प्राकृतिक संख्या]]ओं n के लिए, किसी के पास 2n = n + n होता है।</blockquote>
यह सार्वभौमिक परिमाणीकरण का उपयोग करते हुए एकल कथन है।
यह सार्वभौमिक परिमाणीकरण का उपयोग करते हुए एकल कथन है।


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


यह विशेष उदाहरण सत्य (तर्क) है, क्योंकि किसी भी प्राकृतिक संख्या को n के लिए प्रतिस्थापित किया जा सकता है और कथन 2·n = n + n सत्य होगा। इसके विपरीत,
यह उदाहरण सत्य है क्योंकि किसी भी प्राकृतिक संख्या को 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 को प्रतिस्थापित किया जाता है, उदाहरण के लिए 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> विशेष रूप से, ध्यान दें कि यदि प्रवचन का क्षेत्र केवल उन वस्तुओं को शामिल करने के लिए प्रतिबंधित है जो एक निश्चित विधेय को पूरा करते हैं, तो सार्वभौमिक परिमाणीकरण के लिए इसके लिए एक तार्किक स्थिति की आवश्यकता होती है। उदाहरण के लिए,
सभी भाज्य संख्याओं 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 में बदल गया ) का उपयोग सार्वभौमिक परिमाणीकरण को इंगित करने के लिए किया जाता है। इसे पहली बार 1935 में [[गेरहार्ड जेंटजन]] द्वारा [[Giuseppe Peano]]'s के अनुरूप इस्तेमाल किया गया था। <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 में "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 समग्र है, तब
इसी प्रकार यदि 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 संमिश्र है, तब {{nowrap|2·''n'' > 2 + 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>\lnot</math> निषेध को दर्शाता है।
 
उदाहरण के लिए, यदि {{math|''P''(''x'')}} [[प्रस्तावक समारोह|प्रस्तावक कार्य]] {{math|''x''}} विवाहित है, तो सभी जीवित मनुष्यों के सेट X के लिए सार्वभौमिक परिमाणीकरण
<blockquote>किसी भी जीवित व्यक्ति {{math|''x''}}  को देखते हुए वह व्यक्ति विवाहित है </blockquote>


उदाहरण के लिए, यदि {{math|''P''(''x'')}} [[प्रस्तावक समारोह]] है{{math|''x''}} विवाहित है, फिर, सेट के लिए (गणित) {{mvar|X}} सभी जीवित मनुष्यों का, सार्वभौमिक मात्रा का ठहराव
<blockquote>किसी भी जीवित व्यक्ति को देखते हुए {{math|''x''}}, वह व्यक्ति विवाहित है</blockquote>
लिखा है
:<math>\forall x \in X\, P(x)</math>
:<math>\forall x \in X\, P(x)</math>
यह कथन असत्य है। सच तो यह कहा गया है
यह कथन असत्य है। सच यह हैं कि
<blockquote>ऐसा नहीं है कि, किसी भी जीवित व्यक्ति को देखते हुए {{mvar|''x''}}, वह व्यक्ति विवाहित है</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|''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 के लिए,
सार्वभौम सामान्यीकरण निष्कर्ष निकालता है कि प्रवचन के सार्वभौम के किसी भी विवेकाधीन तत्व के लिए अगर यह सच है तो प्रस्तावित कार्य सार्वभौमिक रूप से सत्य होना चाहिए। सांकेतिक रूप से विवेकाधीन 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>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>
[[श्रेणी सिद्धांत]] और [[प्राथमिक टोपोस]] के सिद्धांत में, सार्वभौमिक परिमाणक को [[ सत्ता स्थापित |सत्ता स्थापित]] के बीच एक [[ ऑपरेटर |ऑपरेटर]] के सही आसन्न के रूप में समझा जा सकता है, संग्रह के बीच एक कार्य के उलटा छवि कारक है इसी तरह अस्तित्वगत परिमाणक बायाँ सन्निकट है।<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>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>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>.
ये <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>\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>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}}
{{Common logical symbols}}
{{Mathematical logic}}
{{Mathematical logic}}
[[Category: तर्क प्रतीक]] [[Category: तार्किक भाव]] [[Category: परिमाणक (तर्क)]]


[[Category: Machine Translated Page]]
[[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

सार्वभौमिक परिमाणीकरण
TypeQuantifier
FieldMathematical 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 संमिश्र है, तो 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 नहीं है।

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

यह भी देखें

टिप्पणियाँ

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


संदर्भ

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


बाहरी संबंध

  • The dictionary definition of every at Wiktionary