तार्किक विच्छेदन: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Logical connective OR}} {{Redirect|Disjunction|the logic gate|OR gate|separation of chromosomes|Meiosis|disjunctions in distribution|Disjunct distribution}...")
 
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Logical connective OR}}
{{Short description|Logical connective OR}}
{{Redirect|Disjunction|the logic gate|OR gate|separation of chromosomes|Meiosis|disjunctions in distribution|Disjunct distribution}}
{{Redirect|विच्छेदन|लॉजिक गेट|या द्वार|गुणसूत्रों का पृथक्करण|मीओसिस|वितरण में विचलन|असंबद्ध वितरण}}
{{Redirect|Logical OR|the similarly looking doubled vertical bar notation in engineering and network theory|parallel addition (operator)}}
{{Redirect|तार्किक या|इंजीनियरिंग और नेटवर्क सिद्धांत में समान दिखने वाले डबल वर्टिकल बार नोटेशन|समानांतर जोड़ (ऑपरेटर)}}
{{Infobox logical connective
{{Infobox logical connective
| title        = Logical disjunction
| title        = Logical disjunction
Line 18: Line 18:
| self-dual    = no
| self-dual    = no
}}
}}
[[File:Venn 0111 1111.svg|thumb|220px|का वेन आरेख <math>\scriptstyle A \lor B \lor C</math>]][[तर्क]] में, संयोजन एक [[तार्किक संयोजक]] है जिसे आमतौर पर नोट किया जाता है <math> \lor </math> और जोर से या के रूप में पढ़ें। उदाहरण के लिए, [[अंग्रेजी भाषा]] का वाक्य यह सनी है या यह गर्म है, वियोगात्मक सूत्र का उपयोग करके तर्क में प्रस्तुत किया जा सकता है <math> S \lor W </math>, ये मानते हुए <math>S</math> संक्षेप में यह धूप है और <math>W</math> संक्षेप में यह गर्म है।
[[File:Venn 0111 1111.svg|thumb|220px|का वेन आरेख <math>\scriptstyle A \lor B \lor C</math>]]


[[ शास्त्रीय तर्क ]] में डिसजंक्शन को एक [[सत्य समारोह]] सिमेंटिक्स दिया जाता है जिसके अनुसार एक फॉर्मूला होता है <math>\phi \lor \psi</math> सच है जब तक कि दोनों <math>\phi</math> और <math>\psi</math> झूठे हैं। क्योंकि यह शब्दार्थ एक वियोगात्मक सूत्र को सत्य होने की अनुमति देता है जब इसके दोनों असंबद्ध सत्य होते हैं, यह वियोग की एक समावेशी व्याख्या है, अनन्य या के विपरीत। क्लासिकल [[ सबूत सिद्धांत ]] ट्रीटमेंट अक्सर नियमों के संदर्भ में दिए जाते हैं जैसे [[ विच्छेदन परिचय ]] और [[ संयोजन उन्मूलन ]]। डिसजंक्शन को कई गैर-शास्त्रीय तर्क भी दिए गए हैं। गैर-शास्त्रीय उपचार, अरस्तू के समुद्री युद्ध तर्क, [[हाइजेनबर्ग]] के अनिश्चितता सिद्धांत, साथ ही शास्त्रीय संयोजन और [[प्राकृतिक भाषा]]ओं में इसके निकटतम समकक्षों के बीच कई बेमेल सहित समस्याओं से प्रेरित हैं।<ref name=":1">{{Citation|last=Aloni|first=Maria|author-link=Maria Aloni|title=Disjunction|date=2016|url=https://plato.stanford.edu/archives/win2016/entries/disjunction/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Winter 2016|publisher=Metaphysics Research Lab, Stanford University|access-date=2020-09-03}}</ref><ref>{{Cite web|title=Disjunction {{!}} logic|url=https://www.britannica.com/topic/disjunction-logic|access-date=2020-09-03|website=Encyclopedia Britannica|language=en}}</ref>




तर्क में, संयोजन एक तार्किक संयोजक है जिसे सामान्यतः <math> \lor </math> के रूप में नोट किया जाता है और "या" के रूप में जोर से पढ़ा जाता है। उदाहरण के लिए, अंग्रेज़ी भाषा के वाक्य "इट इज सननी ऑर इट इज वार्म" को वियोगात्मक सूत्र <math> S \lor W </math> का उपयोग करके तर्क में प्रस्तुत किया जा सकता है, यह मानते हुए कि <math>S</math> "इट इज सनी" को संक्षिप्त करता है और <math>W</math> "इट इज वार्म" को संक्षिप्त करता है। "।
[[ शास्त्रीय तर्क |मौलिक तर्क]] में विच्छेदन को एक [[सत्य समारोह|सत्य फंक्शन]] सिमेंटिक्स दिया जाता है जिसके अनुसार एक सूत्र <math>\phi \lor \psi</math> तब तक सत्य होता है जब तक कि दोनों <math>\phi</math> और <math>\psi</math> झूठे हैं। क्योंकि यह शब्दार्थ एक वियोगात्मक सूत्र को सत्य होने की अनुमति देता है जब इसके दोनों असंबद्ध सत्य होते हैं, यह वियोग की एक समावेशी व्याख्या है, अनन्य या के विपरीत। मौलिक [[ सबूत सिद्धांत |प्रमाण सिद्धांत]] उपचार अधिकांशतः नियमों के संदर्भ में दिए जाते हैं जैसे [[ विच्छेदन परिचय |विच्छेदन परिचय]] और [[ संयोजन उन्मूलन |संयोजन उन्मूलन]] विच्छेदन को कई गैर-मौलिक तर्क भी दिए गए हैं। गैर-मौलिक उपचार अरस्तू के समुद्री युद्ध तर्क [[हाइजेनबर्ग]] के अनिश्चितता सिद्धांत साथ ही मौलिक संयोजन और [[प्राकृतिक भाषा]]ओं में इसके निकटतम समकक्षों के बीच कई बेमेल सहित समस्याओं से प्रेरित हैं।<ref name=":1">{{Citation|last=Aloni|first=Maria|author-link=Maria Aloni|title=Disjunction|date=2016|url=https://plato.stanford.edu/archives/win2016/entries/disjunction/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Winter 2016|publisher=Metaphysics Research Lab, Stanford University|access-date=2020-09-03}}</ref><ref>{{Cite web|title=Disjunction {{!}} logic|url=https://www.britannica.com/topic/disjunction-logic|access-date=2020-09-03|website=Encyclopedia Britannica|language=en}}</ref>
== समावेशी और अनन्य संयोजन ==
== समावेशी और अनन्य संयोजन ==


क्योंकि तार्किक या साधन सूत्र तब होता है जब कोई या दोनों सत्य होते हैं, इसे एक समावेशी संयोजन के रूप में संदर्भित किया जाता है। यह एक अनन्य या के विपरीत है, जो तब सत्य होता है जब एक या अन्य तर्क सत्य होते हैं, लेकिन दोनों नहीं (अनन्य या , या XOR के रूप में संदर्भित)।
क्योंकि तार्किक या साधन सूत्र तब होता है जब कोई या दोनों सत्य होते हैं इसे एक समावेशी संयोजन के रूप में संदर्भित किया जाता है। यह एक अनन्य या के विपरीत है जो तब सत्य होता है जब एक या अन्य तर्क सत्य होते हैं, किंतु दोनों नहीं (अनन्य या , या एक्सओआर के रूप में संदर्भित)।


जब यह स्पष्ट करना आवश्यक होता है कि समावेशी या अनन्य है या इरादा है, तो अंग्रेजी बोलने वाले कभी-कभी वाक्यांश और/या का उपयोग करते हैं। तर्क के संदर्भ में, यह वाक्यांश या के समान है, लेकिन दोनों के शामिल होने को स्पष्ट रूप से स्पष्ट करता है।
जब यह स्पष्ट करना आवश्यक होता है कि समावेशी या अनन्य जिसका आशय है तो अंग्रेजी बोलने वाले कभी-कभी वाक्यांश और/या का उपयोग करते हैं। तर्क के संदर्भ में यह वाक्यांश या के समान है किंतु दोनों के सम्मिलित होने को स्पष्ट रूप से स्पष्ट करता है।


== नोटेशन ==
== संकेतन ==
तर्क और संबंधित क्षेत्रों में, संयोजन को आमतौर पर इन्फिक्स ऑपरेटर के साथ नोट किया जाता है <math>\lor</math>.<ref name=":1"/>वैकल्पिक नोटेशन शामिल हैं <math>+</math>, मुख्य रूप से [[ इलेक्ट्रानिक्स ]] में उपयोग किया जाता है, साथ ही साथ <math>\vert</math> और <math>\vert\!\vert</math> कई [[प्रोग्रामिंग भाषा]]ओं में। अंग्रेजी शब्द या कभी-कभी बड़े अक्षरों में भी प्रयोग किया जाता है। Jan Łukasiewicz के पोलिश संकेतन # तर्क के लिए पोलिश संकेतन में, ऑपरेटर A है, जो पोलिश ''alternatywa'' (अंग्रेजी: वैकल्पिक) के लिए छोटा है।<ref>[[Józef Maria Bocheński]] (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, North Holland:  D. Reidel, passim.</ref>
तर्क और संबंधित क्षेत्रों में, संयोजन को सामान्यतः एक इन्फिक्स ऑपरेटर <math>\lor</math> के साथ नोट किया जाता है।.<ref name=":1"/> वैकल्पिक नोटेशन में <math>+</math> सम्मिलित हैं मुख्य रूप से [[ इलेक्ट्रानिक्स |इलेक्ट्रानिक्स]] में उपयोग किया जाता है, साथ ही साथ <math>\vert</math> और <math>\vert\!\vert</math> कई [[प्रोग्रामिंग भाषा]]ओं में अंग्रेजी शब्द या कभी-कभी बड़े अक्षरों में भी प्रयोग किया जाता है। Jan Łukasiewicz के पोलिश संकेतन या तर्क के लिए पोलिश संकेतन में ऑपरेटर A है जो पोलिश ''alternatywa'' (अंग्रेजी: वैकल्पिक) के लिए छोटा है।<ref>[[Józef Maria Bocheński]] (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, North Holland:  D. Reidel, passim.</ref>                                                                                                                                                                            
 
== मौलिक संयोजन                                           ==
 
== शास्त्रीय संयोजन ==


=== शब्दार्थ ===
=== शब्दार्थ ===


तर्क के शब्दार्थ में, शास्त्रीय वियोग एक सत्य कार्यात्मक [[तार्किक संचालन]] है जो सत्य मान को सत्य लौटाता है जब तक कि इसके दोनों तर्क गलत न हों। इसकी शब्दार्थ प्रविष्टि मानक रूप से निम्नानुसार दी गई है:<ref>For the sake of generality across classical systems, this entry suppresses the parameters of evaluation. The "[[double turnstile]]" [[List of logic symbols|symbol]] <math> \models </math> here is intended to mean "semantically entails".<!--this is hardly readable without context, it means  "(X ⊨  phi ∨ psi) if [(X  ⊨  phi) or (X  ⊨  psi)], for any X", in other words, " '∨' means 'or' ".-->
तर्क के शब्दार्थ में मौलिक वियोग एक सत्य कार्यात्मक [[तार्किक संचालन]] है जो सत्य मान को सत्य लौटाता है जब तक कि इसके दोनों तर्क गलत न हों इसकी शब्दार्थ प्रविष्टि मानक रूप से निम्नानुसार दी गई है:<ref>For the sake of generality across classical systems, this entry suppresses the parameters of evaluation. The "[[double turnstile]]" [[List of logic symbols|symbol]] <math> \models </math> here is intended to mean "semantically entails".<!--this is hardly readable without context, it means  "(X ⊨  phi ∨ psi) if [(X  ⊨  phi) or (X  ⊨  psi)], for any X", in other words, " '∨' means 'or' ".-->
</ref>
</ref>
:: <math> \models \phi \lor \psi</math> अगर <math> \models \phi</math> या <math>\models \psi</math> अथवा दोनों
:: <math> \models \phi \lor \psi</math> अगर <math> \models \phi</math> या <math>\models \psi</math> अथवा दोनों
Line 58: Line 58:


=== अन्य ऑपरेटरों द्वारा परिभाषित ===
=== अन्य ऑपरेटरों द्वारा परिभाषित ===
शास्त्रीय तर्क प्रणालियों में जहां [[तार्किक संयोजन]] आदिम नहीं है, इसे आदिम तार्किक संयोजन के रूप में परिभाषित किया जा सकता है (<math>\land</math>) और [[तार्किक निषेध]] (<math>\lnot</math>) जैसा:
मौलिक तर्क प्रणालियों में जहां तार्किक संयोजन आदिम नहीं है, इसे आदिम "और" (<math>\land</math>) और "नहीं" (<math>\lnot</math>) के रूप में परिभाषित किया जा सकता है:


:<math>A \lor B =  \neg ((\neg A) \land (\neg B)) </math>.
:<math>A \lor B =  \neg ((\neg A) \land (\neg B)) </math>.


वैकल्पिक रूप से, इसे भौतिक सशर्त के संदर्भ में परिभाषित किया जा सकता है (<math>\to</math>) और इस रूप में नहीं:<ref>{{cite book
वैकल्पिक रूप से, इसे भौतिक नियम के संदर्भ में परिभाषित किया जा सकता है (<math>\to</math>) और इस रूप में नहीं:<ref>{{cite book
  |last=Walicki
  |last=Walicki
  |first=Michał
  |first=Michał
Line 90: Line 90:
|}
|}


<!--
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:Articles with redirect hatnotes needing review]]
=== गुण ===
[[Category:CS1 English-language sources (en)]]
 
[[Category:Lua-based templates]]
निम्नलिखित गुण संयोजन पर लागू होते हैं:
[[Category:Machine Translated Page]]
 
[[Category:Missing redirects]]
* साहचर्य: <math>a \lor (b \lor c) \equiv (a \lor b) \lor c </math>
[[Category:Pages that use a deprecated format of the math tags]]
* [[क्रमविनिमेयता]]: <math>a \lor  b \equiv b \lor a </math>
[[Category:Pages with script errors]]
*[[वितरण]]: <math>(a \land (b \lor c)) \equiv ((a \land b) \lor (a \land c))</math>
[[Category:Templates Vigyan Ready]]
:::<math>(a \lor (b \land c)) \equiv ((a \lor b) \land (a \lor c))</math>
[[Category:Templates that add a tracking category]]
:::<math>(a \lor (b \lor c)) \equiv ((a \lor b) \lor (a \lor c))</math>
[[Category:Templates that generate short descriptions]]
:::<math>(a \lor (b \equiv c)) \equiv ((a \lor b) \equiv (a \lor c))</math>
[[Category:Templates using TemplateData]]
*नपुंसकता : <math>a \lor a \equiv a </math>
*एकरसता: <math>(a \rightarrow b) \rightarrow ((c \lor a) \rightarrow (c \lor b))</math>
:::<math>(a \rightarrow b) \rightarrow ((a \lor c) \rightarrow (b \lor c))</math>
*सत्य-संरक्षण: व्याख्या जिसके तहत सभी चरों को 'सत्य' का सत्य मान दिया जाता है, वियोजन के परिणामस्वरूप 'सत्य' का सत्य मान उत्पन्न करता है।
*झूठ-संरक्षण: वह व्याख्या जिसके तहत सभी चरों को 'गलत' का सत्य मान दिया जाता है, वियोजन के परिणामस्वरूप 'गलत' का सत्य मान पैदा करता है।
 
== कंप्यूटर विज्ञान में अनुप्रयोग ==
{{Expand section|date=February 2021}}
[[File:Or-gate-en.svg|thumb|150px|या [[लॉजिक गेट]]]]अधिकांश प्रोग्रामिंग भाषाओं में लॉजिकल डिसजंक्शन के अनुरूप [[ऑपरेटर (प्रोग्रामिंग)]] मौजूद है।
 
=== [[बिटवाइज़ ऑपरेशन]] ===
डिसजंक्शन का उपयोग अक्सर बिटवाइज़ ऑपरेशंस के लिए किया जाता है। उदाहरण:
* 0 या 0 = 0
* 0 या 1 = 1
* 1 या 0 = 1
* 1 या 1 = 1
* 1010 या 1100 = 1110 <code>or</code> e> ऑपरेटर का उपयोग [[ बिट फ़ील्ड ]] में बिट्स को 1 पर सेट करने के लिए किया जा सकता है <code>or</code>प्रासंगिक बिट्स के साथ एक स्थिर फ़ील्ड के साथ फ़ील्ड को 1 पर सेट करें। उदाहरण के लिए, <code>x = x | 0b00000001</code> अन्य बिट्स को अपरिवर्तित छोड़ते हुए, अंतिम बिट को 1 के लिए बाध्य करेगा।{{citation needed|date=February 2021}}
 
=== तार्किक संचालन ===
कई भाषाएं दो अलग-अलग ऑपरेटर प्रदान करके बिटवाइज़ और लॉजिकल डिसजंक्शन के बीच अंतर करती हैं; C (प्रोग्रामिंग लैंग्वेज) के बाद की भाषाओं में, सिंगल पाइप ऑपरेटर के साथ बिटवाइज़ डिसजंक्शन किया जाता है (<code>|</code>), और डबल पाइप के साथ तार्किक संयोजन (<code>||</code>) ऑपरेटर।
 
तार्किक संयोजन आमतौर पर [[शॉर्ट-सर्किट मूल्यांकन]] होता है|शॉर्ट-सर्किट; यही है, अगर पहला (बाएं) ऑपरेंड का मूल्यांकन करता है <code>true</code>, तो दूसरे (दाएं) ऑपरेंड का मूल्यांकन नहीं किया जाता है। तार्किक संयोजन ऑपरेटर इस प्रकार आमतौर पर एक [[अनुक्रम बिंदु]] का गठन करता है।
 
{{anchor|parallel-or}}समानांतर (समवर्ती) भाषा में, दोनों पक्षों को शॉर्ट-सर्किट करना संभव है: उनका मूल्यांकन समानांतर में किया जाता है, और यदि कोई मूल्य सत्य के साथ समाप्त होता है, तो दूसरा बाधित होता है। इस प्रकार इस ऑपरेटर को समानांतर या कहा जाता है।
 
यद्यपि अधिकांश भाषाओं में एक तार्किक संयोजन अभिव्यक्ति का प्रकार बूलियन है (और इस प्रकार केवल मूल्य हो सकता है <code>true</code> या <code>false</code>), कुछ भाषाओं में (जैसे कि [[पायथन प्रोग्रामिंग भाषा]] और [[जावास्क्रिप्ट]]), लॉजिकल डिसजंक्शन ऑपरेटर अपना एक ऑपरेंड लौटाता है: पहला ऑपरेंड अगर यह एक सही मान का मूल्यांकन करता है, और दूसरा ऑपरेंड अन्यथा।{{citation needed|date=February 2021}}
 
===रचनात्मक संयोजन===
करी-हावर्ड पत्राचार टैग किए गए संघ प्रकारों के संयोजन के एक रचनावाद (गणित) रूप से संबंधित है।{{citation needed|date=February 2021}}<ref>{{Cite journal |title=प्रसंग-मुक्त भाषा सिद्धांत औपचारिकता|journal=Universidade Federal de Pernambuco |pages=6|arxiv=1505.00061 |author1=Marcus Vinícius Midena Ramos |last2=de Queiroz |first2=Ruy J. G. B. |year=2015 }}</ref>
 
 
== सेट सिद्धांत ==
{{Expand section|date=February 2021}}
सेट सिद्धांत में [[संघ (सेट सिद्धांत)]] के एक तत्व के [[तत्व (गणित)]] को तार्किक संयोजन के रूप में परिभाषित किया गया है: <math>x\in A\cup B\Leftrightarrow (x\in A)\vee(x\in B)</math>. इस वजह से, लॉजिकल डिसजंक्शन, सेट-सैद्धांतिक संघ के रूप में कई समान पहचानों को संतुष्ट करता है, जैसे कि साहचर्य, कम्यूटेटिविटी, डिस्ट्रीब्यूटिविटी, और डी मॉर्गन के नियम, [[ चौराहा सेट करें ]] के साथ तार्किक संयोजन की पहचान करना, [[सेट पूरक]] के साथ तार्किक निषेध।{{citation needed|date=February 2021}}
 
== प्राकृतिक भाषा ==
 
प्राकृतिक भाषाओं में संयोजन की व्याख्या ठीक से मेल नहीं खाती <math>\lor</math> शास्त्रीय तर्क में। विशेष रूप से, क्लासिकल डिसजंक्शन समावेशी है जबकि प्राकृतिक भाषा डिसजंक्शन को अक्सर अनन्य समझा जाता है या, जैसा कि निम्नलिखित अंग्रेजी भाषा आमतौर पर होगी।<ref name=":1" />
 
:1. मैरी सेब या नाशपाती खा रही है।
 
इस अनुमान को कभी-कभी एक अनिवार्यता के रूप में समझा जाता है, उदाहरण के लिए [[अल्फ्रेड टार्स्की]] ने, जिन्होंने सुझाव दिया कि प्राकृतिक भाषा संयोजन शास्त्रीय और गैर-शास्त्रीय व्याख्या के बीच व्याख्यात्मक अस्पष्टता है। व्यावहारिकता में अधिक हाल के काम ने दिखाया है कि यह अनुमान एक [[औपचारिक शब्दार्थ (प्राकृतिक भाषा)]] के आधार पर एक [[संवादी निहितार्थ]] के रूप में प्राप्त किया जा सकता है जो शास्त्रीय रूप से व्यवहार करता है। हालाँकि, [[हंगेरियन भाषा]] vagy... vagy और फ़्रांसीसी भाषा soit... सहित वियोगात्मक निर्माणों को स्वाभाविक रूप से अनन्य होने का तर्क दिया गया है, संदर्भों में अ[[व्याकरणिकता]] प्रदान करना जहां एक समावेशी पठन अन्यथा मजबूर होगा।<ref name=":1" />
 
शास्त्रीय तर्क से समान विचलन ऐसे मामलों में नोट किए गए हैं जैसे [[मुक्त विकल्प अनुमान]] और [[वियोगी पूर्ववृत्त का सरलीकरण]], जहां कुछ भाषाई तौर-तरीके एक तार्किक संयोजन-जैसे वियोग की व्याख्या को ट्रिगर करते हैं। विशिष्टता के रूप में, इन अनुमानों का विश्लेषण दोनों के रूप में किया गया है और वियोग की गैर-शास्त्रीय व्याख्या से उत्पन्न होने वाली जटिलताओं के रूप में।<ref name=":1" />
 
:2. आपके पास एक सेब या एक नाशपाती हो सकती है।
::<math>\rightsquigarrow</math> आपके पास एक सेब हो सकता है और आपके पास एक नाशपाती हो सकती है (लेकिन आपके पास दोनों नहीं हो सकते)
 
कई भाषाओं में, वियोगात्मक भाव प्रश्न निर्माण में एक भूमिका निभाते हैं। उदाहरण के लिए, जबकि निम्नलिखित अंग्रेजी उदाहरण की व्याख्या एक [[ध्रुवीय प्रश्न]] के रूप में की जा सकती है कि क्या यह सच है कि मैरी या तो एक दार्शनिक या भाषाविद् है, इसे एक [[वैकल्पिक प्रश्न]] के रूप में भी व्याख्या किया जा सकता है, जिसमें पूछा गया है कि दोनों में से कौन सा पेशा उसका है। इन मामलों में संयोजन की भूमिका का विश्लेषण गैर-शास्त्रीय तर्कों जैसे [[वैकल्पिक शब्दार्थ]] और [[जिज्ञासु शब्दार्थ]] का उपयोग करके किया गया है, जिसे मुक्त विकल्प और सरलीकरण के संदर्भों को समझाने के लिए भी अपनाया गया है।<ref name=":1" />
 
:3. क्या मैरी एक दार्शनिक या भाषाविद हैं?
 
अंग्रेजी में, कई अन्य भाषाओं की तरह, संयोजन समन्वय द्वारा व्यक्त किया जाता है। अन्य भाषाएं विभिन्न तरीकों से अलग-अलग अर्थ व्यक्त करती हैं, हालांकि यह अज्ञात है कि क्या संयोजन स्वयं एक [[भाषाई सार्वभौमिक]] है। [[डायरबल भाषा]] और [[मैरिकोपा भाषा]] जैसी कई भाषाओं में, क्रिया [[प्रत्यय]] का उपयोग करके संयोजन को चिह्नित किया जाता है। उदाहरण के लिए, नीचे मैरिकोपा उदाहरण में, संयोजन को प्रत्यय सा द्वारा चिह्नित किया गया है।<ref name=":1" />
 
{{interlinear|number=4.| lang=mrc|indent=3|ablist=INFER:inferential
|Johnš Billš vʔaawuumšaa |
|John-NOM Bill-NOM 3-come-PL-FUT-INFER
|'John or Bill will come.'}}
 
== यह भी देखें ==
{{div col|colwidth=28em}}
* [[वियोग की पुष्टि करना]]
* [[बिटवाइज़ या]]
* [[बूलियन बीजगणित (तर्क)]]
* [[बूलियन बीजगणित विषय]]
* [[बूलियन डोमेन]]
* [[बूलियन समारोह]]
* [[बूलियन-मूल्यवान फ़ंक्शन]]
* [[वियोगी न्यायवाक्य]]
* वियोग उन्मूलन
* वियोग परिचय
* [[पहले क्रम का तर्क]]
* फ्रेचेट असमानताएं
* मुक्त विकल्प अनुमान
* [[हर्फोर्ड संयोजन]]
* [[तार्किक ग्राफ]]
* [[तार्किक मूल्य]]
* [[ऑपरेशन (गणित)]]
* ऑपरेटर (प्रोग्रामिंग)
* [[या द्वार]]
* [[प्रस्तावक कलन]]
* वियोगी पूर्ववृत्त का सरलीकरण
{{div col end}}
 
==टिप्पणियाँ==
* [[George Boole]], closely following analogy with ordinary mathematics, premised, as a necessary condition to the definition of "x + y", that x and y were mutually exclusive. [[William Stanley Jevons|Jevons]], and practically all mathematical logicians after him, advocated, on various grounds, the definition of "logical addition" in a form which does not necessitate mutual exclusiveness.
 
 
==संदर्भ==
{{Reflist}}
 
 
==बाहरी संबंध==
{{Commons category}}
*{{springer|title=Disjunction|id=p/d033260}}
*{{cite SEP |url-id=disjunction |title=Disjunction |last=Aloni |first=Maria|author-link=Maria Aloni}}
*Eric W. Weisstein. [http://mathworld.wolfram.com/Disjunction.html  "Disjunction."] From MathWorld—A Wolfram Web Resource
 
{{Logical connectives}}
{{Mathematical logic}}
{{Common logical symbols}}
{{Formal semantics}}
{{Authority control}}
[[Category: तार्किक संयोजक | वियोजन]] [[Category: अर्थ विज्ञान]] [[Category: औपचारिक शब्दार्थ (प्राकृतिक भाषा)]]  
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 16/06/2023]]

Latest revision as of 09:26, 28 June 2023

Logical disjunction
OR
Venn diagram of Logical disjunction
Definition
Truth table
Logic gateOR ANSI.svg
Normal forms
Disjunctive
Conjunctive
Zhegalkin polynomial
Post's lattices
0-preservingyes
1-preservingyes
Monotoneyes
Affineno
का वेन आरेख


तर्क में, संयोजन एक तार्किक संयोजक है जिसे सामान्यतः के रूप में नोट किया जाता है और "या" के रूप में जोर से पढ़ा जाता है। उदाहरण के लिए, अंग्रेज़ी भाषा के वाक्य "इट इज सननी ऑर इट इज वार्म" को वियोगात्मक सूत्र का उपयोग करके तर्क में प्रस्तुत किया जा सकता है, यह मानते हुए कि "इट इज सनी" को संक्षिप्त करता है और "इट इज वार्म" को संक्षिप्त करता है। "।

मौलिक तर्क में विच्छेदन को एक सत्य फंक्शन सिमेंटिक्स दिया जाता है जिसके अनुसार एक सूत्र तब तक सत्य होता है जब तक कि दोनों और झूठे हैं। क्योंकि यह शब्दार्थ एक वियोगात्मक सूत्र को सत्य होने की अनुमति देता है जब इसके दोनों असंबद्ध सत्य होते हैं, यह वियोग की एक समावेशी व्याख्या है, अनन्य या के विपरीत। मौलिक प्रमाण सिद्धांत उपचार अधिकांशतः नियमों के संदर्भ में दिए जाते हैं जैसे विच्छेदन परिचय और संयोजन उन्मूलन विच्छेदन को कई गैर-मौलिक तर्क भी दिए गए हैं। गैर-मौलिक उपचार अरस्तू के समुद्री युद्ध तर्क हाइजेनबर्ग के अनिश्चितता सिद्धांत साथ ही मौलिक संयोजन और प्राकृतिक भाषाओं में इसके निकटतम समकक्षों के बीच कई बेमेल सहित समस्याओं से प्रेरित हैं।[1][2]

समावेशी और अनन्य संयोजन

क्योंकि तार्किक या साधन सूत्र तब होता है जब कोई या दोनों सत्य होते हैं इसे एक समावेशी संयोजन के रूप में संदर्भित किया जाता है। यह एक अनन्य या के विपरीत है जो तब सत्य होता है जब एक या अन्य तर्क सत्य होते हैं, किंतु दोनों नहीं (अनन्य या , या एक्सओआर के रूप में संदर्भित)।

जब यह स्पष्ट करना आवश्यक होता है कि समावेशी या अनन्य जिसका आशय है तो अंग्रेजी बोलने वाले कभी-कभी वाक्यांश और/या का उपयोग करते हैं। तर्क के संदर्भ में यह वाक्यांश या के समान है किंतु दोनों के सम्मिलित होने को स्पष्ट रूप से स्पष्ट करता है।

संकेतन

तर्क और संबंधित क्षेत्रों में, संयोजन को सामान्यतः एक इन्फिक्स ऑपरेटर के साथ नोट किया जाता है।.[1] वैकल्पिक नोटेशन में सम्मिलित हैं मुख्य रूप से इलेक्ट्रानिक्स में उपयोग किया जाता है, साथ ही साथ और कई प्रोग्रामिंग भाषाओं में अंग्रेजी शब्द या कभी-कभी बड़े अक्षरों में भी प्रयोग किया जाता है। Jan Łukasiewicz के पोलिश संकेतन या तर्क के लिए पोलिश संकेतन में ऑपरेटर A है जो पोलिश alternatywa (अंग्रेजी: वैकल्पिक) के लिए छोटा है।[3]

मौलिक संयोजन

शब्दार्थ

तर्क के शब्दार्थ में मौलिक वियोग एक सत्य कार्यात्मक तार्किक संचालन है जो सत्य मान को सत्य लौटाता है जब तक कि इसके दोनों तर्क गलत न हों इसकी शब्दार्थ प्रविष्टि मानक रूप से निम्नानुसार दी गई है:[4]

अगर या अथवा दोनों

यह शब्दार्थ निम्नलिखित सत्य तालिका से मेल खाता है:[1]

True True True
True False True
False True True
False False False


अन्य ऑपरेटरों द्वारा परिभाषित

मौलिक तर्क प्रणालियों में जहां तार्किक संयोजन आदिम नहीं है, इसे आदिम "और" () और "नहीं" () के रूप में परिभाषित किया जा सकता है:

.

वैकल्पिक रूप से, इसे भौतिक नियम के संदर्भ में परिभाषित किया जा सकता है () और इस रूप में नहीं:[5]

.

उत्तरार्द्ध को निम्न सत्य तालिका द्वारा जांचा जा सकता है:

True True False True True
True False False True True
False True True True True
False False True False False
  1. 1.0 1.1 1.2 Aloni, Maria (2016), "Disjunction", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Winter 2016 ed.), Metaphysics Research Lab, Stanford University, retrieved 2020-09-03
  2. "Disjunction | logic". Encyclopedia Britannica (in English). Retrieved 2020-09-03.
  3. Józef Maria Bocheński (1959), A Précis of Mathematical Logic, translated by Otto Bird from the French and German editions, Dordrecht, North Holland: D. Reidel, passim.
  4. For the sake of generality across classical systems, this entry suppresses the parameters of evaluation. The "double turnstile" symbol here is intended to mean "semantically entails".
  5. Walicki, Michał (2016). Introduction to Mathematical Logic. WORLD SCIENTIFIC. p. 150. doi:10.1142/9783. ISBN 978-9814343879.