कन्वर्स (तर्क)

तर्कशास्त्र और गणित में, एक स्पष्ट या निहितार्थ कथन का विलोम इसके दो घटक कथनों को उलटने का परिणाम है। भौतिक सशर्त पी → क्यू के लिए, विलोम क्यू → पी है। श्रेणीबद्ध तर्कवाक्य सभी S, P हैं के लिए विलोम है सभी P, S हैं। किसी भी तरह से, बातचीत की सच्चाई आम तौर पर मूल कथन से स्वतंत्र होती है।

इम्प्लीकेशनल कन्वर्स
मान लीजिए S, P के रूप का एक कथन है, जिसका अर्थ है Q (P → Q)। तब S का 'विपरीत' कथन है Q का तात्पर्य P (Q → P) से है। सामान्य तौर पर, S का सत्य इसके विलोम की सत्यता के बारे में कुछ नहीं कहता, जब तक कि पूर्ववर्ती (तर्क) पी और परिणामी क्यू तार्किक रूप से समतुल्य न हों।

उदाहरण के लिए, सत्य कथन पर विचार करें यदि मैं मनुष्य हूँ, तो मैं नश्वर हूँ। उस कथन का विलोम है यदि मैं नश्वर हूँ, तो मैं एक मानव हूँ, जो आवश्यक रूप से तार्किक सत्य नहीं है।

दूसरी ओर, मूल प्रस्ताव की सच्चाई को देखते हुए, पारस्परिक रूप से समावेशी शर्तों के साथ एक बयान का विलोम सही रहता है। यह कहने के बराबर है कि किसी परिभाषा का विलोम सत्य है। इस प्रकार, कथन यदि मैं एक त्रिभुज हूँ, तो मैं एक तीन-भुजा बहुभुज हूँ तार्किक रूप से समतुल्य है यदि मैं एक तीन-भुजा बहुभुज हूँ, तो मैं एक त्रिभुज हूँ, क्योंकि त्रिभुज की परिभाषा तीन-भुजा बहुभुज है।

एक सत्य तालिका यह स्पष्ट करती है कि S और S का विलोम तार्किक रूप से समतुल्य नहीं हैं, जब तक कि दोनों शब्द एक दूसरे को लागू न करें:

किसी कथन से उसके विलोम तक जाना परिणामी पुष्टि का भ्रम है। हालाँकि, यदि कथन S और इसका विलोम समतुल्य हैं (अर्थात, P सत्य है यदि Q भी सत्य है), तो परिणाम की पुष्टि करना मान्य होगा।

विलोम निहितार्थ तार्किक रूप से के संयोजन के बराबर है $$P$$ और $$\neg Q$$

प्राकृतिक भाषा में, इसे P के बिना Q नहीं प्रस्तुत किया जा सकता है।

एक प्रमेय का विलोम
गणित में, P → Q के रूप के एक प्रमेय का विलोम Q → P होगा। विलोम सत्य हो भी सकता है और नहीं भी, और सत्य होने पर भी, उपपत्ति कठिन हो सकती है। उदाहरण के लिए, चार-वर्टेक्स प्रमेय 1912 में सिद्ध हुआ था, लेकिन इसका विलोम केवल 1997 में सिद्ध हुआ था। व्यवहार में, गणितीय प्रमेय के विलोम का निर्धारण करते समय, पूर्ववर्ती के पहलुओं को संदर्भ स्थापित करने के रूप में लिया जा सकता है। अर्थात्, दिया हुआ P का विलोम, यदि Q है तो R, P दिया जाएगा, यदि R तो Q दिया जाएगा। उदाहरण के लिए, पाइथागोरस प्रमेय को इस प्रकार कहा जा सकता है:

 लम्बाई की भुजाओं वाला एक त्रिभुज दिया है$$a$$,$$b$$, और$$c$$, यदि कोण लंबाई के पक्ष के विपरीत है$$c$$एक समकोण है, तो $$a^2 + b^2 = c^2$$. 

इसका विलोम, जो यूक्लिड के तत्वों में भी प्रकट होता है|यूक्लिड के तत्व (पुस्तक I, प्रस्ताव 48), को इस प्रकार कहा जा सकता है:

 दिया लम्बाई की भुजाओं वाला एक त्रिभुज ''$$a$$,$$b$$, और$$c$$, अगर $$a^2 + b^2 = c^2$$, फिर लंबाई की भुजा के विपरीत कोण$$c$$समकोण है। 

संबंध का विलोम
अगर $$R$$ के साथ एक द्विआधारी संबंध है $$R \subseteq A \times B,$$ फिर विपरीत संबंध $$R^T = \{ (b,a) : (a,b) \in R \}$$ स्थानान्तरण भी कहा जाता है।

नोटेशन
निहितार्थ का विलोम P → Q लिखा जा सकता है Q → P, $$P \leftarrow Q$$, लेकिन यह भी नोट किया जा सकता है $$P \subset Q$$, या Bpq (Józef_Maria_Bochenski|Bochenski संकेतन में)।

स्पष्ट बातचीत
पारंपरिक तर्क में, विषय शब्द को विधेय शब्द के साथ बदलने की प्रक्रिया को रूपांतरण कहा जाता है। उदाहरण के लिए No S से जाने पर P से इसके विलोम No P S होते हैं। असा महँ के शब्दों में: "मूल प्रस्ताव को एक्सपोसिटा कहा जाता है; जब परिवर्तित किया जाता है, तो इसे बातचीत के रूप में दर्शाया जाता है। रूपांतरण तभी मान्य होता है, जब और केवल जब, बातचीत में ऐसा कुछ भी नहीं कहा गया हो, जिसकी व्याख्या में पुष्टि या निहित न हो।"एक्सपोजिटा को आमतौर पर कन्वर्टेंड कहा जाता है। अपने सरल रूप में, रूपांतरण केवल E और I प्रस्तावों के लिए मान्य है:

केवल ई और आई प्रस्तावों के लिए सरल रूपांतरण की वैधता को प्रतिबंध द्वारा व्यक्त किया जा सकता है कि रूपांतरण में कोई भी शब्द वितरित नहीं किया जाना चाहिए जो रूपांतरण में वितरित नहीं है। ई प्रस्तावों के लिए, विषय और विधेय दोनों शर्तों का वितरण हैं, जबकि मैं प्रस्तावों के लिए, न तो है।

ए प्रस्तावों के लिए, विषय वितरित किया जाता है जबकि विधेय नहीं है, और इसलिए ए कथन से इसके विलोम का अनुमान मान्य नहीं है। एक उदाहरण के रूप में, ए प्रस्ताव के लिए सभी बिल्लियाँ स्तनधारी हैं, इसका विलोम सभी स्तनधारी बिल्लियाँ हैं स्पष्ट रूप से गलत है। हालाँकि, कमजोर बयान कुछ स्तनधारी बिल्लियाँ हैं, यह सच है। तर्कशास्त्री प्रति दुर्घटना को इस कमजोर कथन के निर्माण की प्रक्रिया के रूप में परिभाषित करते हैं। किसी कथन से इसके विलोम प्रति दुर्घटना का अनुमान सामान्यतः मान्य होता है। हालांकि, न्यायवाक्य की तरह, सार्वभौमिक से विशेष तक का यह परिवर्तन खाली श्रेणियों के साथ समस्याओं का कारण बनता है: सभी यूनिकॉर्न स्तनधारी होते हैं जिन्हें अक्सर सत्य के रूप में लिया जाता है, जबकि इसका विलोम प्रति दुर्घटना कुछ स्तनधारी यूनिकॉर्न होते हैं स्पष्ट रूप से गलत है।

प्रथम-क्रम तर्क में | प्रथम-क्रम विधेय कलन, सभी S P हैं के रूप में प्रदर्शित किया जा सकता है $$\forall x. S(x) \to P(x)$$. इसलिए यह स्पष्ट है कि श्रेणीबद्ध बातचीत निहितार्थ संबंधी बातचीत से निकटता से संबंधित है, और एस और पी को सभी एस पी में स्वैप नहीं किया जा सकता है।

यह भी देखें

 * अरस्तू
 * स्पष्ट प्रस्ताव#रूपांतरण
 * विरोधाभास
 * बातचीत (शब्दार्थ)
 * अनुमान
 * [[उलटा (तर्क)]]
 * तार्किक संयोजक
 * विमुखता
 * युक्तिवाक्य
 * शब्द तर्क
 * स्थानान्तरण (तर्क)

अग्रिम पठन

 * Aristotle. Organon.
 * Copi, Irving. Introduction to Logic. MacMillan, 1953.
 * Copi, Irving. Symbolic Logic. MacMillan, 1979, fifth edition.
 * Stebbing, Susan. A Modern Introduction to Logic. Cromwell Company, 1931.