सत्य फलन: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 6: | Line 6: | ||
== अवलोकन == | == अवलोकन == | ||
एक तार्किक संयोजक सत्य-कार्यात्मक होता है यदि एक यौगिक वाक्य का सत्य-मूल्य उसके उप-वाक्यों के सत्य-मूल्य का एक कार्य है। संयोजकों का एक वर्ग सत्य-कार्यात्मक होता है यदि उसका प्रत्येक सदस्य है। उदाहरण के लिए संयोजी "और" सत्य-कार्यात्मक है क्योंकि "सेब फल हैं और गाजर सब्जियां हैं" जैसे वाक्य सत्य हैं, और केवल | एक तार्किक संयोजक सत्य-कार्यात्मक होता है यदि एक यौगिक वाक्य का सत्य-मूल्य उसके उप-वाक्यों के सत्य-मूल्य का एक कार्य है। संयोजकों का एक वर्ग सत्य-कार्यात्मक होता है यदि उसका प्रत्येक सदस्य है। उदाहरण के लिए संयोजी "और" सत्य-कार्यात्मक है क्योंकि "सेब फल हैं और गाजर सब्जियां हैं" जैसे वाक्य सत्य हैं, और केवल यदि इसके प्रत्येक उप-वाक्य "सेब फल हैं" और "गाजर सब्जियां हैं" सत्य हैं , और यह अन्यथा झूठा है। एक प्राकृतिक भाषा के कुछ संयोजक, जैसे अंग्रेजी, सत्य-कार्यात्मक नहीं हैं। | ||
"x का मानना है कि ..." स्वरूप के संयोजक उन संयोजकों के विशिष्ट उदाहरण हैं जो सत्य-कार्यात्मक नहीं हैं। यदि उदा. मैरी गलती से मानती है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे, लेकिन वह नहीं मानती कि चांद हरे पनीर से बना है, तो वाक्य | "x का मानना है कि ..." स्वरूप के संयोजक उन संयोजकों के विशिष्ट उदाहरण हैं जो सत्य-कार्यात्मक नहीं हैं। यदि उदा. मैरी गलती से मानती है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे, लेकिन वह नहीं मानती कि चांद हरे पनीर से बना है, तो वाक्य | ||
| Line 215: | Line 215: | ||
क्योंकि फलन को [[कार्यों की संरचना]] के रूप में व्यक्त किया जा सकता है, सत्य-कार्यात्मक तार्किक कलन को उपरोक्त सभी कार्यों के लिए [[कार्यात्मक पूर्णता]] होने के लिए समर्पित प्रतीकों की आवश्यकता नहीं है। यह कुछ यौगिक कथनों की तार्किक तुल्यता के रूप में प्रस्तावपरक कलन में व्यक्त किया गया है। उदाहरण के लिए, शास्त्रीय तर्क {{math|¬''P'' ∨ ''Q''}} , {{math|''P'' → ''Q''}} के बराबर है। सशर्त ऑपरेटर → शास्त्रीय-आधारित [[तार्किक प्रणाली]] के लिए आवश्यक नहीं है यदि ¬ (नहीं) और ∨ (या) पहले से ही उपयोग में हैं। | क्योंकि फलन को [[कार्यों की संरचना]] के रूप में व्यक्त किया जा सकता है, सत्य-कार्यात्मक तार्किक कलन को उपरोक्त सभी कार्यों के लिए [[कार्यात्मक पूर्णता]] होने के लिए समर्पित प्रतीकों की आवश्यकता नहीं है। यह कुछ यौगिक कथनों की तार्किक तुल्यता के रूप में प्रस्तावपरक कलन में व्यक्त किया गया है। उदाहरण के लिए, शास्त्रीय तर्क {{math|¬''P'' ∨ ''Q''}} , {{math|''P'' → ''Q''}} के बराबर है। सशर्त ऑपरेटर → शास्त्रीय-आधारित [[तार्किक प्रणाली]] के लिए आवश्यक नहीं है यदि ¬ (नहीं) और ∨ (या) पहले से ही उपयोग में हैं। | ||
ऑपरेटरों का [[न्यूनतम तत्व]] सेट जो प्रत्येक कथन को व्यक्त कर सकता है जो प्रस्ताविक कलन में अभिव्यक्त होता है, न्यूनतम कार्यात्मक रूप से पूर्ण सेट कहलाता है। अकेले | ऑपरेटरों का [[न्यूनतम तत्व]] सेट जो प्रत्येक कथन को व्यक्त कर सकता है जो प्रस्ताविक कलन में अभिव्यक्त होता है, न्यूनतम कार्यात्मक रूप से पूर्ण सेट कहलाता है। अकेले नैण्ड {↑} और नोर अकेले {↓} द्वारा ऑपरेटरों का न्यूनतम पूर्ण सेट प्राप्त किया जाता है। | ||
निम्नलिखित ऑपरेटरों के न्यूनतम कार्यात्मक रूप से पूर्ण सेट हैं जिनकी संख्या 2 से अधिक नहीं है:<ref name="Wernick">Wernick, William (1942) "Complete Sets of Logical Functions," ''Transactions of the American Mathematical Society 51'': 117–32. In his list on the last page of the article, Wernick does not distinguish between ← and →, or between <math>\nleftarrow</math> and <math>\nrightarrow</math>.</ref> | निम्नलिखित ऑपरेटरों के न्यूनतम कार्यात्मक रूप से पूर्ण सेट हैं जिनकी संख्या 2 से अधिक नहीं है:<ref name="Wernick">Wernick, William (1942) "Complete Sets of Logical Functions," ''Transactions of the American Mathematical Society 51'': 117–32. In his list on the last page of the article, Wernick does not distinguish between ← and →, or between <math>\nleftarrow</math> and <math>\nrightarrow</math>.</ref> | ||
| Line 234: | Line 234: | ||
*[[वितरण]]: संयोजी द्वारा निरूपित · वितरित अन्य संयोजक पर + द्वारा निरूपित किया जाता है, यदि ''a'' · (''b'' + ''c'') = (''a'' · ''b'') + (''a'' · ''c'') सभी ऑपरेंड ''a'', ''b'', ''c'' के लिए। | *[[वितरण]]: संयोजी द्वारा निरूपित · वितरित अन्य संयोजक पर + द्वारा निरूपित किया जाता है, यदि ''a'' · (''b'' + ''c'') = (''a'' · ''b'') + (''a'' · ''c'') सभी ऑपरेंड ''a'', ''b'', ''c'' के लिए। | ||
*[[idempotence|इडेमपोटेंस]]: जब भी ऑपरेशन के ऑपरेंड समान होते हैं, तो संयोजी परिणाम के रूप में ऑपरेंड देता है। दूसरे शब्दों में, ऑपरेशन सत्य-संरक्षण और असत्य-संरक्षण (नीचे देखें) दोनों है। | *[[idempotence|इडेमपोटेंस]]: जब भी ऑपरेशन के ऑपरेंड समान होते हैं, तो संयोजी परिणाम के रूप में ऑपरेंड देता है। दूसरे शब्दों में, ऑपरेशन सत्य-संरक्षण और असत्य-संरक्षण (नीचे देखें) दोनों है। | ||
*[[अवशोषण कानून]]: संयोजकों की जोड़ी <math>\land, \lor</math> अवशोषण कानून को संतुष्ट करता है | *[[अवशोषण कानून]]: संयोजकों की जोड़ी <math>\land, \lor</math> अवशोषण कानून को संतुष्ट करता है यदि <math>a\land(a\lor b)=a\lor(a\land b)=a</math> सभी ऑपरेंड ए, बी के लिए। | ||
सत्य फलनों का सेट कार्यात्मक पूर्णता है | सत्य फलनों का सेट कार्यात्मक पूर्णता है यदि और केवल यदि निम्नलिखित पांच गुणों में से प्रत्येक के लिए इसमें कम से कम सदस्य की कमी है: | ||
*'[[मोनोटोनिक]]': यदि f(a<sub>1</sub>, ..., ए<sub>''n''</sub>) ≤ च (बी<sub>1</sub>, ..., बी<sub>''n''</sub>) सभी के लिए ए<sub>1</sub>, ..., ए<sub>''n''</sub>, बी<sub>1</sub>, ..., बी<sub>''n''</sub> ∈ {0,1} जैसे कि ए<sub>1</sub> ≤ बी<sub>1</sub>, ए<sub>2</sub> ≤ बी<sub>2</sub>, ..., ए<sub>''n''</sub> ≤ बी<sub>''n''</sub>. जैसे, <math>\vee, \wedge, \top, \bot</math>. | *'[[मोनोटोनिक]]': यदि f(a<sub>1</sub>, ..., ए<sub>''n''</sub>) ≤ च (बी<sub>1</sub>, ..., बी<sub>''n''</sub>) सभी के लिए ए<sub>1</sub>, ..., ए<sub>''n''</sub>, बी<sub>1</sub>, ..., बी<sub>''n''</sub> ∈ {0,1} जैसे कि ए<sub>1</sub> ≤ बी<sub>1</sub>, ए<sub>2</sub> ≤ बी<sub>2</sub>, ..., ए<sub>''n''</sub> ≤ बी<sub>''n''</sub>. जैसे, <math>\vee, \wedge, \top, \bot</math>. | ||
*एफ़िन परिवर्तन: प्रत्येक चर के लिए, अन्य सभी चर के सभी निश्चित मानों के लिए, इसके मान को बदलने से या तो हमेशा या कभी भी संचालन का सत्य-मान नहीं बदलता है। जैसे, <math>\neg, \leftrightarrow</math>, <math>\not\leftrightarrow, \top, \bot</math>. | *एफ़िन परिवर्तन: प्रत्येक चर के लिए, अन्य सभी चर के सभी निश्चित मानों के लिए, इसके मान को बदलने से या तो हमेशा या कभी भी संचालन का सत्य-मान नहीं बदलता है। जैसे, <math>\neg, \leftrightarrow</math>, <math>\not\leftrightarrow, \top, \bot</math>. | ||
| Line 267: | Line 267: | ||
== [[रचना का सिद्धांत]] == | == [[रचना का सिद्धांत]] == | ||
सत्य तालिकाओं का उपयोग करने के | सत्य तालिकाओं का उपयोग करने के अतिरिक्त, तार्किक संयोजी प्रतीकों की व्याख्या व्याख्या फलन और सत्य-कार्यों के कार्यात्मक रूप से पूर्ण सेट (गैमट 1991) के माध्यम से की जा सकती है, जैसा कि अर्थ की संरचना के सिद्धांत द्वारा विस्तृत किया गया है। | ||
चलो मैं व्याख्या कार्य करता हूं, चलो Φ, Ψ कोई भी दो वाक्य हो और सत्य को कार्य करने दें f<sub>nand</sub> के रूप में परिभाषित किया जाना चाहिए: | चलो मैं व्याख्या कार्य करता हूं, चलो Φ, Ψ कोई भी दो वाक्य हो और सत्य को कार्य करने दें f<sub>nand</sub> के रूप में परिभाषित किया जाना चाहिए: | ||
* | * f<sub>nand</sub>(t, t) = f; f<sub>nand</sub>(t, f) = f<sub>nand</sub>(f, t) = f<sub>nand</sub>(f, f) = t | ||
फिर, सुविधा के लिए, f<sub>not</sub>, | फिर, सुविधा के लिए, f<sub>not</sub>, f<sub>or</sub> f<sub>and</sub> और इसी तरह f<sub>nand</sub> के माध्यम से परिभाषित किया गया है: | ||
* | * f<sub>not</sub>(x) = f<sub>nand</sub>(x, x) | ||
* | * f<sub>or</sub>(x, y) = f<sub>nand</sub>(f<sub>not</sub>(x), f<sub>not</sub>(y)) | ||
* | * f<sub>and</sub>(x, y) = f<sub>not</sub>(f<sub>nand</sub>(x, y)) | ||
या, वैकल्पिक रूप से | या, वैकल्पिक रूप से f<sub>not</sub>, f<sub>or</sub> f<sub>and</sub> और इसी तरह सीधे परिभाषित हैं: | ||
* | * f<sub>not</sub>(t) = f; f<sub>not</sub>(f) = t; | ||
* | * f<sub>or</sub>(t, t) = f<sub>or</sub>(t, f) = f<sub>or</sub>(f, t) = t; f<sub>or</sub>(f, f) = f | ||
* | * f<sub>and</sub>(t, t) = t; f<sub>and</sub>(t, f) = f<sub>and</sub>(f, t) = f<sub>and</sub>(f, f) = f | ||
तब | तब | ||
| Line 291: | Line 291: | ||
| ''I''(''Φ''{{and}}''Ψ'') {{=}} ''I''({{and}})(''I''(''Φ''), ''I''(''Ψ'')) {{=}} ''f''<sub>and</sub>(''I''(''Φ''), ''I''(''Ψ'')) | | ''I''(''Φ''{{and}}''Ψ'') {{=}} ''I''({{and}})(''I''(''Φ''), ''I''(''Ψ'')) {{=}} ''f''<sub>and</sub>(''I''(''Φ''), ''I''(''Ψ'')) | ||
}} | }} | ||
आदि। | |||
इस प्रकार यदि S वाक्य है जो तार्किक प्रतीकों v | इस प्रकार यदि S वाक्य है जो तार्किक प्रतीकों v<sub>1</sub>..v<sub>''n''</sub> से युक्त प्रतीकों की स्ट्रिंग है जो तार्किक संयोजकों और गैर-तार्किक प्रतीकों का प्रतिनिधित्व करता है, और गैर-तार्किक प्रतीकों c<sub>1</sub>...c<sub>''n''</sub>, तो यदि और केवल यदि {{math|size=100%|''I''(''v''<sub>1</sub>)...''I''(''v''<sub>''n''</sub>)}} को (या कार्यात्मक पूर्ण सत्य-कार्यों का कोई अन्य सेट) के माध्यम से v<sub>1</sub> से v<sub>n</sub> की व्याख्या प्रदान की गई है, तो का सत्य-मूल्य {{tmath|I(s)}} पूरी तरह से c<sub>1</sub>...c<sub>''n''</sub> के सत्य-मानों द्वारा निर्धारित होता है, अर्थात् {{math|size=100%|''I''(''c''<sub>1</sub>)...''I''(''c''<sub>''n''</sub>)}}. दूसरे शब्दों में, अपेक्षित और आवश्यक के रूप में, S अपने सभी गैर-तार्किक प्रतीकों की व्याख्या के तहत ही सही या गलत है। | ||
== कंप्यूटर विज्ञान == | == कंप्यूटर विज्ञान == | ||
तार्किक ऑपरेटर्स को [[डिजिटल सर्किट]] में [[ तर्क द्वार |तर्क द्वार]] | तार्किक ऑपरेटर्स को [[डिजिटल सर्किट|डिजिटल परिपथ]] में [[ तर्क द्वार |तर्क द्वार]] x के रूप में लागू किया जाता है। व्यावहारिक रूप से सभी डिजिटल परिपथ (प्रमुख अपवाद [[DRAM|ड्रम]] है) [[ तार्किक नंद |तार्किक नंद]] , [[तार्किक न ही]], [[ नकार |नकार]] और तार्किक गेट से निर्मित होते हैं। सामान्य 2 इनपुट के अतिरिक्त 3 या अधिक इनपुट वाले नैण्ड और नोर गेट काफी सामान्य हैं, हालांकि वे तार्किक रूप से 2-इनपुट गेट के कैस्केड के बराबर हैं। अन्य सभी ऑपरेटरों को उपरोक्त तार्किक गेट्स के 2 या अधिक के तार्किक समकक्ष संयोजन में तोड़कर कार्यान्वित किया जाता है। | ||
नैण्ड अकेले, नोर अकेले, और नॉट और एंड की तार्किक तुल्यता [[ट्यूरिंग तुल्यता (गणना का सिद्धांत)]] के समान है। | |||
तथ्य यह है कि सभी सत्य फलनों को अकेले | तथ्य यह है कि सभी सत्य फलनों को अकेले नोर के साथ व्यक्त किया जा सकता है, [[अपोलो मार्गदर्शन कंप्यूटर]] द्वारा प्रदर्शित किया गया है। | ||
== यह भी देखें == | == यह भी देखें == | ||
| Line 337: | Line 337: | ||
{{Classical logic}} | {{Classical logic}} | ||
{{Logical truth}} | {{Logical truth}} | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category:Created On 01/03/2023]] | [[Category:Created On 01/03/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Multi-column templates]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages that use a deprecated format of the math tags]] | |||
[[Category:Pages using div col with small parameter]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal templates with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[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 articles incorporating text from PlanetMath|सत्य फलन]] | |||
[[Category:Wikipedia fully protected templates|Div col]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:गणितीय तर्क]] | |||
[[Category:सच]] | |||
Latest revision as of 16:08, 16 March 2023
तर्क में, सत्य फलन[1] एक ऐसा फलन (गणित) है जो सत्य मानों को इनपुट के रूप में स्वीकार करता है और आउटपुट के रूप में अद्वितीय सत्य मान उत्पन्न करता है। दूसरे शब्दों में: सत्य फलन के इनपुट और आउटपुट सभी सत्य मान हैं; सत्य फलन हमेशा सत्य मान का उत्पादन करेगा; और समान सत्य मान (ओं) को इनपुट करने से हमेशा समान सत्य मान का उत्पादन होगा। विशिष्ट उदाहरण प्रस्ताविक कलन में है, जिसमें तार्किक संयोजकों द्वारा जुड़े अलग-अलग कथनों का उपयोग करके यौगिक कथन का निर्माण किया जाता है; यदि मिश्रित कथन का सत्य मान घटक कथन(नों) के सत्य मान द्वारा पूरी तरह से निर्धारित किया जाता है, तो मिश्रित कथन को सत्य फलन कहा जाता है, और उपयोग किए गए किसी भी तार्किक संयोजक को सत्य कार्यात्मक कहा जाता है।[2]
शास्त्रीय तर्क सत्य-कार्यात्मक तर्क है,[3] इसमें प्रत्येक कथन का सत्य मान होता है जो या तो सत्य या असत्य होता है, और प्रत्येक तार्किक संयोजक सत्य कार्यात्मक होता है ( संगत सत्य तालिका के साथ), इस प्रकार प्रत्येक यौगिक कथन सत्य फलन है।[4] दूसरी ओर, मॉडल तर्क गैर-सत्य-कार्यात्मक है।
अवलोकन
एक तार्किक संयोजक सत्य-कार्यात्मक होता है यदि एक यौगिक वाक्य का सत्य-मूल्य उसके उप-वाक्यों के सत्य-मूल्य का एक कार्य है। संयोजकों का एक वर्ग सत्य-कार्यात्मक होता है यदि उसका प्रत्येक सदस्य है। उदाहरण के लिए संयोजी "और" सत्य-कार्यात्मक है क्योंकि "सेब फल हैं और गाजर सब्जियां हैं" जैसे वाक्य सत्य हैं, और केवल यदि इसके प्रत्येक उप-वाक्य "सेब फल हैं" और "गाजर सब्जियां हैं" सत्य हैं , और यह अन्यथा झूठा है। एक प्राकृतिक भाषा के कुछ संयोजक, जैसे अंग्रेजी, सत्य-कार्यात्मक नहीं हैं।
"x का मानना है कि ..." स्वरूप के संयोजक उन संयोजकों के विशिष्ट उदाहरण हैं जो सत्य-कार्यात्मक नहीं हैं। यदि उदा. मैरी गलती से मानती है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे, लेकिन वह नहीं मानती कि चांद हरे पनीर से बना है, तो वाक्य
- मैरी का मानना है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे
जबकि सत्य है
- मैरी का मानना है कि चांद हरी चीज से बना है
गलत है। दोनों ही मामलों में, प्रत्येक घटक वाक्य (अर्थात अल गोर 20 अप्रैल, 2000 को संयुक्त राज्य अमेरिका के राष्ट्रपति थे और चंद्रमा हरे पनीर से बना है) झूठा है, लेकिन वाक्यांश मैरी के उपसर्ग द्वारा गठित प्रत्येक यौगिक वाक्य का मानना है कि सत्य-मान में भिन्न है . यही है, फॉर्म के वाक्य का सत्य-मान मैरी का मानना है कि ... केवल इसके घटक वाक्य के सत्य-मान से निर्धारित नहीं होता है, और इसलिए (ात्मक) तार्किक संयोजक (या केवल संकारक क्योंकि यह एकात्मक है) गैर-सत्य-कार्यात्मक है।
सूत्रों के निर्माण में उपयोग किए जाने वाले क्लासिकल तार्किक संयोजक (जैसे & (तार्किक), और → (मटेरियल कंडीशनल)) का वर्ग सत्य-कार्यात्मक है। तर्क के रूप में विभिन्न सत्य-मानों के लिए उनके मान सामान्यतः सत्य तालिकाओं द्वारा दिए जाते हैं। सत्य-कार्यात्मक प्रोपोज़िशनल कैलकुलस औपचारिक प्रणाली है जिसके सूत्रों की व्याख्या सत्य या असत्य के रूप में की जा सकती है।
द्विआधारी सत्य फलनों की तालिका
दो-मूल्यवान तर्क में, दो इनपुट P और Q के सोलह संभावित सत्य फलन हैं, जिन्हें बूलियन फलन भी कहा जाता है। इनमें से कोई भी कार्य शास्त्रीय तर्क में निश्चित तार्किक संयोजक की सत्य तालिका से मेल खाता है, जिसमें कई अध: पतन (गणित) मामले शामिल हैं। जैसे फलन जो इसके या दोनों तर्कों पर निर्भर नहीं करता है। संक्षिप्तता के लिए निम्नलिखित सत्य तालिकाओं में सत्य और असत्य को क्रमशः 1 और 0 के रूप में दर्शाया गया है।
|
| ||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||
