रिक्त सत्य

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

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

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

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

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

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

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

एक कथन $S$ रिक्त रूप से सत्य है यदि यह तार्किक रूप से एक भौतिक सशर्त कथन है $P\Rightarrow Q$, जहां पूर्ववर्ती (तर्क) $P$ झूठा जाना जाता है।

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

• $\forall x:P(x)\Rightarrow Q(x)$, जहां ऐसा है $\forall x:\neg P(x)$.* $\forall x\in A:Q(x)$, जहां समुच्चय (गणित) $A$ खाली समुच्चय है।
  • यह तार्किक रूप $\forall x\in A:Q(x)$ पूर्ववर्ती (तर्क) को आसानी से पहचानने के लिए भौतिक सशर्त रूप में परिवर्तित किया जा सकता है। उपरोक्त उदाहरण के लिए $S$ कमरे के सभी सेल फोन बंद हैं, इसे औपचारिक रूप से लिखा जा सकता है $\forall x\in A:Q(x)$ कहाँ $A$ कमरे में सभी सेल फोन का समुच्चय है और $Q(x)$ है$x$ बंद कर दिया गया है। यह एक सामग्री सशर्त कथन के लिए लिखा जा सकता है $\forall x\in B:P(x)\Rightarrow Q(x)$ कहाँ $B$ कमरे में सभी चीजों का समुच्चय है (सेल फोन सहित यदि वे कमरे में उपस्थित हैं), पूर्ववर्ती $P(x)$ है$x$ एक सेल फोन है, और परिणामी $Q(x)$ है$x$ बंद कर दिया गया है।
• $\forall \xi :Q(\xi )$, जहां प्रतीक $\xi$ एक प्रकार (प्रकार सिद्धांत) तक सीमित है जिसका कोई प्रतिनिधि नहीं है।

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

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

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

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

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

उदाहरण

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

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

यह भी देखें

• डी मॉर्गन के नियम एक्सटेंशन | डी मॉर्गन के नियम - विशेष रूप से नियम कि एक सार्वभौमिक कथन सत्य है, यदि कोई प्रति उदाहरण उपस्थित नहीं है: $\forall x\,P(x)\equiv \neg \exists x\,\neg P(x)$
• खाली राशि और खाली उत्पाद
• खाली फलन
• भौतिक निहितार्थ के विरोधाभास, विशेष रूप से विस्फोट के सिद्धांत
• पूर्वधारणा, दोहरा प्रश्न
• स्थितियों की स्थिति (दर्शन)
• टॉटोलॉजी (तर्क) - एक अन्य प्रकार का सच्चा कथन जो किसी भी ठोस जानकारी को संप्रेषित करने में विफल रहता है
• तुच्छता (गणित) और अध: पतन (गणित)

ग्रन्थसूची

• Blackburn, Simon (1994). "vacuous," The Oxford Dictionary of Philosophy. Oxford: Oxford University Press, p. 388.
• David H. Sanford (1999). "implication." The Cambridge Dictionary of Philosophy, 2nd. ed., p. 420.
• Beer, Ilan; Ben-David, Shoham; Eisner, Cindy; Rodeh, Yoav (1997). "Efficient Detection of Vacuity in ACTL Formulas". Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997, Proceedings. Lecture Notes in Computer Science. Vol. 1254. pp. 279–290. doi:10.1007/3-540-63166-6_28. ISBN 978-3-540-63166-8.

बाहरी संबंध

• Conditional Assertions: Vacuous truth