रिक्त सत्य: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 17: Line 17:


इस मूल रूप (सामग्री सशर्त) में कम किए जा सकने वाले रिक्त सत्य कथनों में निम्नलिखित सार्वभौमिक परिमाणक कथन सम्मिलित हैं:
इस मूल रूप (सामग्री सशर्त) में कम किए जा सकने वाले रिक्त सत्य कथनों में निम्नलिखित सार्वभौमिक परिमाणक कथन सम्मिलित हैं:
* <math>\forall x: P(x) \Rightarrow Q(x)</math>, जहां ऐसा है <math>\forall x: \neg P(x)</math>.<ref name=":4" />* <math>\forall x \in A: Q(x)</math>, जहां समुच्चय (गणित) <math>A</math> [[खाली सेट|खाली समुच्चय]] है।
* <math>\forall x: P(x) \Rightarrow Q(x)</math>, जहां ऐसा है <math>\forall x: \neg P(x)</math>.<ref name=":4" />
*<math>\forall x \in A: Q(x)</math>, जहां समुच्चय (गणित) <math>A</math> [[खाली सेट|खाली समुच्चय]] है।
** यह तार्किक रूप <math>\forall x \in A: Q(x)</math> पूर्ववर्ती (तर्क) को आसानी से पहचानने के लिए भौतिक सशर्त रूप में परिवर्तित किया जा सकता है। उपरोक्त उदाहरण के लिए <math>S</math> कमरे के सभी सेल फोन बंद हैं, इसे औपचारिक रूप से लिखा जा सकता है <math>\forall x \in A: Q(x)</math> कहाँ <math>A</math> कमरे में सभी सेल फोन का समुच्चय है और <math>Q(x)</math> है<math>x</math> बंद कर दिया गया है। यह सामग्री सशर्त कथन के लिए लिखा जा सकता है <math>\forall x \in B: P(x) \Rightarrow Q(x)</math> कहाँ <math>B</math> कमरे में सभी चीजों का समुच्चय है (सेल फोन सहित यदि वे कमरे में उपस्थित हैं), पूर्ववर्ती <math>P(x)</math> है<math>x</math> सेल फोन है, और परिणामी <math>Q(x)</math> है<math>x</math> बंद कर दिया गया है।
** यह तार्किक रूप <math>\forall x \in A: Q(x)</math> पूर्ववर्ती (तर्क) को आसानी से पहचानने के लिए भौतिक सशर्त रूप में परिवर्तित किया जा सकता है। उपरोक्त उदाहरण के लिए <math>S</math> कमरे के सभी सेल फोन बंद हैं, इसे औपचारिक रूप से लिखा जा सकता है <math>\forall x \in A: Q(x)</math> कहाँ <math>A</math> कमरे में सभी सेल फोन का समुच्चय है और <math>Q(x)</math> है<math>x</math> बंद कर दिया गया है। यह सामग्री सशर्त कथन के लिए लिखा जा सकता है <math>\forall x \in B: P(x) \Rightarrow Q(x)</math> कहाँ <math>B</math> कमरे में सभी चीजों का समुच्चय है (सेल फोन सहित यदि वे कमरे में उपस्थित हैं), पूर्ववर्ती <math>P(x)</math> है<math>x</math> सेल फोन है, और परिणामी <math>Q(x)</math> है<math>x</math> बंद कर दिया गया है।
* <math>\forall \xi: Q(\xi)</math>, जहां प्रतीक <math>\xi</math> [[प्रकार (प्रकार सिद्धांत)]] तक सीमित है जिसका कोई प्रतिनिधि नहीं है।
* <math>\forall \xi: Q(\xi)</math>, जहां प्रतीक <math>\xi</math> [[प्रकार (प्रकार सिद्धांत)]] तक सीमित है जिसका कोई प्रतिनिधि नहीं है।
Line 28: Line 29:
कई प्रोग्रामिंग परिवेशों में पूछताछ के लिए तंत्र होता है यदि वस्तुओं के संग्रह में प्रत्येक वस्तु कुछ भविष्यवाणी को संतुष्ट करती है। खाली संग्रह के लिए ऐसी क्वेरी का सदैव सत्य के रूप में मूल्यांकन करना आम बात है। उदाहरण के लिए:
कई प्रोग्रामिंग परिवेशों में पूछताछ के लिए तंत्र होता है यदि वस्तुओं के संग्रह में प्रत्येक वस्तु कुछ भविष्यवाणी को संतुष्ट करती है। खाली संग्रह के लिए ऐसी क्वेरी का सदैव सत्य के रूप में मूल्यांकन करना आम बात है। उदाहरण के लिए:


* [[जावास्क्रिप्ट]] में, [[सरणी]] विधि <code>every</code> सरणी में उपस्थित प्रत्येक तत्व के लिए बार प्रदान किए गए कॉलबैक फ़ंक्शन को निष्पादित करता है, केवल रोकता है (यदि और जब) यह तत्व पाता है जहां कॉलबैक फ़ंक्शन गलत होता है। विशेष रूप से, कॉल करना <code>every</code> खाली सरणी पर विधि किसी भी स्थिति के लिए सही होगी।<ref>{{Cite web|url=https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/every|title=Array.prototype.every() - JavaScript &#124; MDN|website=developer.mozilla.org}}</ref>
* [[जावास्क्रिप्ट]] में, [[सरणी]] विधि<code>प्रत्येक</code>सरणी में उपस्थित प्रत्येक तत्व के लिए बार प्रदान किए गए कॉलबैक फ़ंक्शन को निष्पादित करता है, केवल रोकता है (यदि और जब) यह तत्व पाता है जहां कॉलबैक फ़ंक्शन गलत होता है। विशेष रूप से, कॉल करना <code>प्रत्येक</code>खाली सरणी पर विधि किसी भी स्थिति के लिए सही होगी।<ref>{{Cite web|url=https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/every|title=Array.prototype.every() - JavaScript &#124; MDN|website=developer.mozilla.org}}</ref>
* पायथन (प्रोग्रामिंग लैंग्वेज) में, <code>all</code> फ़ंक्शन रिटर्न <code>True</code> यदि दिए गए पुनरावर्तनीय के सभी तत्व हैं <code>True</code>. फलन भी लौटता है <code>True</code> जब शून्य लंबाई का चलने योग्य दिया जाता है।<ref>{{cite web |title=Built-in Functions — Python 3.10.2 documentation |url=https://docs.python.org/3/library/functions.html#all |website=docs.python.org}}</ref>
* पायथन (प्रोग्रामिंग लैंग्वेज) में, <code>सभी</code> फ़ंक्शन रिटर्न <code>सत्य</code> यदि दिए गए पुनरावर्तनीय के सभी तत्व हैं <code>सत्य</code>. फलन भी लौटता है <code>सत्य</code> जब शून्य लंबाई का चलने योग्य दिया जाता है।<ref>{{cite web |title=Built-in Functions — Python 3.10.2 documentation |url=https://docs.python.org/3/library/functions.html#all |website=docs.python.org}}</ref>
* [[जंग (प्रोग्रामिंग भाषा)]] में, <code>Iterator::all</code> फ़ंक्शन पुनरावर्तक और विधेय को स्वीकार करता है और वापस लौटता है <code>true</code> केवल जब विधेय वापस आता है <code>true</code> इटरेटर द्वारा उत्पादित सभी वस्तुओं के लिए, या यदि इटरेटर कोई आइटम नहीं बनाता है।<ref>{{Cite web|url=https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.all|title=Iterator in std::iter - Rust|website=doc.rust-lang.org}}</ref>
* [[जंग (प्रोग्रामिंग भाषा)]] में, <code>इटरेटर :: सभी</code> फ़ंक्शन पुनरावर्तक और विधेय को स्वीकार करता है और वापस लौटता है <code>सत्य</code> केवल जब विधेय वापस आता है <code>सत्य</code> इटरेटर द्वारा उत्पादित सभी वस्तुओं के लिए, या यदि इटरेटर कोई आइटम नहीं बनाता है।<ref>{{Cite web|url=https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.all|title=Iterator in std::iter - Rust|website=doc.rust-lang.org}}</ref>





Revision as of 21:57, 4 March 2023

गणित और तर्क में, रिक्त सत्य भौतिक सशर्त या सार्वभौमिक परिमाणीकरण कथन (तर्क) है ( सार्वभौमिक कथन जिसे सशर्त कथन में परिवर्तित किया जा सकता है) जो सत्य है क्योंकि पूर्ववर्ती (तर्क) संतोषजनक नहीं हो सकता है।[1] उदाहरण के लिए, यह कथन कि उसके पास सेल फोन नहीं है, का अर्थ यह होगा कि उसके सभी सेल फोन बंद कर दिए गए हैं, उसे सत्य सौंपा जाएगा। इसके अतिरिक्त, यह कथन कि उसके सभी सेल फोन चालू हैं, भी रिक्त रूप से सत्य होगा, जैसा कि दोनों का तार्किक संयोजन होगा: उसके सभी सेल फोन चालू और बंद हैं, जो अन्यथा असंगत और गलत होगा। इस कारण से, कभी-कभी यह कहा जाता है कि कथन रिक्त रूप से सत्य है क्योंकि यह अर्थहीन है।[2]

अधिक औपचारिक रूप से, अपेक्षाकृत अच्छी परिभाषा | अच्छी तरह से परिभाषित उपयोग झूठी पूर्ववर्ती (तर्क) के साथ सशर्त कथन (या सार्वभौमिक सशर्त कथन) को संदर्भित करता है।[1][3][2][4] इस तरह के कथन का उदाहरण यह है कि यदि टोक्यो फ्रांस में है, तो एफिल टॉवर बोलीविया में है।

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

रोज़मर्रा के भाषण के सामान्य उदाहरणों में सशर्त वाक्यांशों का उपयोग असंभवता के मुहावरों की सूची के रूप में किया जाता है जैसे कि जब नर्क जम जाता है ... और जब सूअर उड़ सकते हैं ..., यह दर्शाता है कि दी गई (असंभव) शर्त पूरी होने से पहले समया कुछ संबंधित को स्वीकार नहीं करेगा (सामान्यतः झूठा या बेतुका) प्रस्ताव।

शुद्ध गणित में, रिक्त रूप से सत्य कथन सामान्यतः अपने आप में रोचक नहीं होते हैं, किन्तु वे अधिकांशतः गणितीय प्रेरण द्वारा प्रमाण के आधार स्थितियों के रूप में उत्पन्न होते हैं।[5] इस धारणा की शुद्ध गणित के साथ-साथ मौलिक तर्क का उपयोग करने वाले किसी भी अन्य क्षेत्र में प्रासंगिकता है।

गणित के बाहर, ऐसे कथन जिन्हें अनौपचारिक रूप से रिक्त रूप से सत्य के रूप में चित्रित किया जा सकता है, भ्रामक हो सकते हैं। इस तरह के कथन क्वालीफायर ऑब्जेक्ट्स के बारे में उचित प्रमाणित करते हैं जो कि कोई नहीं है। उदाहरण के लिए, बच्चा अपने माता-पिता से सच-सच कह सकता है कि मैंने अपनी थाली में सब्ज़ियाँ खाईं, जबकि बच्चे की थाली में प्रारंभिकू में सब्ज़ियाँ नहीं थीं। इस स्थितियों में, माता-पिता यह मान सकते हैं कि बच्चे ने वास्तव में कुछ सब्जियां खाई हैं, चूंकि यह सच नहीं है। इसके अतिरिक्त, खाली सच अधिकांशतः बेतुके कथनों के साथ प्रयोग किया जाता है, या तो आत्मविश्वास से कुछ कहने के लिए (जैसे कुत्ता लाल था, या मैं बंदर का चाचा हूं, दृढ़ता से प्रमाणित करने के लिए कि कुत्ता लाल था), या संदेह व्यक्त करने के लिए, व्यंग्य, अविश्वास, अविश्वसनीयता या आक्रोश (जैसे हाँ, और मैं इंग्लैंड का राजा हूँ जो पहले किए गए कथन से असहमत हैं)।

अवधारणा का सीमा

कथन रिक्त रूप से सत्य है यदि यह तार्किक रूप से भौतिक सशर्त कथन है , जहां पूर्ववर्ती (तर्क) झूठा जाना जाता है।[1][3][2]

इस मूल रूप (सामग्री सशर्त) में कम किए जा सकने वाले रिक्त सत्य कथनों में निम्नलिखित सार्वभौमिक परिमाणक कथन सम्मिलित हैं:

  • , जहां ऐसा है .[4]
  • , जहां समुच्चय (गणित) खाली समुच्चय है।
    • यह तार्किक रूप पूर्ववर्ती (तर्क) को आसानी से पहचानने के लिए भौतिक सशर्त रूप में परिवर्तित किया जा सकता है। उपरोक्त उदाहरण के लिए कमरे के सभी सेल फोन बंद हैं, इसे औपचारिक रूप से लिखा जा सकता है कहाँ कमरे में सभी सेल फोन का समुच्चय है और है बंद कर दिया गया है। यह सामग्री सशर्त कथन के लिए लिखा जा सकता है कहाँ कमरे में सभी चीजों का समुच्चय है (सेल फोन सहित यदि वे कमरे में उपस्थित हैं), पूर्ववर्ती है सेल फोन है, और परिणामी है बंद कर दिया गया है।
  • , जहां प्रतीक प्रकार (प्रकार सिद्धांत) तक सीमित है जिसका कोई प्रतिनिधि नहीं है।

द्विसंयोजक तर्क के साथ मौलिक तर्क में सामान्यतः रिक्त सत्य दिखाई देते हैं। चूँकि, रिक्त सत्य भी प्रकट हो सकते हैं, उदाहरण के लिए, अंतर्ज्ञानवादी तर्क, ऊपर दी गई स्थितियों में। दरअसल, यदि असत्य है तो भौतिक सशर्त का उपयोग करने वाले किसी भी तर्क में खाली सत्य उत्पन्न करेगा; यदि विरोधाभास है, तो यह सख्त सशर्त के अनुसार खाली सच्चाई भी उत्पन्न करेगा।

अन्य गैर-मौलिक तर्क, जैसे कि प्रासंगिकता तर्क, वैकल्पिक शर्तों (जैसे प्रतितथ्यात्मक सशर्त के मामले) का उपयोग करके खाली सच्चाई से बचने का प्रयास कर सकते हैं।

कंप्यूटर प्रोग्रामिंग में

कई प्रोग्रामिंग परिवेशों में पूछताछ के लिए तंत्र होता है यदि वस्तुओं के संग्रह में प्रत्येक वस्तु कुछ भविष्यवाणी को संतुष्ट करती है। खाली संग्रह के लिए ऐसी क्वेरी का सदैव सत्य के रूप में मूल्यांकन करना आम बात है। उदाहरण के लिए:

  • जावास्क्रिप्ट में, सरणी विधिप्रत्येकसरणी में उपस्थित प्रत्येक तत्व के लिए बार प्रदान किए गए कॉलबैक फ़ंक्शन को निष्पादित करता है, केवल रोकता है (यदि और जब) यह तत्व पाता है जहां कॉलबैक फ़ंक्शन गलत होता है। विशेष रूप से, कॉल करना प्रत्येकखाली सरणी पर विधि किसी भी स्थिति के लिए सही होगी।[6]
  • पायथन (प्रोग्रामिंग लैंग्वेज) में, सभी फ़ंक्शन रिटर्न सत्य यदि दिए गए पुनरावर्तनीय के सभी तत्व हैं सत्य. फलन भी लौटता है सत्य जब शून्य लंबाई का चलने योग्य दिया जाता है।[7]
  • जंग (प्रोग्रामिंग भाषा) में, इटरेटर :: सभी फ़ंक्शन पुनरावर्तक और विधेय को स्वीकार करता है और वापस लौटता है सत्य केवल जब विधेय वापस आता है सत्य इटरेटर द्वारा उत्पादित सभी वस्तुओं के लिए, या यदि इटरेटर कोई आइटम नहीं बनाता है।[8]


उदाहरण

ये उदाहरण, गणित से और प्राकृतिक भाषा से, रिक्त सत्य की अवधारणा को स्पष्ट करते हैं:

  • किसी पूर्णांक x के लिए, यदि x > 5 तो x > 3।[9] - यह कथन गैर-शून्य सत्य है (चूंकि कुछ पूर्णांक वास्तव में 5 से अधिक हैं), किन्तु इसके कुछ निहितार्थ केवल रिक्त रूप से सत्य हैं: उदाहरण के लिए, जब x पूर्णांक 2 है, तो कथन का तात्पर्य रिक्त सत्य से है कि यदि 2 > 5 फिर 2> 3।
  • मेरे सभी बच्चे बकरियां हैं यह कोरी सच्चाई है, जब बिना बच्चों के किसी के द्वारा बोली जाती है। इसी तरह, मेरे बच्चों में से कोई भी बकरियां नहीं है, यह भी खाली सच्चाई होगी, जब किसी के द्वारा बच्चों के बिना (संभवतः ही व्यक्ति) बोला जाएगा।

यह भी देखें

संदर्भ

  1. 1.0 1.1 1.2 "खाली सच". web.cse.ohio-state.edu. Retrieved 2019-12-15.
  2. 2.0 2.1 2.2 "Vacuously true - CS2800 wiki". courses.cs.cornell.edu. Retrieved 2019-12-15.
  3. 3.0 3.1 "Definition:Vacuous Truth - ProofWiki". proofwiki.org. Retrieved 2019-12-15.
  4. 4.0 4.1 Edwards, C. H. (January 18, 1998). "खाली सच" (PDF). swarthmore.edu. Retrieved 2019-12-14.
  5. Baldwin, Douglas L.; Scragg, Greg W. (2011), Algorithms and Data Structures: The Science of Computing, Cengage Learning, p. 261, ISBN 978-1-285-22512-8
  6. "Array.prototype.every() - JavaScript | MDN". developer.mozilla.org.
  7. "Built-in Functions — Python 3.10.2 documentation". docs.python.org.
  8. "Iterator in std::iter - Rust". doc.rust-lang.org.
  9. "logic - What precisely is a vacuous truth?". Mathematics Stack Exchange.


ग्रन्थसूची


बाहरी संबंध