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



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

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

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

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

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

शब्दार्थ
तर्क के शब्दार्थ में मौलिक वियोग एक सत्य कार्यात्मक तार्किक संचालन है जो सत्य मान को सत्य लौटाता है जब तक कि इसके दोनों तर्क गलत न हों इसकी शब्दार्थ प्रविष्टि मानक रूप से निम्नानुसार दी गई है:
 * $$ \models \phi \lor \psi$$ अगर $$ \models \phi$$ या $$\models \psi$$ अथवा दोनों

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

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


 * $$A \lor B = \neg ((\neg A) \land (\neg B)) $$.

वैकल्पिक रूप से, इसे भौतिक नियम के संदर्भ में परिभाषित किया जा सकता है ($$\to$$) और इस रूप में नहीं:
 * $$A \lor B = (\lnot A) \to B $$.

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