तार्किक विच्छेदन: Difference between revisions
(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 |
||
Line 20: | Line 20: | ||
[[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> \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> | [[ शास्त्रीय तर्क | शास्त्रीय तर्क]] में डिसजंक्शन को एक [[सत्य समारोह]] सिमेंटिक्स दिया जाता है जिसके अनुसार एक फॉर्मूला होता है <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> | ||
Line 30: | Line 30: | ||
== नोटेशन == | == नोटेशन == | ||
तर्क और संबंधित क्षेत्रों में, संयोजन को आमतौर पर इन्फिक्स ऑपरेटर के साथ नोट किया जाता है <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> | ||
Line 89: | Line 89: | ||
| {{no2|False}} || {{no2|False}} || {{yes2|True}} || {{no2|False}} || {{no2|False}} | | {{no2|False}} || {{no2|False}} || {{yes2|True}} || {{no2|False}} || {{no2|False}} | ||
|} | |} | ||
Revision as of 10:39, 21 June 2023
OR | |
---|---|
Definition | |
Truth table | |
Logic gate | |
Normal forms | |
Disjunctive | |
Conjunctive | |
Zhegalkin polynomial | |
Post's lattices | |
0-preserving | yes |
1-preserving | yes |
Monotone | yes |
Affine | no |
तर्क में, संयोजन एक तार्किक संयोजक है जिसे आमतौर पर नोट किया जाता है और जोर से या के रूप में पढ़ें। उदाहरण के लिए, अंग्रेजी भाषा का वाक्य यह सनी है या यह गर्म है, वियोगात्मक सूत्र का उपयोग करके तर्क में प्रस्तुत किया जा सकता है , ये मानते हुए संक्षेप में यह धूप है और संक्षेप में यह गर्म है।
शास्त्रीय तर्क में डिसजंक्शन को एक सत्य समारोह सिमेंटिक्स दिया जाता है जिसके अनुसार एक फॉर्मूला होता है सच है जब तक कि दोनों और झूठे हैं। क्योंकि यह शब्दार्थ एक वियोगात्मक सूत्र को सत्य होने की अनुमति देता है जब इसके दोनों असंबद्ध सत्य होते हैं, यह वियोग की एक समावेशी व्याख्या है, अनन्य या के विपरीत। क्लासिकल सबूत सिद्धांत ट्रीटमेंट अक्सर नियमों के संदर्भ में दिए जाते हैं जैसे विच्छेदन परिचय और संयोजन उन्मूलन । डिसजंक्शन को कई गैर-शास्त्रीय तर्क भी दिए गए हैं। गैर-शास्त्रीय उपचार, अरस्तू के समुद्री युद्ध तर्क, हाइजेनबर्ग के अनिश्चितता सिद्धांत, साथ ही शास्त्रीय संयोजन और प्राकृतिक भाषाओं में इसके निकटतम समकक्षों के बीच कई बेमेल सहित समस्याओं से प्रेरित हैं।[1][2]
समावेशी और अनन्य संयोजन
क्योंकि तार्किक या साधन सूत्र तब होता है जब कोई या दोनों सत्य होते हैं, इसे एक समावेशी संयोजन के रूप में संदर्भित किया जाता है। यह एक अनन्य या के विपरीत है, जो तब सत्य होता है जब एक या अन्य तर्क सत्य होते हैं, लेकिन दोनों नहीं (अनन्य या , या XOR के रूप में संदर्भित)।
जब यह स्पष्ट करना आवश्यक होता है कि समावेशी या अनन्य है या इरादा है, तो अंग्रेजी बोलने वाले कभी-कभी वाक्यांश और/या का उपयोग करते हैं। तर्क के संदर्भ में, यह वाक्यांश या के समान है, लेकिन दोनों के शामिल होने को स्पष्ट रूप से स्पष्ट करता है।
नोटेशन
तर्क और संबंधित क्षेत्रों में, संयोजन को आमतौर पर इन्फिक्स ऑपरेटर के साथ नोट किया जाता है .[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.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
- ↑ "Disjunction | logic". Encyclopedia Britannica (in English). Retrieved 2020-09-03.
- ↑ 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.
- ↑ 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".
- ↑ Walicki, Michał (2016). Introduction to Mathematical Logic. WORLD SCIENTIFIC. p. 150. doi:10.1142/9783. ISBN 978-9814343879.