आवश्यकता और पर्याप्तता: Difference between revisions

Latest revision as of 17:30, 26 April 2023

तर्क और गणित में, आवश्यकता और पर्याप्तता ऐसे शब्द हैं जिनका उपयोग दो कथनों (तर्क) के बीच भौतिक सशर्त या निहितार्थ संबंध का वर्णन करने के लिए किया जाता है। उदाहरण के लिए, सशर्त वाक्य में: यदि $P$ तो $Q$ , $Q$ $P$ के लिए आवश्यक है, क्योंकि $Q$ की सच्चाई $P$ की सच्चाई से गारंटीकृत (समतुल्य रूप से, $Q$ के बिना $P$ होना असंभव है) है।^[1] इसी प्रकार, $P$ , $Q$ के लिए पर्याप्त है, क्योंकि $P$ के सत्य होने का अर्थ सदैव यह होता है कि $Q$ सत्य है, किन्तु $P$ के सत्य न होने का अर्थ सदैव यह नहीं होता कि $Q$ सत्य नहीं है।^[2]

सामान्यतः, एक आवश्यक शर्त वह होती है जो दूसरी स्थिति उत्पन्न होने के लिए उपस्थित होनी चाहिए, जबकि एक पर्याप्त स्थिति वह होती है जो उक्त स्थिति उत्पन्न करती है।^[3] यह अभिकथन कि कथन दूसरे की आवश्यक और पर्याप्त शर्त है, इसका अर्थ है कि पूर्व कथन सत्य है यदि और केवल यदि बाद वाला सत्य है। अर्थात्, दोनों कथन या तो साथ सत्य होने चाहिए, या साथ असत्य होने चाहिए।^[4]^[5]^[6]

साधारण अंग्रेजी में (प्राकृतिक भाषा भी) आवश्यक और पर्याप्त परिस्थितियों या स्थितियों की स्थिति के बीच संबंधों को निरुपित करता है, किन्तु कथनों को नहीं दर्शाता है। उदाहरण के लिए, भाई होने के लिए पुरुष होना आवश्यक शर्त है, किन्तु यह पर्याप्त नहीं है - जबकि भाई होने के लिए पुरुष भाई होना आवश्यक और पर्याप्त शर्त है।

किसी भी सशर्त कथन में कम से कम पर्याप्त शर्त और कम से कम आवश्यक शर्त होती है।

परिभाषाएँ

सशर्त कथन में, यदि S, तो N, S द्वारा प्रस्तुत अभिव्यक्ति को पूर्ववर्ती (तर्क) कहा जाता है, और N द्वारा प्रस्तुत अभिव्यक्ति को परिणामी कहा जाता है। यह सशर्त कथन कई समकक्ष विधियों से लिखा जा सकता है, जैसे N यदि S, S केवल यदि N, S N का तात्पर्य, N S द्वारा निहित है, $S \to N$ , $S \Rightarrow N$ और N जब भी S होता है।^[7]

N की उपरोक्त स्थिति में जब भी S, S को N के लिए 'आवश्यक' शर्त कहा जाता है। सामान्य भाषा में, यह कहने के बराबर है कि यदि सशर्त कथन सत्य कथन है, तो परिणामी N सत्य होना चाहिए- यदि S को सत्य (तुरंत नीचे सत्य तालिका का तीसरा स्तंभ देखें) होना है। दूसरे शब्दों में, N के सत्य होने के बिना पूर्ववर्ती S सत्य नहीं हो सकता है। उदाहरण के लिए, यदि N, तो S की विपरीत स्थिति में, किसी को 'S'ocrates कहलाने के लिए, उसके लिए किसी का 'N'amed होना आवश्यक है। इसी प्रकार मनुष्य के जीने के लिए आवश्यक है कि उसके पास हवा हो।^[8]

कोई यह भी कह सकता है कि S, N के लिए 'पर्याप्त' स्थिति (तुरंत नीचे दी गई सत्य तालिका के तीसरे स्तंभ को फिर से देखें) है। यदि सशर्त कथन सत्य है, तो यदि S सत्य है, N सत्य होना चाहिए; जबकि यदि सशर्त कथन सत्य है और N सत्य है, तो S सत्य या असत्य हो सकता है। सामान्य शब्दों में, S की सत्यता, N की सत्यता की गारंटी देती है।^[8] उदाहरण के लिए, पिछले उदाहरण से आगे बढ़ते हुए, कोई कह सकता है कि यह जानना कि किसी को S''ame कहा जाता है, यह जानने के लिए पर्याप्त है कि किसी के पास Name है।

आवश्यक और पर्याप्त शर्त के लिए आवश्यक है कि दोनों निहितार्थ $S\Rightarrow N$ और $N\Rightarrow S$ (जिसके बाद वाले को $S\Leftarrow N$ के रूप में भी लिखा जा सकता है) धारण करें। पहला निहितार्थ बताता है कि S, N के लिए पर्याप्त स्थिति है, जबकि दूसरा निहितार्थ बताता है कि S, N के लिए आवश्यक स्थिति है। इसे S के रूप में व्यक्त किया जाता है, जो N के लिए आवश्यक और पर्याप्त है, S यदि और केवल यदि N, या $S\Leftrightarrow N$ के रूप में व्यक्त किया गया है।

सत्य सारणी
$S$	$N$	$S\Rightarrow N$	$S\Leftarrow N$	$S\Leftrightarrow N$
T	T	T	T	T
T	F	F	T	F
F	T	T	F	F
F	F	T	T	T

आवश्यकता

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

P के लिए Q आवश्यक है कि P के बराबर बोलचाल की बात सही नहीं हो सकती है जब तक कि Q सत्य न हो या Q असत्य हो, तो P असत्य है।^[8]^[1] विरोधाभास से, यह वही बात है जैसे जब भी P सत्य होता है, तो Q भी होता है।

P और Q के बीच तार्किक संबंध को P, फिर Q के रूप में व्यक्त किया जाता है और P ⇒ Q (P तार्किक परिणाम Q) को निरूपित किया जाता है। इसे "P केवल यदि Q" "Q, यदि P" "Q जब भी P", और "Q जब P" के रूप में भी व्यक्त किया जा सकता है। उदाहरण के लिए, अधिकांश गणितीय गद्य में, कई आवश्यक शर्तों को साथ लिया जाता है, जो पर्याप्त स्थिति (अर्थात, व्यक्तिगत रूप से आवश्यक और संयुक्त रूप से पर्याप्त) का गठन करती हैं।^[8]), जैसा कि उदाहरण 5 में दिखाया गया है।

उदाहरण 1: यह सत्य होने के लिए कि जॉन अविवाहित है, यह आवश्यक है कि यह भी सत्य हो कि वह अविवाहित है

अविवाहित,
नर,
वयस्क,

चूंकि जॉन के स्नातक होने का अर्थ है कि जॉन के पास उन तीन अतिरिक्त विधेय (गणितीय तर्क) में से प्रत्येक है।

उदाहरण 2: दो से बड़ी पूर्ण संख्याओं के लिए, अभाज्य होने के लिए विषम होना आवश्यक है, क्योंकि दो ही एकमात्र पूर्ण संख्या है जो सम और अभाज्य दोनों है।

उदाहरण 3: गड़गड़ाहट पर विचार करें, बिजली की वजह से होने वाली ध्वनि। का कहना है कि बिजली चमकने के लिए गड़गड़ाहट आवश्यक है, क्योंकि बिजली कभी भी बिना गरज के नहीं होती है। जब भी बिजली होती है, गड़गड़ाहट होती है। गड़गड़ाहट बिजली का कारण नहीं है (चूंकि बिजली गड़गड़ाहट का कारण बनती है), किन्तु क्योंकि बिजली सदैव गड़गड़ाहट के साथ आती है, हम कहते हैं कि बिजली चमकने के लिए गड़गड़ाहट आवश्यक है। (अर्थात्, इसके औपचारिक अर्थ में, आवश्यकता का अर्थ कार्य-कारण नहीं है।)

उदाहरण 4: अमेरिकी सीनेट में सेवा करने के लिए कम से कम 30 वर्ष का होना आवश्यक है। यदि आपकी आयु 30 वर्ष से कम है, तो आपके लिए सीनेटर बनना असंभव है। अर्थात्, यदि आप सीनेटर हैं, तो यह इस प्रकार है कि आपकी आयु कम से कम 30 वर्ष होनी चाहिए।

उदाहरण 5: बीजगणित में, एक समूह (गणित) बनाने के लिए एक बाइनरी ऑपरेशन $\star$ के साथ कुछ समूह (गणित) S के लिए, यह आवश्यक है कि $\star$ साहचर्य हो। यह भी आवश्यक है कि S में एक विशेष तत्व e सम्मिलित हो जैसे कि S में प्रत्येक x के लिए, यह स्थिति है कि e $\star$ x और x $\star$ e दोनों बराबर x हैं। यह भी आवश्यक है कि S में प्रत्येक x के लिए एक संबंधित तत्व x″ उपस्थित हो, जैसे कि x $\star$ x″ और x″ $\star$ x दोनों विशेष तत्व e के बराबर हों। इन तीन आवश्यक शर्तों में से कोई भी अपने आप में पर्याप्त नहीं है, लेकिन तीनों का संयोजन (तर्क) पर्याप्त है।

पर्याप्तता

ट्रेन समय पर चलती है यह समय पर आने के लिए पर्याप्त शर्त हो सकती है (यदि कोई ट्रेन में चढ़ता है और ट्रेन समय पर जाती है, तो वह समय पर पहुंच जाएगी); किन्तु यह सदैव आवश्यक शर्त नहीं है, क्योंकि यात्रा करने के अन्य तरीके हैं (यदि ट्रेन समय पर नहीं चलती है, तब भी परिवहन के अन्य साधनों के माध्यम से समय पर पहुंचा जा सकता है)।

यदि P, Q के लिए पर्याप्त है, तो P का सत्य होना यह निष्कर्ष निकालने के लिए पर्याप्त आधार है कि Q सत्य है; चूँकि, P को असत्य जानना यह निष्कर्ष निकालने की न्यूनतम आवश्यकता को पूरा नहीं करता है कि Q असत्य है।

तार्किक संबंध, पहले की तरह, P, फिर Q या P ⇒ Q के रूप में व्यक्त किया गया है। इसे P के रूप में भी व्यक्त किया जा सकता है यदि Q , P का अर्थ Q या कई अन्य संस्करण हैं। यह स्थिति हो सकता है कि कई पर्याप्त शर्तें, जब साथ ली जाती हैं, तो आवश्यक शर्त (अर्थात, व्यक्तिगत रूप से पर्याप्त और संयुक्त रूप से आवश्यक) का गठन होता है, जैसा कि उदाहरण 5 में दिखाया गया है।

उदाहरण 1: जॉन राजा है जिसका अर्थ है कि जॉन पुरुष है। इसलिए यह जानना कि यूहन्ना राजा है, यह जानने के लिए पर्याप्त है कि वह पुरुष है।

उदाहरण 2: किसी संख्या का 4 से विभाज्य होना उसके सम होने के लिए पर्याप्त (किन्तु आवश्यक नहीं) है, किन्तु 2 से विभाज्य होना उसके सम होने के लिए पर्याप्त और आवश्यक दोनों है।

उदाहरण 3: गड़गड़ाहट की घटना इस अर्थ में बिजली की घटना के लिए पर्याप्त स्थिति है कि गड़गड़ाहट सुनना, और स्पष्ट रूप से इसे इस तरह पहचानना, यह निष्कर्ष निकालना उचित ठहराता है कि बिजली का बोल्ट हुआ है।

उदाहरण 4: यदि अमेरिकी कांग्रेस विधेयक पारित करती है, तो विधेयक पर राष्ट्रपति के हस्ताक्षर इसे कानून बनाने के लिए पर्याप्त हैं। ध्यान दें कि जिस मामले में राष्ट्रपति ने बिल पर हस्ताक्षर नहीं किए, उदाहरण के लिये राष्ट्रपति के वीटो का प्रयोग करके, इसका अर्थ यह नहीं है कि बिल कानून (उदाहरण के लिए, यह अभी भी कांग्रेस के वीटो ओवरराइड के माध्यम से कानून बन सकता है) नहीं बन गया है।

उदाहरण 5: ताश के केंद्र को बड़ी कुदाल (♠) से चिह्नित किया जाना चाहिए, ताश के इक्का होने के लिए पर्याप्त है। तीन अन्य पर्याप्त शर्तें हैं कि कार्ड के केंद्र को हीरे (♦), दिल (♥), या क्लब (♣) के साथ चिह्नित किया जाए। कार्ड के इक्का होने के लिए इन शर्तों में से कोई भी आवश्यक नहीं है, किन्तु उनका वियोग है, क्योंकि कोई भी कार्ड इन शर्तों में से कम से कम (वास्तव में, बिल्कुल) को पूरा किए बिना इक्का नहीं हो सकता है।

आवश्यकता और पर्याप्तता के बीच संबंध

बैंगनी क्षेत्र में होना A में होने के लिए पर्याप्त है, किन्तु आवश्यक नहीं है। A में होना बैंगनी क्षेत्र में होने के लिए आवश्यक है, किन्तु पर्याप्त नहीं है। A में होना और B में होना बैंगनी क्षेत्र में होने के लिए आवश्यक और पर्याप्त है।

शर्त दूसरे के बिना या तो आवश्यक या पर्याप्त हो सकती है। उदाहरण के लिए, स्तनपायी (N) होना आवश्यक है, किन्तु मानव (S) होने के लिए पर्याप्त नहीं है, और वह संख्या है $x$ तर्कसंगत (S) पर्याप्त है किन्तु $x$ के वास्तविक संख्या (N) होने के लिए आवश्यक (चूँकि ऐसी वास्तविक संख्याएँ हैं जो परिमेय नहीं हैं) नही है।

शर्त आवश्यक और पर्याप्त दोनों हो सकती है। उदाहरण के लिए, वर्तमान में, आज चौथा जुलाई आवश्यक और पर्याप्त शर्त है, आज के लिए संयुक्त राज्य अमेरिका में स्वतंत्रता दिवस (संयुक्त राज्य अमेरिका) है। इसी प्रकार, मैट्रिक्स (गणित) एम के व्युत्क्रम मैट्रिक्स के लिए आवश्यक और पर्याप्त शर्त यह है कि एम में शून्येतर निर्धारक है।

गणितीय रूप से बोलना, आवश्यकता और पर्याप्तता दूसरे के लिए द्वैत (गणित) हैं। किसी भी कथन S और N के लिए, यह दावा कि S के लिए N आवश्यक है, इस कथन के बराबर है कि S, N के लिए पर्याप्त है। इस द्वैत का अन्य पहलू यह है कि, जैसा कि ऊपर दिखाया गया है, आवश्यक शर्तों के संयोजन (उपयोग और ) पर्याप्तता प्राप्त कर सकते हैं, जबकि पर्याप्त शर्तों के संयोजन (उपयोग या ) आवश्यकता प्राप्त कर सकते हैं। तीसरे पहलू के लिए, प्रत्येक गणितीय विधेय (गणित) N को वस्तुओं, घटनाओं, या कथनों के सबसेट T(N) के साथ पहचानें जिसके लिए N सत्य है; तब S के लिए N की आवश्यकता पर जोर देना यह दावा करने के बराबर है कि T(N) T(S) का सुपरसेट है, जबकि N के लिए S की पर्याप्तता पर जोर देना यह दावा करने के बराबर है कि T(S) T(N) का एक उपसमुच्चय है।

मनोवैज्ञानिक रूप से बोलना, आवश्यकता और पर्याप्तता दोनों अवधारणाओं के शास्त्रीय दृष्टिकोण के प्रमुख पहलू हैं। अवधारणाओं के शास्त्रीय सिद्धांत के तहत, कैसे मानव मन श्रेणी X का प्रतिनिधित्व करता है, व्यक्तिगत रूप से आवश्यक शर्तों के समूह को जन्म देता है जो X को परिभाषित करता है। साथ में, ये व्यक्तिगत रूप से आवश्यक शर्तें X होने के लिए पर्याप्त हैं। ^[9] यह अवधारणाओं के संभाव्य सिद्धांत के विपरीत है, जिसमें कहा गया है कि कोई परिभाषित विशेषता आवश्यक या पर्याप्त नहीं है, किन्तु यह कि श्रेणियां परिवार के पेड़ की संरचना के समान हैं।

साथ आवश्यकता और पर्याप्तता

यह कहना कि P, Q के लिए आवश्यक और पर्याप्त है, दो बातें कहना है:

वह P, Q, $P\Leftarrow Q$ के लिए आवश्यक है, और वह P, $P\Rightarrow Q$ के लिए पर्याप्त है।
समान रूप से, यह कहना समझा जा सकता है कि P और Q दूसरे $P\Rightarrow Q\land Q\Rightarrow P$ के लिए आवश्यक हैं, जिसे यह भी कहा जा सकता है कि प्रत्येक दूसरे के लिए पर्याप्त है या इसका तात्पर्य है।

इन स्थितियों में से कोई भी और इस प्रकार सभी को "P यदि और केवल यदि Q" कथन द्वारा सारांशित किया जा सकता है, जिसे $P\Leftrightarrow Q$ द्वारा दर्शाया गया है, जबकि मामले हमें बताते हैं कि $P\Leftrightarrow Q$ $P\Rightarrow Q\land Q\Rightarrow P$ के समान है

उदाहरण के लिए, ग्राफ़ सिद्धांत में ग्राफ़ G को द्विदलीय ग्राफ़ कहा जाता है यदि इसके प्रत्येक कोने को काले या सफेद रंग को इस तरह से निर्दिष्ट करना संभव है कि G के प्रत्येक किनारे पर प्रत्येक रंग का अंत बिंदु हो। और किसी भी ग्राफ़ के द्विदलीय होने के लिए, यह आवश्यक और पर्याप्त शर्त है कि इसमें कोई विषम-लंबाई चक्र (ग्राफ़ सिद्धांत) नहीं है। इस प्रकार, यह पता लगाना कि किसी ग्राफ में कोई विषम चक्र है या नहीं, यह बताता है कि क्या यह द्विदलीय है और इसके विपरीत है। एक दार्शनिक^[10] इस स्थिति को इस प्रकार चित्रित कर सकता है: चूँकि विषम चक्रों की द्विदलीयता और अनुपस्थिति की अवधारणाएँ तीव्रता में भिन्न होती हैं, लेकिन उनका समान विस्तार (शब्दार्थ) होता है।^[11]

गणित में, प्रमेयों को अधिकांश इस रूप में कहा जाता है कि P सत्य है यदि और केवल यदि Q सत्य है।

क्योंकि, जैसा कि पिछले खंड में बताया गया है, के लिए दूसरे की आवश्यकता पहले वाले के लिए दूसरे की पर्याप्तता के बराबर है, उदा। $P\Leftarrow Q$ तार्किक समानता है $Q\Rightarrow P$ , यदि P, Q के लिए आवश्यक और पर्याप्त है, तो Q, P के लिए आवश्यक और पर्याप्त है। हम इसे $P\Leftrightarrow Q\equiv Q\Leftrightarrow P$ लिख सकते हैं और कहते हैं कि कथन P सत्य है यदि और केवल यदि Q, सत्य है और Q सत्य है यदि और केवल यदि P सत्य है तो समतुल्य हैं।

यह भी देखें

संदर्भ

↑ ^1.0 ^1.1 "[M06] Necessity and sufficiency". philosophy.hku.hk. Retrieved 2019-12-02.
↑ Bloch, Ethan D. (2011). Proofs and Fundamentals: A First Course in Abstract Mathematics. Springer. pp. 8–9. ISBN 978-1-4419-7126-5.
↑ Confusion-of-Necessary (2019-05-15). "पर्याप्त स्थिति के साथ आवश्यक का भ्रम". www.txstate.edu (in English). Retrieved 2019-12-02.
↑ Betz, Frederick (2011). Managing Science: Methodology and Organization of Research. New York: Springer. p. 247. ISBN 978-1-4419-7487-7.
↑ Manktelow, K. I. (1999). तर्क और सोच. East Sussex, UK: Psychology Press. ISBN 0-86377-708-2.
↑ Asnina, Erika; Osis, Janis & Jansone, Asnate (2013). "सामयिक संबंधों की औपचारिक विशिष्टता". Databases and Information Systems VII. 249 (Databases and Information Systems VII): 175. doi:10.3233/978-1-61499-161-8-175.
↑ Devlin, Keith (2004), Sets, Functions and Logic / An Introduction to Abstract Mathematics (3rd ed.), Chapman & Hall, pp. 22–23, ISBN 978-1-58488-449-1
↑ ^8.0 ^8.1 ^8.2 ^8.3 "आवश्यक शर्तों और पर्याप्त शर्तों की अवधारणा". www.sfu.ca. Retrieved 2019-12-02.
↑ https://iep.utm.edu/classical-theory-of-concepts/^{[bare URL]}
↑ Stanford University primer, 2006.
↑ "Meanings, in this sense, are often called intensions, and things designated, extensions. Contexts in which extension is all that matters are, naturally, called extensional, while contexts in which extension is not enough are intensional. Mathematics is typically extensional throughout." Stanford University primer, 2006.

बाहरी संबंध

Critical thinking web tutorial: Necessary and Sufficient Conditions
Simon Fraser University: Concepts with examples

[:0-1] 1.0 ^1.1 "[M06] Necessity and sufficiency". philosophy.hku.hk. Retrieved 2019-12-02.

[2] Bloch, Ethan D. (2011). Proofs and Fundamentals: A First Course in Abstract Mathematics. Springer. pp. 8–9. ISBN 978-1-4419-7126-5.

[3] Confusion-of-Necessary (2019-05-15). "पर्याप्त स्थिति के साथ आवश्यक का भ्रम". www.txstate.edu (in English). Retrieved 2019-12-02.

[betz-4] Betz, Frederick (2011). Managing Science: Methodology and Organization of Research. New York: Springer. p. 247. ISBN 978-1-4419-7487-7.

[Manktelow-5] Manktelow, K. I. (1999). तर्क और सोच. East Sussex, UK: Psychology Press. ISBN 0-86377-708-2.

[asnina-6] Asnina, Erika; Osis, Janis & Jansone, Asnate (2013). "सामयिक संबंधों की औपचारिक विशिष्टता". Databases and Information Systems VII. 249 (Databases and Information Systems VII): 175. doi:10.3233/978-1-61499-161-8-175.

[7] Devlin, Keith (2004), Sets, Functions and Logic / An Introduction to Abstract Mathematics (3rd ed.), Chapman & Hall, pp. 22–23, ISBN 978-1-58488-449-1

[:2-8] 8.0 ^8.1 ^8.2 ^8.3 "आवश्यक शर्तों और पर्याप्त शर्तों की अवधारणा". www.sfu.ca. Retrieved 2019-12-02.

[9] ttps://iep.utm.edu/classical-theory-of-concepts/^{[bare URL]}

[stan-10] Stanford University primer, 2006.

[11] "Meanings, in this sense, are often called intensions, and things designated, extensions. Contexts in which extension is all that matters are, naturally, called extensional, while contexts in which extension is not enough are intensional. Mathematics is typically extensional throughout." Stanford University primer, 2006.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 2: / Line 2: @@
 {{about|तर्क में औपचारिक शब्दावली|शर्तों का कारण अर्थ|करणीय संबंध|सांख्यिकी में अवधारणाएँ|पर्याप्त आँकड़ा}}
-[[तर्क]] और गणित में, आवश्यकता और पर्याप्तता ऐसे शब्द हैं जिनका उपयोग दो कथनों (तर्क) के बीच भौतिक सशर्त या निहितार्थ संबंध का वर्णन करने के लिए किया जाता है। उदाहरण के लिए, [[सशर्त वाक्य]] में: यदि {{mvar|P}} तब {{mvar|Q}} , {{mvar|Q}} के लिए आवश्यक है {{mvar|P}}, क्योंकि का सत्य मान {{mvar|Q}} की सच्चाई की गारंटी है {{mvar|P}} (समान रूप से, यह होना असंभव है {{mvar|P}} बिना {{mvar|Q}}).<ref name=":0">{{Cite web|url=https://philosophy.hku.hk/think/meaning/nsc.php|title=[M06] Necessity and sufficiency|website=philosophy.hku.hk|access-date=2019-12-02}}</ref> इसी प्रकार, {{mvar|P}} के लिए पर्याप्त है {{mvar|Q}}, क्योंकि {{mvar|P}} सत्य होने का अर्थ हमेशा यही होता है {{mvar|Q}} सच है, लेकिन {{mvar|P}} सत्य नहीं होने का हमेशा यह अर्थ नहीं होता है {{mvar|Q}} यह सच नहीं है।<ref>{{Cite book|title=Proofs and Fundamentals: A First Course in Abstract Mathematics|last=Bloch|first=Ethan D.|publisher=Springer|year=2011|isbn=978-1-4419-7126-5|pages=8–9}}</ref>
+[[तर्क]] और गणित में, आवश्यकता और पर्याप्तता ऐसे शब्द हैं जिनका उपयोग दो कथनों (तर्क) के बीच भौतिक सशर्त या निहितार्थ संबंध का वर्णन करने के लिए किया जाता है। उदाहरण के लिए, [[सशर्त वाक्य]] में: यदि {{mvar|P}} तो {{mvar|Q}} , {{mvar|Q}} {{mvar|P}} के लिए आवश्यक है, क्योंकि {{mvar|Q}} की सच्चाई {{mvar|P}} की सच्चाई से गारंटीकृत (समतुल्य रूप से, {{mvar|Q}} के बिना {{mvar|P}} होना असंभव है) है।<ref name=":0">{{Cite web|url=https://philosophy.hku.hk/think/meaning/nsc.php|title=[M06] Necessity and sufficiency|website=philosophy.hku.hk|access-date=2019-12-02}}</ref> इसी प्रकार,  {{mvar|P}}, {{mvar|Q}} के लिए पर्याप्त है, क्योंकि {{mvar|P}} के सत्य होने का अर्थ सदैव यह होता है कि {{mvar|Q}} सत्य है, किन्तु {{mvar|P}} के सत्य न होने का अर्थ सदैव यह नहीं होता कि {{mvar|Q}} सत्य नहीं है।<ref>{{Cite book|title=Proofs and Fundamentals: A First Course in Abstract Mathematics|last=Bloch|first=Ethan D.|publisher=Springer|year=2011|isbn=978-1-4419-7126-5|pages=8–9}}</ref>
-सामान्य तौर पर, आवश्यक शर्त वह होती है जो किसी अन्य स्थिति के होने के लिए मौजूद होनी चाहिए, जबकि पर्याप्त स्थिति वह होती है जो उक्त स्थिति उत्पन्न करती है।<ref>{{Cite web|url=https://www.txstate.edu/philosophy/resources/fallacy-definitions/Confusion-of-Necessary.html|title=पर्याप्त स्थिति के साथ आवश्यक का भ्रम|last=Confusion-of-Necessary|date=2019-05-15|website=www.txstate.edu|language=en|access-date=2019-12-02}}</ref> यह अभिकथन कि कथन दूसरे की आवश्यक और पर्याप्त शर्त है, इसका मतलब है कि पूर्व कथन सत्य है यदि और केवल यदि बाद वाला सत्य है। अर्थात्, दो कथन या तो साथ सत्य होने चाहिए, या साथ असत्य होने चाहिए।<ref name=betz>{{cite book|last=Betz|first=Frederick|title=Managing Science: Methodology and Organization of Research|date=2011|publisher=Springer|location=New York|isbn=978-1-4419-7487-7|page=247}}</ref><ref name=Manktelow>{{cite book|last=Manktelow|first=K. I.|title=तर्क और सोच|date=1999|publisher=Psychology Press|location=East Sussex, UK|isbn=0-86377-708-2}}</ref><ref name=asnina>{{cite journal|author1=Asnina, Erika |author2=Osis, Janis |author3=Jansone, Asnate |name-list-style=amp |title=सामयिक संबंधों की औपचारिक विशिष्टता|journal=Databases and Information Systems VII|date=2013|volume=249 |issue=Databases and Information Systems VII |page=175|doi=10.3233/978-1-61499-161-8-175}}</ref>
-[[साधारण अंग्रेजी]] में ([[प्राकृतिक भाषा]] भी) आवश्यक और पर्याप्त परिस्थितियों या मामलों की स्थिति के बीच संबंधों को इंगित करता है, बयानों को नहीं। उदाहरण के लिए, भाई होने के लिए पुरुष होना आवश्यक शर्त है, लेकिन यह पर्याप्त नहीं है - जबकि भाई होने के लिए पुरुष भाई होना आवश्यक और पर्याप्त शर्त है।
+सामान्यतः, एक आवश्यक शर्त वह होती है जो दूसरी स्थिति उत्पन्न होने के लिए उपस्थित होनी चाहिए, जबकि एक पर्याप्त स्थिति वह होती है जो उक्त स्थिति उत्पन्न करती है।<ref>{{Cite web|url=https://www.txstate.edu/philosophy/resources/fallacy-definitions/Confusion-of-Necessary.html|title=पर्याप्त स्थिति के साथ आवश्यक का भ्रम|last=Confusion-of-Necessary|date=2019-05-15|website=www.txstate.edu|language=en|access-date=2019-12-02}}</ref> यह अभिकथन कि कथन दूसरे की आवश्यक और पर्याप्त शर्त है, इसका अर्थ है कि पूर्व कथन सत्य है यदि और केवल यदि बाद वाला सत्य है। अर्थात्, दोनों कथन या तो साथ सत्य होने चाहिए, या साथ असत्य होने चाहिए।<ref name="betz">{{cite book|last=Betz|first=Frederick|title=Managing Science: Methodology and Organization of Research|date=2011|publisher=Springer|location=New York|isbn=978-1-4419-7487-7|page=247}}</ref><ref name="Manktelow">{{cite book|last=Manktelow|first=K. I.|title=तर्क और सोच|date=1999|publisher=Psychology Press|location=East Sussex, UK|isbn=0-86377-708-2}}</ref><ref name="asnina">{{cite journal|author1=Asnina, Erika |author2=Osis, Janis |author3=Jansone, Asnate |name-list-style=amp |title=सामयिक संबंधों की औपचारिक विशिष्टता|journal=Databases and Information Systems VII|date=2013|volume=249 |issue=Databases and Information Systems VII |page=175|doi=10.3233/978-1-61499-161-8-175}}</ref>
-किसी भी सशर्त बयान में कम से कम पर्याप्त शर्त और कम से कम आवश्यक शर्त होती है।
+[[साधारण अंग्रेजी]] में ([[प्राकृतिक भाषा]] भी) आवश्यक और पर्याप्त परिस्थितियों या स्थितियों की स्थिति के बीच संबंधों को निरुपित करता है, किन्तु कथनों को नहीं दर्शाता है। उदाहरण के लिए, भाई होने के लिए पुरुष होना आवश्यक शर्त है, किन्तु यह पर्याप्त नहीं है - जबकि भाई होने के लिए पुरुष भाई होना आवश्यक और पर्याप्त शर्त है।
+किसी भी सशर्त कथन में कम से कम पर्याप्त शर्त और कम से कम आवश्यक शर्त होती है।
 == परिभाषाएँ ==
-सशर्त बयान में, यदि एस, तो एन, एस द्वारा प्रस्तुत अभिव्यक्ति को [[पूर्ववर्ती (तर्क)]] कहा जाता है, और एन द्वारा प्रस्तुत अभिव्यक्ति को परिणामी कहा जाता है। यह सशर्त बयान कई समकक्ष तरीकों से लिखा जा सकता है, जैसे एन अगर एस, एस केवल अगर एन, एस एन का तात्पर्य है, एन एस द्वारा निहित है, {{math|''S'' → ''N''}} , {{math|''S'' ⇒ ''N''}} और एन जब भी एस।<ref>{{citation|first=Keith|last=Devlin|title=Sets, Functions and Logic / An Introduction to Abstract Mathematics|edition=3rd|publisher=Chapman & Hall|year=2004|isbn=978-1-58488-449-1|pages=22–23}}</ref>
+सशर्त कथन में, यदि S, तो N, S द्वारा प्रस्तुत अभिव्यक्ति को [[पूर्ववर्ती (तर्क)]] कहा जाता है, और N द्वारा प्रस्तुत अभिव्यक्ति को परिणामी कहा जाता है। यह सशर्त कथन कई समकक्ष विधियों से लिखा जा सकता है, जैसे N यदि S, S केवल यदि N, S N का तात्पर्य, N S द्वारा निहित है, {{math|''S'' → ''N''}} , {{math|''S'' ⇒ ''N''}} और N जब भी S होता है।<ref>{{citation|first=Keith|last=Devlin|title=Sets, Functions and Logic / An Introduction to Abstract Mathematics|edition=3rd|publisher=Chapman & Hall|year=2004|isbn=978-1-58488-449-1|pages=22–23}}</ref>
-N की उपरोक्त स्थिति में जब भी S, S को N के लिए 'आवश्यक' शर्त कहा जाता है। सामान्य भाषा में, यह कहने के बराबर है कि यदि सशर्त कथन सत्य कथन है, तो परिणामी N सत्य होना चाहिए- यदि S को सत्य होना है (तुरंत नीचे सत्य तालिका का तीसरा स्तंभ देखें)। दूसरे शब्दों में, एन के सत्य होने के बिना पूर्ववर्ती एस सत्य नहीं हो सकता है। यदि N, तो S की विपरीत स्थिति में, उदाहरण के लिए, किसी को 'S'ocrates कहलाने के लिए, उसके लिए किसी का 'N'amed होना आवश्यक है। इसी तरह मनुष्य के जीने के लिए जरूरी है कि उसके पास हवा हो।<ref name=":2">{{Cite web|url=https://www.sfu.ca/~swartz/conditions1.htm#section3|title=आवश्यक शर्तों और पर्याप्त शर्तों की अवधारणा|website=www.sfu.ca|access-date=2019-12-02}}</ref>
-कोई यह भी कह सकता है कि S, N के लिए 'पर्याप्त' स्थिति है (तुरंत नीचे दी गई सत्य तालिका के तीसरे कॉलम को फिर से देखें)। यदि सशर्त कथन सत्य है, तो यदि S सत्य है, N सत्य होना चाहिए; जबकि यदि सशर्त कथन सत्य है और N सत्य है, तो S सत्य या असत्य हो सकता है। सामान्य शब्दों में, S की सत्यता, N की सत्यता की गारंटी देती है।<ref name=":2" />उदाहरण के लिए, पिछले उदाहरण से आगे बढ़ते हुए, कोई कह सकता है कि यह जानना कि किसी को ''S''''ame कहा जाता है, यह जानने के लिए पर्याप्त है कि किसी के पास ''N''ame है।
+N की उपरोक्त स्थिति में जब भी S, S को N के लिए 'आवश्यक' शर्त कहा जाता है। सामान्य भाषा में, यह कहने के बराबर है कि यदि सशर्त कथन सत्य कथन है, तो परिणामी N सत्य होना चाहिए- यदि S को सत्य (तुरंत नीचे सत्य तालिका का तीसरा स्तंभ देखें) होना है। दूसरे शब्दों में, N के सत्य होने के बिना पूर्ववर्ती S सत्य नहीं हो सकता है। उदाहरण के लिए, यदि N, तो S की विपरीत स्थिति में, किसी को 'S'ocrates कहलाने के लिए, उसके लिए किसी का 'N'amed होना आवश्यक है। इसी प्रकार मनुष्य के जीने के लिए आवश्यक है कि उसके पास हवा हो।<ref name=":2">{{Cite web|url=https://www.sfu.ca/~swartz/conditions1.htm#section3|title=आवश्यक शर्तों और पर्याप्त शर्तों की अवधारणा|website=www.sfu.ca|access-date=2019-12-02}}</ref>
+कोई यह भी कह सकता है कि S, N के लिए 'पर्याप्त' स्थिति (तुरंत नीचे दी गई सत्य तालिका के तीसरे स्तंभ को फिर से देखें) है। यदि सशर्त कथन सत्य है, तो यदि S सत्य है, N सत्य होना चाहिए; जबकि यदि सशर्त कथन सत्य है और N सत्य है, तो S सत्य या असत्य हो सकता है। सामान्य शब्दों में, S की सत्यता, N की सत्यता की गारंटी देती है।<ref name=":2" /> उदाहरण के लिए, पिछले उदाहरण से आगे बढ़ते हुए, कोई कह सकता है कि यह जानना कि किसी को ''S<nowiki>''</nowiki>''ame कहा जाता है, यह जानने के लिए पर्याप्त है कि किसी के पास ''N''ame है।
-''आवश्यक और पर्याप्त'' स्थिति के लिए दोनों निहितार्थों की आवश्यकता होती है <math>S \Rightarrow N</math> और <math>N \Rightarrow S</math> (जिसका उत्तरार्द्ध भी लिखा जा सकता है <math>S \Leftarrow N</math>) पकड़ना। पहला निहितार्थ बताता है कि S, N के लिए पर्याप्त स्थिति है, जबकि दूसरा निहितार्थ बताता है कि S, N के लिए आवश्यक स्थिति है। इसे S के रूप में व्यक्त किया जाता है, जो N के लिए आवश्यक और पर्याप्त है, S यदि और केवल यदि N, या <math>S \Leftrightarrow N</math>.
+''आवश्यक और पर्याप्त'' शर्त के लिए आवश्यक है कि दोनों निहितार्थ <math>S \Rightarrow N</math> और <math>N \Rightarrow S</math> (जिसके बाद वाले को <math>S \Leftarrow N</math> के रूप में भी लिखा जा सकता है) धारण करें। पहला निहितार्थ बताता है कि S, N के लिए पर्याप्त स्थिति है, जबकि दूसरा निहितार्थ बताता है कि S, N के लिए आवश्यक स्थिति है। इसे S के रूप में व्यक्त किया जाता है, जो N के लिए आवश्यक और पर्याप्त है, S यदि और केवल यदि N, या <math>S \Leftrightarrow N</math> के रूप में व्यक्त किया गया है।
 {| class="wikitable" style="margin:1em auto; text-align:center;"
 |+ सत्य सारणी
 |-
-! scope="col"  style="width:20%" | {{nobold|{{mvar|S}}}}
+! scope="col" style="width:20%" | {{nobold|{{mvar|S}}}}
-! scope="col"  style="width:20%" | {{nobold|{{mvar|N}}}}
+! scope="col" style="width:20%" | {{nobold|{{mvar|N}}}}
-! scope="col"  style="width:20%" | <math>S \Rightarrow N</math>
+! scope="col" style="width:20%" | <math>S \Rightarrow N</math>
-! scope="col"  style="width:20%" | <math>S \Leftarrow N</math>
+! scope="col" style="width:20%" | <math>S \Leftarrow N</math>
-! scope="col"  style="width:20%" | <math>S \Leftrightarrow N</math>
+! scope="col" style="width:20%" | <math>S \Leftrightarrow N</math>
 |-
 | T || T || T || T || T
@@ Line 36: / Line 41: @@
 == आवश्यकता ==
-[[File:Solar eclipse 1999 4.jpg|thumb|right|200px|सूर्य का क्षितिज से ऊपर होना प्रत्यक्ष सूर्य के प्रकाश के लिए आवश्यक शर्त है; लेकिन यह पर्याप्त स्थिति नहीं है, क्योंकि कुछ और छाया हो सकती है, उदाहरण के लिए, सूर्य ग्रहण के मामले में चंद्रमा।]]पी के लिए क्यू जरूरी है कि पी के बराबर बोलचाल की बात सही नहीं हो सकती है जब तक कि क्यू सच न हो या क्यू झूठा हो, तो पी झूठा है।<ref name=":2" /><ref name=":0" />विरोधाभास से, यह वही बात है जैसे जब भी पी सच होता है, तो क्यू भी होता है।
+[[File:Solar eclipse 1999 4.jpg|thumb|right|200px|सूर्य का क्षितिज से ऊपर होना प्रत्यक्ष सूर्य के प्रकाश के लिए आवश्यक शर्त है; किन्तु यह पर्याप्त स्थिति नहीं है, क्योंकि कुछ और छाया हो सकती है, उदाहरण के लिए, सूर्य ग्रहण के स्थिति में चंद्रमा।]]P के लिए Q आवश्यक है कि P के बराबर बोलचाल की बात सही नहीं हो सकती है जब तक कि Q सत्य न हो या Q असत्य हो, तो P असत्य है।<ref name=":2" /><ref name=":0" /> विरोधाभास से, यह वही बात है जैसे जब भी P सत्य होता है, तो Q भी होता है।
-P और Q के बीच तार्किक संबंध को P, फिर Q के रूप में व्यक्त किया जाता है और P ⇒ Q (P [[तार्किक परिणाम]] Q) को निरूपित किया जाता है। इसे केवल P में से किसी के रूप में भी व्यक्त किया जा सकता है यदि Q, Q, यदि P, Q जब भी P, और Q जब P हो। उदाहरण के लिए, अक्सर गणितीय गद्य में, कई आवश्यक शर्तों को साथ लिया जाता है, जो पर्याप्त स्थिति (यानी, व्यक्तिगत रूप से आवश्यक और संयुक्त रूप से पर्याप्त) का गठन करती हैं।<ref name=":2" />), जैसा कि उदाहरण 5 में दिखाया गया है।
+P और Q के बीच तार्किक संबंध को P, फिर Q के रूप में व्यक्त किया जाता है और P ⇒ Q (P [[तार्किक परिणाम]] Q) को निरूपित किया जाता है। इसे "P केवल यदि Q" "Q, यदि P" "Q जब भी P", और "Q जब P" के रूप में भी व्यक्त किया जा सकता है। उदाहरण के लिए, अधिकांश गणितीय गद्य में, कई आवश्यक शर्तों को साथ लिया जाता है, जो पर्याप्त स्थिति (अर्थात, व्यक्तिगत रूप से आवश्यक और संयुक्त रूप से पर्याप्त) का गठन करती हैं।<ref name=":2" />), जैसा कि उदाहरण 5 में दिखाया गया है।
-उदाहरण 1: यह सच होने के लिए कि जॉन अविवाहित है, यह आवश्यक है कि यह भी सत्य हो कि वह अविवाहित है
+'''उदाहरण 1''': यह सत्य होने के लिए कि जॉन अविवाहित है, यह आवश्यक है कि यह भी सत्य हो कि वह अविवाहित है
 :# अविवाहित,
 :# नर,
@@ Line 46: / Line 51: @@
 :चूंकि जॉन के स्नातक होने का अर्थ है कि जॉन के पास उन तीन अतिरिक्त [[विधेय (गणितीय तर्क)]] में से प्रत्येक है।
-उदाहरण 2: दो से बड़ी पूर्ण संख्याओं के लिए, अभाज्य होने के लिए विषम होना आवश्यक है, क्योंकि दो ही एकमात्र पूर्ण संख्या है जो सम और अभाज्य दोनों है।
+'''उदाहरण 2''': दो से बड़ी पूर्ण संख्याओं के लिए, अभाज्य होने के लिए विषम होना आवश्यक है, क्योंकि दो ही एकमात्र पूर्ण संख्या है जो सम और अभाज्य दोनों है।
-उदाहरण 3: गड़गड़ाहट पर विचार करें, बिजली की वजह से होने वाली ध्वनि। का कहना है कि बिजली चमकने के लिए गड़गड़ाहट जरूरी है, क्योंकि बिजली कभी भी बिना गरज के नहीं होती है। जब भी बिजली होती है, गड़गड़ाहट होती है। गड़गड़ाहट बिजली का कारण नहीं है (चूंकि बिजली गड़गड़ाहट का कारण बनती है), लेकिन क्योंकि बिजली हमेशा गड़गड़ाहट के साथ आती है, हम कहते हैं कि बिजली चमकने के लिए गड़गड़ाहट आवश्यक है। (अर्थात्, इसके औपचारिक अर्थ में, आवश्यकता का अर्थ कार्य-कारण नहीं है।)
+'''उदाहरण 3''': गड़गड़ाहट पर विचार करें, बिजली की वजह से होने वाली ध्वनि। का कहना है कि बिजली चमकने के लिए गड़गड़ाहट आवश्यक है, क्योंकि बिजली कभी भी बिना गरज के नहीं होती है। जब भी बिजली होती है, गड़गड़ाहट होती है। गड़गड़ाहट बिजली का कारण नहीं है (चूंकि बिजली गड़गड़ाहट का कारण बनती है), किन्तु क्योंकि बिजली सदैव गड़गड़ाहट के साथ आती है, हम कहते हैं कि बिजली चमकने के लिए गड़गड़ाहट आवश्यक है। (अर्थात्, इसके औपचारिक अर्थ में, आवश्यकता का अर्थ कार्य-कारण नहीं है।)
-उदाहरण 4: अमेरिकी सीनेट में सेवा करने के लिए कम से कम 30 वर्ष का होना आवश्यक है। यदि आपकी आयु 30 वर्ष से कम है, तो आपके लिए सीनेटर बनना असंभव है। अर्थात्, यदि आप सीनेटर हैं, तो यह इस प्रकार है कि आपकी आयु कम से कम 30 वर्ष होनी चाहिए।
+'''उदाहरण 4''': अमेरिकी सीनेट में सेवा करने के लिए कम से कम 30 वर्ष का होना आवश्यक है। यदि आपकी आयु 30 वर्ष से कम है, तो आपके लिए सीनेटर बनना असंभव है। अर्थात्, यदि आप सीनेटर हैं, तो यह इस प्रकार है कि आपकी आयु कम से कम 30 वर्ष होनी चाहिए।
-; उदाहरण 5: [[बीजगणित]] में, कुछ [[सेट (गणित)]] एस के लिए [[बाइनरी ऑपरेशन]] के साथ <math>\star</math> [[समूह (गणित)]] बनाने के लिए, यह आवश्यक है कि <math>\star</math> सहयोगी हो। यह भी आवश्यक है कि S में विशेष तत्व e शामिल हो जैसे कि S में प्रत्येक x के लिए, यह मामला है कि e <math>\star</math> एक्स और एक्स <math>\star</math> ई दोनों बराबर एक्स। यह भी जरूरी है कि एस में हर एक्स के लिए संबंधित तत्व एक्स "मौजूद है, जैसे दोनों एक्स <math>\star</math> एक्स″ और एक्स″ <math>\star</math> एक्स विशेष तत्व ई के बराबर है। इन तीन आवश्यक शर्तों में से कोई भी अपने आप में पर्याप्त नहीं है, लेकिन तीनों का [[संयोजन (तर्क)]] पर्याप्त है।
+; उदाहरण 5: [[बीजगणित]] में, एक [[सेट (गणित)|समूह (गणित)]] बनाने के लिए एक [[बाइनरी ऑपरेशन]] <math>\star</math> के साथ कुछ [[समूह (गणित)]] S के लिए, यह आवश्यक है कि <math>\star</math> साहचर्य हो। यह भी आवश्यक है कि S में एक विशेष तत्व e सम्मिलित हो जैसे कि S में प्रत्येक x के लिए, यह स्थिति है कि e <math>\star</math> x और x <math>\star</math> e दोनों बराबर x हैं। यह भी आवश्यक है कि S में प्रत्येक x के लिए एक संबंधित तत्व x″ उपस्थित हो, जैसे कि x <math>\star</math> x″ और x″ <math>\star</math> x दोनों विशेष तत्व e के बराबर हों। इन तीन आवश्यक शर्तों में से कोई भी अपने आप में पर्याप्त नहीं है, लेकिन तीनों का [[संयोजन (तर्क)]] पर्याप्त है।
 == पर्याप्तता ==
-[[File:ICE 3 Fahlenbach.jpg|thumb|right|200px|ट्रेन समय पर चलती है यह समय पर आने के लिए पर्याप्त शर्त हो सकती है (यदि कोई ट्रेन में चढ़ता है और ट्रेन समय पर जाती है, तो वह समय पर पहुंच जाएगी); लेकिन यह हमेशा आवश्यक शर्त नहीं है, क्योंकि यात्रा करने के अन्य तरीके हैं (यदि ट्रेन समय पर नहीं चलती है, तब भी परिवहन के अन्य साधनों के माध्यम से समय पर पहुंचा जा सकता है)।]]यदि P, Q के लिए पर्याप्त है, तो P का सत्य होना यह निष्कर्ष निकालने के लिए पर्याप्त आधार है कि Q सत्य है; हालाँकि, P को झूठा जानना यह निष्कर्ष निकालने की न्यूनतम आवश्यकता को पूरा नहीं करता है कि Q झूठा है।
+[[File:ICE 3 Fahlenbach.jpg|thumb|right|200px|ट्रेन समय पर चलती है यह समय पर आने के लिए पर्याप्त शर्त हो सकती है (यदि कोई ट्रेन में चढ़ता है और ट्रेन समय पर जाती है, तो वह समय पर पहुंच जाएगी); किन्तु यह सदैव आवश्यक शर्त नहीं है, क्योंकि यात्रा करने के अन्य तरीके हैं (यदि ट्रेन समय पर नहीं चलती है, तब भी परिवहन के अन्य साधनों के माध्यम से समय पर पहुंचा जा सकता है)।]]यदि P, Q के लिए पर्याप्त है, तो P का सत्य होना यह निष्कर्ष निकालने के लिए पर्याप्त आधार है कि Q सत्य है; चूँकि, P को असत्य जानना यह निष्कर्ष निकालने की न्यूनतम आवश्यकता को पूरा नहीं करता है कि Q असत्य है।
-तार्किक संबंध, पहले की तरह, P, फिर Q या P ⇒ Q के रूप में व्यक्त किया गया है। इसे P के रूप में भी व्यक्त किया जा सकता है यदि Q , P का अर्थ Q या कई अन्य संस्करण हैं। यह मामला हो सकता है कि कई पर्याप्त शर्तें, जब साथ ली जाती हैं, तो आवश्यक शर्त (यानी, व्यक्तिगत रूप से पर्याप्त और संयुक्त रूप से आवश्यक) का गठन होता है, जैसा कि उदाहरण 5 में दिखाया गया है।
+तार्किक संबंध, पहले की तरह, P, फिर Q या P ⇒ Q के रूप में व्यक्त किया गया है। इसे P के रूप में भी व्यक्त किया जा सकता है यदि Q , P का अर्थ Q या कई अन्य संस्करण हैं। यह स्थिति हो सकता है कि कई पर्याप्त शर्तें, जब साथ ली जाती हैं, तो आवश्यक शर्त (अर्थात, व्यक्तिगत रूप से पर्याप्त और संयुक्त रूप से आवश्यक) का गठन होता है, जैसा कि उदाहरण 5 में दिखाया गया है।
-उदाहरण 1: जॉन राजा है जिसका अर्थ है कि जॉन पुरुष है। इसलिए यह जानना कि यूहन्ना राजा है, यह जानने के लिए पर्याप्त है कि वह पुरुष है।
+'''उदाहरण 1''': जॉन राजा है जिसका अर्थ है कि जॉन पुरुष है। इसलिए यह जानना कि यूहन्ना राजा है, यह जानने के लिए पर्याप्त है कि वह पुरुष है।
-उदाहरण 2: किसी संख्या का 4 से विभाज्य होना उसके सम होने के लिए पर्याप्त (लेकिन आवश्यक नहीं) है, लेकिन 2 से विभाज्य होना उसके सम होने के लिए पर्याप्त और आवश्यक दोनों है।
+'''उदाहरण 2''': किसी संख्या का 4 से विभाज्य होना उसके सम होने के लिए पर्याप्त (किन्तु आवश्यक नहीं) है, किन्तु 2 से विभाज्य होना उसके सम होने के लिए पर्याप्त और आवश्यक दोनों है।
-उदाहरण 3: गड़गड़ाहट की घटना इस अर्थ में बिजली की घटना के लिए पर्याप्त स्थिति है कि गड़गड़ाहट सुनना, और स्पष्ट रूप से इसे इस तरह पहचानना, यह निष्कर्ष निकालना उचित ठहराता है कि बिजली का बोल्ट हुआ है।
+'''उदाहरण 3''': गड़गड़ाहट की घटना इस अर्थ में बिजली की घटना के लिए पर्याप्त स्थिति है कि गड़गड़ाहट सुनना, और स्पष्ट रूप से इसे इस तरह पहचानना, यह निष्कर्ष निकालना उचित ठहराता है कि बिजली का बोल्ट हुआ है।
-उदाहरण 4: यदि अमेरिकी कांग्रेस विधेयक पारित करती है, तो विधेयक पर राष्ट्रपति के हस्ताक्षर इसे कानून बनाने के लिए पर्याप्त हैं। ध्यान दें कि जिस मामले में राष्ट्रपति ने बिल पर हस्ताक्षर नहीं किए, उदा। राष्ट्रपति के वीटो का प्रयोग करने के माध्यम से#संयुक्त राज्य अमेरिका, इसका मतलब यह नहीं है कि बिल कानून नहीं बन गया है (उदाहरण के लिए, यह अभी भी कांग्रेस के [[वीटो ओवरराइड]] के माध्यम से कानून बन सकता है)।
+'''उदाहरण 4''': यदि अमेरिकी कांग्रेस विधेयक पारित करती है, तो विधेयक पर राष्ट्रपति के हस्ताक्षर इसे कानून बनाने के लिए पर्याप्त हैं। ध्यान दें कि जिस मामले में राष्ट्रपति ने बिल पर हस्ताक्षर नहीं किए, उदाहरण के लिये राष्ट्रपति के वीटो का प्रयोग करके, इसका अर्थ यह नहीं है कि बिल कानून (उदाहरण के लिए, यह अभी भी कांग्रेस के [[वीटो ओवरराइड]] के माध्यम से कानून बन सकता है) नहीं बन गया है।
-;उदाहरण 5: ताश के केंद्र को बड़ी कुदाल (♠) से चिह्नित किया जाना चाहिए, ताश के इक्का होने के लिए पर्याप्त है। तीन अन्य पर्याप्त शर्तें हैं कि कार्ड के केंद्र को हीरे (♦), दिल (♥), या क्लब (♣) के साथ चिह्नित किया जाए। कार्ड के इक्का होने के लिए इन शर्तों में से कोई भी आवश्यक नहीं है, लेकिन उनका वियोग है, क्योंकि कोई भी कार्ड इन शर्तों में से कम से कम (वास्तव में, बिल्कुल) को पूरा किए बिना इक्का नहीं हो सकता है।
+;उदाहरण 5: ताश के केंद्र को बड़ी कुदाल (♠) से चिह्नित किया जाना चाहिए, ताश के इक्का होने के लिए पर्याप्त है। तीन अन्य पर्याप्त शर्तें हैं कि कार्ड के केंद्र को हीरे (♦), दिल (♥), या क्लब (♣) के साथ चिह्नित किया जाए। कार्ड के इक्का होने के लिए इन शर्तों में से कोई भी आवश्यक नहीं है, किन्तु उनका वियोग है, क्योंकि कोई भी कार्ड इन शर्तों में से कम से कम (वास्तव में, बिल्कुल) को पूरा किए बिना इक्का नहीं हो सकता है।
 == आवश्यकता और पर्याप्तता के बीच संबंध ==
-[[File:Set intersection.svg|thumb|260 px|बैंगनी क्षेत्र में होना A में होने के लिए पर्याप्त है, लेकिन आवश्यक नहीं है। ए में होना बैंगनी क्षेत्र में होने के लिए जरूरी है, लेकिन पर्याप्त नहीं है। ए में होना और बी में होना बैंगनी क्षेत्र में होने के लिए आवश्यक और पर्याप्त है।]]शर्त दूसरे के बिना या तो आवश्यक या पर्याप्त हो सकती है। उदाहरण के लिए, स्तनपायी (N) होना आवश्यक है, लेकिन मानव (S) होने के लिए पर्याप्त नहीं है, और वह संख्या है <math>x</math> तर्कसंगत है (एस) पर्याप्त है लेकिन आवश्यक नहीं है <math>x</math> [[वास्तविक संख्या]] (N) होना (चूँकि ऐसी वास्तविक संख्याएँ हैं जो परिमेय नहीं हैं)।
+[[File:Set intersection.svg|thumb|260 px|बैंगनी क्षेत्र में होना A में होने के लिए पर्याप्त है, किन्तु आवश्यक नहीं है। A में होना बैंगनी क्षेत्र में होने के लिए आवश्यक है, किन्तु पर्याप्त नहीं है। A में होना और B में होना बैंगनी क्षेत्र में होने के लिए आवश्यक और पर्याप्त है।]]शर्त दूसरे के बिना या तो आवश्यक या पर्याप्त हो सकती है। उदाहरण के लिए, स्तनपायी (N) होना आवश्यक है, किन्तु मानव (S) होने के लिए पर्याप्त नहीं है, और वह संख्या है <math>x</math> तर्कसंगत (S) पर्याप्त है किन्तु <math>x</math> के [[वास्तविक संख्या]] (N) होने के लिए आवश्यक (चूँकि ऐसी वास्तविक संख्याएँ हैं जो परिमेय नहीं हैं) नही है।
-शर्त आवश्यक और पर्याप्त दोनों हो सकती है। उदाहरण के लिए, वर्तमान में, आज चौथा जुलाई आवश्यक और पर्याप्त शर्त है, आज के लिए [[संयुक्त राज्य अमेरिका]] में [[स्वतंत्रता दिवस (संयुक्त राज्य अमेरिका)]] है। इसी तरह, [[मैट्रिक्स (गणित)]] एम के व्युत्क्रम मैट्रिक्स के लिए आवश्यक और पर्याप्त शर्त यह है कि एम में शून्येतर निर्धारक है।
+शर्त आवश्यक और पर्याप्त दोनों हो सकती है। उदाहरण के लिए, वर्तमान में, आज चौथा जुलाई आवश्यक और पर्याप्त शर्त है, आज के लिए [[संयुक्त राज्य अमेरिका]] में [[स्वतंत्रता दिवस (संयुक्त राज्य अमेरिका)]] है। इसी प्रकार, [[मैट्रिक्स (गणित)]] एम के व्युत्क्रम मैट्रिक्स के लिए आवश्यक और पर्याप्त शर्त यह है कि एम में शून्येतर निर्धारक है।
-गणितीय रूप से बोलना, आवश्यकता और पर्याप्तता दूसरे के लिए द्वैत (गणित) हैं। किसी भी कथन S और N के लिए, यह दावा कि S के लिए N आवश्यक है, इस कथन के बराबर है कि S, N के लिए पर्याप्त है। इस द्वैत का अन्य पहलू यह है कि, जैसा कि ऊपर दिखाया गया है, आवश्यक शर्तों के संयोजन (उपयोग और ) पर्याप्तता प्राप्त कर सकते हैं, जबकि पर्याप्त शर्तों के संयोजन (उपयोग या ) आवश्यकता प्राप्त कर सकते हैं। तीसरे पहलू के लिए, प्रत्येक गणितीय [[विधेय (गणित)]] N को वस्तुओं, घटनाओं, या कथनों के [[सबसेट]] T(N) के साथ पहचानें जिसके लिए N सत्य है; तब S के लिए N की आवश्यकता पर जोर देना यह दावा करने के बराबर है कि T(N) T(S) का [[सुपरसेट]] है, जबकि N के लिए S की पर्याप्तता पर जोर देना यह दावा करने के बराबर है कि T(S) T(N) का उपसमुच्चय है ).
+गणितीय रूप से बोलना, आवश्यकता और पर्याप्तता दूसरे के लिए द्वैत (गणित) हैं। किसी भी कथन S और N के लिए, यह दावा कि S के लिए N आवश्यक है, इस कथन के बराबर है कि S, N के लिए पर्याप्त है। इस द्वैत का अन्य पहलू यह है कि, जैसा कि ऊपर दिखाया गया है, आवश्यक शर्तों के संयोजन (उपयोग और ) पर्याप्तता प्राप्त कर सकते हैं, जबकि पर्याप्त शर्तों के संयोजन (उपयोग या ) आवश्यकता प्राप्त कर सकते हैं। तीसरे पहलू के लिए, प्रत्येक गणितीय [[विधेय (गणित)]] N को वस्तुओं, घटनाओं, या कथनों के [[सबसेट]] T(N) के साथ पहचानें जिसके लिए N सत्य है; तब S के लिए N की आवश्यकता पर जोर देना यह दावा करने के बराबर है कि T(N) T(S) का [[सुपरसेट]] है, जबकि N के लिए S की पर्याप्तता पर जोर देना यह दावा करने के बराबर है कि T(S) T(N) का एक उपसमुच्चय है।
-मनोवैज्ञानिक रूप से बोलना, आवश्यकता और पर्याप्तता दोनों अवधारणाओं के शास्त्रीय दृष्टिकोण के प्रमुख पहलू हैं। अवधारणाओं के शास्त्रीय [[सिद्ध]]ांत के तहत, कैसे मानव मन श्रेणी X का प्रतिनिधित्व करता है, व्यक्तिगत रूप से आवश्यक शर्तों के सेट को जन्म देता है जो X को परिभाषित करता है। साथ में, ये व्यक्तिगत रूप से आवश्यक शर्तें X होने के लिए पर्याप्त हैं। <ref>https://iep.utm.edu/classical-theory-of-concepts/ {{bare URL inline|date=April 2023}}</ref>यह अवधारणाओं के संभाव्य सिद्धांत के विपरीत है, जिसमें कहा गया है कि कोई परिभाषित विशेषता आवश्यक या पर्याप्त नहीं है, बल्कि यह कि श्रेणियां परिवार के पेड़ की संरचना के समान हैं।
+मनोवैज्ञानिक रूप से बोलना, आवश्यकता और पर्याप्तता दोनों अवधारणाओं के शास्त्रीय दृष्टिकोण के प्रमुख पहलू हैं। अवधारणाओं के शास्त्रीय [[सिद्ध]]ांत के तहत, कैसे मानव मन श्रेणी X का प्रतिनिधित्व करता है, व्यक्तिगत रूप से आवश्यक शर्तों के समूह को जन्म देता है जो X को परिभाषित करता है। साथ में, ये व्यक्तिगत रूप से आवश्यक शर्तें X होने के लिए पर्याप्त हैं। <ref>https://iep.utm.edu/classical-theory-of-concepts/ {{bare URL inline|date=April 2023}}</ref> यह अवधारणाओं के संभाव्य सिद्धांत के विपरीत है, जिसमें कहा गया है कि कोई परिभाषित विशेषता आवश्यक या पर्याप्त नहीं है, किन्तु यह कि श्रेणियां परिवार के पेड़ की संरचना के समान हैं।
 == साथ आवश्यकता और पर्याप्तता ==
@@ Line 83: / Line 88: @@
 यह कहना कि P, Q के लिए आवश्यक और पर्याप्त है, दो बातें कहना है:
-# क्यू के लिए पी आवश्यक है,  <math>P \Leftarrow Q</math>, और यह कि P, Q के लिए पर्याप्त है, <math>P \Rightarrow Q</math>.
+# वह P, Q, <math>P \Leftarrow Q</math> के लिए आवश्यक है, और वह P, <math>P \Rightarrow Q</math> के लिए पर्याप्त है।
-# समतुल्य, यह कहना समझा जा सकता है कि P और Q दूसरे के लिए आवश्यक हैं, <math>P \Rightarrow Q \land Q \Rightarrow P</math>, जिसे यह भी कहा जा सकता है कि प्रत्येक दूसरे के लिए पर्याप्त है या इसका तात्पर्य है।
+#समान रूप से, यह कहना समझा जा सकता है कि P और Q दूसरे <math>P \Rightarrow Q \land Q \Rightarrow P</math> के लिए आवश्यक हैं, जिसे यह भी कहा जा सकता है कि प्रत्येक दूसरे के लिए पर्याप्त है या इसका तात्पर्य है।
+इन स्थितियों में से कोई भी और इस प्रकार सभी को "P यदि और केवल यदि Q" कथन द्वारा सारांशित किया जा सकता है, जिसे <math>P \Leftrightarrow Q</math> द्वारा दर्शाया गया है, जबकि मामले हमें बताते हैं कि <math>P \Leftrightarrow Q</math> <math>P \Rightarrow Q \land Q \Rightarrow P</math> के समान है
-कोई भी, और इस प्रकार, इन मामलों में से सभी को बयान पी द्वारा सारांशित कर सकता है यदि और केवल यदि क्यू, जिसे द्वारा दर्शाया गया है <math>P \Leftrightarrow Q</math>, जबकि मामले हमें बताते हैं <math>P \Leftrightarrow Q</math> के समान है <math>P \Rightarrow Q \land Q \Rightarrow P</math>.
+उदाहरण के लिए, ग्राफ़ सिद्धांत में ग्राफ़ G को द्विदलीय ग्राफ़ कहा जाता है यदि इसके प्रत्येक कोने को काले या सफेद रंग को इस तरह से निर्दिष्ट करना संभव है कि G के प्रत्येक किनारे पर प्रत्येक रंग का अंत बिंदु हो। और किसी भी ग्राफ़ के द्विदलीय होने के लिए, यह आवश्यक और पर्याप्त शर्त है कि इसमें कोई विषम-लंबाई चक्र (ग्राफ़ सिद्धांत) नहीं है। इस प्रकार, यह पता लगाना कि किसी ग्राफ में कोई विषम चक्र है या नहीं, यह बताता है कि क्या यह द्विदलीय है और इसके विपरीत है। एक दार्शनिक<ref name="stan">[http://plato.stanford.edu/entries/logic-intensional/ Stanford University primer, 2006].</ref> इस स्थिति को इस प्रकार चित्रित कर सकता है: चूँकि विषम चक्रों की द्विदलीयता और अनुपस्थिति की अवधारणाएँ तीव्रता में भिन्न होती हैं, लेकिन उनका समान [[विस्तार (शब्दार्थ)]] होता है।<ref>"Meanings, in this sense, are often called ''intensions'', and things designated, ''extensions''. Contexts in which extension is all that matters are, naturally, called ''extensional'', while contexts in which extension is not enough are ''intensional''. Mathematics is typically extensional throughout." [http://plato.stanford.edu/entries/logic-intensional/ Stanford University primer, 2006].</ref>
-उदाहरण के लिए, ग्राफ़ सिद्धांत में ग्राफ़ G को द्विदलीय ग्राफ़ कहा जाता है यदि इसके प्रत्येक कोने को काले या सफेद रंग को इस तरह से निर्दिष्ट करना संभव है कि G के प्रत्येक किनारे पर प्रत्येक रंग का अंत बिंदु हो। और किसी भी ग्राफ़ के द्विदलीय होने के लिए, यह आवश्यक और पर्याप्त शर्त है कि इसमें कोई विषम-लंबाई चक्र (ग्राफ़ सिद्धांत) न हो। इस प्रकार, यह पता लगाना कि किसी ग्राफ में कोई विषम चक्र है या नहीं, यह बताता है कि क्या यह द्विदलीय है और इसके विपरीत। दार्शनिक<ref name="stan">[http://plato.stanford.edu/entries/logic-intensional/ Stanford University primer, 2006].</ref> इस स्थिति की इस प्रकार विशेषताएँ हो सकती हैं: हालाँकि विषम चक्रों की द्विदलीयता और अनुपस्थिति की अवधारणाएँ तीव्रता में भिन्न होती हैं, उनका समान [[विस्तार (शब्दार्थ)]] होता है।<ref>"Meanings, in this sense, are often called ''intensions'', and things designated, ''extensions''. Contexts in which extension is all that matters are, naturally, called ''extensional'', while contexts in which extension is not enough are ''intensional''. Mathematics is typically extensional throughout." [http://plato.stanford.edu/entries/logic-intensional/ Stanford University primer, 2006].</ref>
+गणित में, प्रमेयों को अधिकांश इस रूप में कहा जाता है कि P सत्य है यदि और केवल यदि Q सत्य है।
-गणित में, प्रमेयों को अक्सर इस रूप में कहा जाता है कि P सत्य है यदि और केवल यदि Q सत्य है। <!--(The following is irrelevant and not true.)  Their proofs normally first prove sufficiency, e.g. <math>P \Rightarrow Q</math>. Secondly, the opposite is proven, <math>Q \Rightarrow P</math>
-# either directly, assuming ''Q'' is true and demonstrating that the Q circle is located within P, or
-# [[Proof by contrapositive|contrapositively]], that is demonstrating that stepping outside circle of P, we fall out the ''Q'': ''assuming not P, not Q results''.
-This proves that the circles for Q and P match on the Venn diagrams above.-->
+क्योंकि, जैसा कि पिछले खंड में बताया गया है, के लिए दूसरे की आवश्यकता पहले वाले के लिए दूसरे की पर्याप्तता के बराबर है, उदा। <math>P \Leftarrow Q</math> [[तार्किक समानता]] है <math>Q \Rightarrow P</math>, यदि P, Q के लिए आवश्यक और पर्याप्त है, तो Q, P के लिए आवश्यक और पर्याप्त है। हम इसे <math>P \Leftrightarrow Q \equiv Q \Leftrightarrow P</math> लिख सकते हैं और कहते हैं कि कथन P सत्य है यदि और केवल यदि Q, सत्य है और Q सत्य है यदि और केवल यदि P सत्य है तो समतुल्य हैं।
-क्योंकि, जैसा कि पिछले खंड में बताया गया है, के लिए दूसरे की आवश्यकता पहले वाले के लिए दूसरे की पर्याप्तता के बराबर है, उदा। <math>P \Leftarrow Q</math> [[तार्किक समानता]] है <math>Q \Rightarrow P</math>, यदि P, Q के लिए आवश्यक और पर्याप्त है, तो Q, P के लिए आवश्यक और पर्याप्त है। हम लिख सकते हैं <math>P \Leftrightarrow Q \equiv Q \Leftrightarrow P</math> और कहते हैं कि कथन P सत्य है यदि और केवल यदि Q, सत्य है और Q सत्य है यदि और केवल यदि P सत्य है तो समतुल्य हैं।
 == यह भी देखें ==
-{{cmn|
+{{cmn|* [[परिणाम की पुष्टि]]
-* [[Affirming the consequent]]
+* [[आवश्यकता और पर्याप्तता के जैविक परीक्षण]]
-* [[Biological tests of necessity and sufficiency]]
+* [[कारण संबंध]]
-* [[Causality]]
+* [[बंद अवधारणा]]
-* [[Closed concept]]
+* [[पूर्ववर्ती को नकारना]]
-* [[Denying the antecedent]]
+*[[यदि और केवल यदि]]
-*[[If and only if]]
+* [[भौतिक निहितार्थ (बहुविकल्पी)]]
-* [[Material implication (disambiguation)]]
+* [[पर्याप्त कारण का सिद्धांत]]
-* [[Principle of sufficient reason]]
+* [[वासन चयन कार्य]]
-* [[Wason selection task]]
+* ''[[एक वैध, सरल तर्क और निष्कर्ष के नियम के रूप]]''
-* ''[[Modus ponens]]''
+* ''[[मोडस टोलेंस]]''}}
-* ''[[Modus tollens]]''
-}}
 ==संदर्भ==
@@ Line 121: / Line 122: @@
 {{Logic}}
-[[Category: आवश्यकता और पर्याप्तता | आवश्यकता और पर्याप्तता ]] [[Category: तर्क में अवधारणाएँ]] [[Category: तत्वमीमांसा में अवधारणाएँ]] [[Category: द्विभाजन]] [[Category: गणितीय शब्दावली]]
-[[Category: Machine Translated Page]]
+[[Category:All articles with bare URLs for citations]]
+[[Category:Articles with bare URLs for citations from April 2023]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:Articles with invalid date parameter in template]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:Collapse templates]]
+[[Category:Commons category link from Wikidata]]
 [[Category:Created On 10/04/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Multi-column templates]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages using div col with small parameter]]
+[[Category:Pages with empty portal template]]
+[[Category:Pages with script errors]]
+[[Category:Portal-inline template with redlinked portals]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Templates using under-protected Lua modules]]
+[[Category:Wikipedia fully protected templates|Div col]]
+[[Category:Wikipedia metatemplates]]
+[[Category:आवश्यकता और पर्याप्तता| आवश्यकता और पर्याप्तता ]]
+[[Category:गणितीय शब्दावली]]
+[[Category:तत्वमीमांसा में अवधारणाएँ]]
+[[Category:तर्क में अवधारणाएँ]]
+[[Category:द्विभाजन]]

Anonymous

Search

आवश्यकता और पर्याप्तता: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:30, 26 April 2023

Contents

परिभाषाएँ

आवश्यकता

पर्याप्तता

आवश्यकता और पर्याप्तता के बीच संबंध

साथ आवश्यकता और पर्याप्तता

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

आवश्यकता और पर्याप्तता: Difference between revisions

Latest revision as of 17:30, 26 April 2023

परिभाषाएँ

आवश्यकता

पर्याप्तता

आवश्यकता और पर्याप्तता के बीच संबंध

साथ आवश्यकता और पर्याप्तता

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories