तार्किक विच्छेदन

From Vigyanwiki
Revision as of 14:05, 26 June 2023 by alpha>Neeraja (added Category:Vigyan Ready using HotCat)
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.