सत्य फलन: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|A function in Classical logic}} <!-- :''"Truth functional" redirects here. For the truth functional conditional, see Material conditional.'' IMHO by n...") |
No edit summary |
||
| (7 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|A function in Classical logic}} | {{Short description|A function in Classical logic}} | ||
[[तर्क]] में, सत्य फलन<ref>Roy T. Cook (2009). ''A Dictionary of Philosophical Logic'', p. 294: Truth Function. Edinburgh University Press.</ref> एक ऐसा फलन (गणित) है जो सत्य मानों को इनपुट के रूप में स्वीकार करता है और आउटपुट के रूप में अद्वितीय सत्य मान उत्पन्न करता है। दूसरे शब्दों में: सत्य फलन के इनपुट और आउटपुट सभी [[सत्य मूल्य|सत्य मान]] हैं; सत्य फलन हमेशा सत्य मान का उत्पादन करेगा; और समान सत्य मान (ओं) को इनपुट करने से हमेशा समान सत्य मान का उत्पादन होगा। विशिष्ट उदाहरण प्रस्ताविक कलन में है, जिसमें [[तार्किक संयोजक|तार्किक संयोजकों]] द्वारा जुड़े अलग-अलग कथनों का उपयोग करके यौगिक कथन का निर्माण किया जाता है; यदि मिश्रित कथन का सत्य मान घटक कथन(नों) के सत्य मान द्वारा पूरी तरह से निर्धारित किया जाता है, तो मिश्रित कथन को सत्य फलन कहा जाता है, और उपयोग किए गए किसी भी तार्किक संयोजक को सत्य कार्यात्मक कहा जाता है।<ref>Roy T. Cook (2009). ''A Dictionary of Philosophical Logic'', p. 295: Truth Functional. Edinburgh University Press.</ref> | |||
एक | |||
[[शास्त्रीय तर्क]] सत्य-कार्यात्मक तर्क है,<ref>[http://www.iep.utm.edu/prop-log/ Internet Encyclopedia of Philosophy: Propositional Logic], by Kevin C. Klement</ref> इसमें प्रत्येक कथन का सत्य मान होता है जो या तो सत्य या असत्य होता है, और प्रत्येक तार्किक संयोजक सत्य कार्यात्मक होता है ( संगत सत्य तालिका के साथ), इस प्रकार प्रत्येक यौगिक कथन सत्य फलन है।<ref>Roy T. Cook (2009). ''A Dictionary of Philosophical Logic'', p. 47: Classical Logic. Edinburgh University Press.</ref> दूसरी ओर, [[मॉडल तर्क]] गैर-सत्य-कार्यात्मक है। | |||
== अवलोकन == | |||
एक तार्किक संयोजक सत्य-कार्यात्मक होता है यदि एक यौगिक वाक्य का सत्य-मूल्य उसके उप-वाक्यों के सत्य-मूल्य का एक कार्य है। संयोजकों का एक वर्ग सत्य-कार्यात्मक होता है यदि उसका प्रत्येक सदस्य है। उदाहरण के लिए संयोजी "और" सत्य-कार्यात्मक है क्योंकि "सेब फल हैं और गाजर सब्जियां हैं" जैसे वाक्य सत्य हैं, और केवल यदि इसके प्रत्येक उप-वाक्य "सेब फल हैं" और "गाजर सब्जियां हैं" सत्य हैं , और यह अन्यथा झूठा है। एक प्राकृतिक भाषा के कुछ संयोजक, जैसे अंग्रेजी, सत्य-कार्यात्मक नहीं हैं। | |||
"x का मानना है कि ..." स्वरूप के संयोजक उन संयोजकों के विशिष्ट उदाहरण हैं जो सत्य-कार्यात्मक नहीं हैं। यदि उदा. मैरी गलती से मानती है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे, लेकिन वह नहीं मानती कि चांद हरे पनीर से बना है, तो वाक्य | |||
: मैरी का मानना है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे | : मैरी का मानना है कि अल गोर 20 अप्रैल 2000 को अमेरिका के राष्ट्रपति थे | ||
| Line 16: | Line 16: | ||
: मैरी का मानना है कि चांद हरी चीज से बना है | : मैरी का मानना है कि चांद हरी चीज से बना है | ||
गलत है। दोनों ही मामलों में, प्रत्येक घटक वाक्य (अर्थात अल गोर 20 अप्रैल, 2000 को संयुक्त राज्य अमेरिका के राष्ट्रपति थे और चंद्रमा हरे पनीर से बना है) झूठा है, लेकिन वाक्यांश मैरी के उपसर्ग द्वारा गठित प्रत्येक यौगिक वाक्य का मानना है कि सत्य- | गलत है। दोनों ही मामलों में, प्रत्येक घटक वाक्य (अर्थात अल गोर 20 अप्रैल, 2000 को संयुक्त राज्य अमेरिका के राष्ट्रपति थे और चंद्रमा हरे पनीर से बना है) झूठा है, लेकिन वाक्यांश मैरी के उपसर्ग द्वारा गठित प्रत्येक यौगिक वाक्य का मानना है कि सत्य-मान में भिन्न है . यही है, फॉर्म के वाक्य का सत्य-मान मैरी का मानना है कि ... केवल इसके घटक वाक्य के सत्य-मान से निर्धारित नहीं होता है, और इसलिए (ात्मक) तार्किक संयोजक (या केवल संकारक क्योंकि यह एकात्मक है) गैर-सत्य-कार्यात्मक है। | ||
सूत्रों के निर्माण में उपयोग किए जाने वाले क्लासिकल | सूत्रों के निर्माण में उपयोग किए जाने वाले क्लासिकल तार्किक संयोजक (जैसे & (तार्किक), और → (मटेरियल कंडीशनल)) का वर्ग सत्य-कार्यात्मक है। तर्क के रूप में विभिन्न सत्य-मानों के लिए उनके मान सामान्यतः सत्य तालिकाओं द्वारा दिए जाते हैं। [[ट्रुथ-फंक्शनल प्रोपोज़िशनल कैलकुलस|सत्य-कार्यात्मक प्रोपोज़िशनल कैलकुलस]] [[औपचारिक प्रणाली]] है जिसके सूत्रों की व्याख्या सत्य या असत्य के रूप में की जा सकती है। | ||
== द्विआधारी सत्य | == द्विआधारी सत्य फलनों की तालिका == | ||
दो-मूल्यवान तर्क में, दो इनपुट P और Q के सोलह संभावित सत्य | दो-मूल्यवान तर्क में, दो इनपुट P और Q के सोलह संभावित सत्य फलन हैं, जिन्हें [[बूलियन समारोह|बूलियन फलन]] भी कहा जाता है। इनमें से कोई भी कार्य शास्त्रीय तर्क में निश्चित तार्किक संयोजक की सत्य तालिका से मेल खाता है, जिसमें कई [[अध: पतन (गणित)]] मामले शामिल हैं। जैसे फलन जो इसके या दोनों तर्कों पर निर्भर नहीं करता है। संक्षिप्तता के लिए निम्नलिखित सत्य तालिकाओं में सत्य और असत्य को क्रमशः 1 और 0 के रूप में दर्शाया गया है। | ||
{| style="margin:1em auto; border: none;" | {| style="margin:1em auto; border: none;" | ||
| Line 211: | Line 211: | ||
== कार्यात्मक पूर्णता == | == कार्यात्मक पूर्णता == | ||
{{See also| | {{See also|कार्यात्मक पूर्णता}} | ||
क्योंकि | क्योंकि फलन को [[कार्यों की संरचना]] के रूप में व्यक्त किया जा सकता है, सत्य-कार्यात्मक तार्किक कलन को उपरोक्त सभी कार्यों के लिए [[कार्यात्मक पूर्णता]] होने के लिए समर्पित प्रतीकों की आवश्यकता नहीं है। यह कुछ यौगिक कथनों की तार्किक तुल्यता के रूप में प्रस्तावपरक कलन में व्यक्त किया गया है। उदाहरण के लिए, शास्त्रीय तर्क {{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> | ||
;एक तत्व: {↑}, {↓}। | ;एक तत्व: {↑}, {↓}। | ||
दो तत्व: <math>\{\vee, \neg\}</math>, <math>\{\wedge, \neg\}</math>, <math>\{\to, \neg\}</math>, <math>\{\gets, \neg\}</math>, <math>\{\to, \bot\}</math>, <math>\{\gets, \bot\}</math>, <math>\{\to, \nleftrightarrow\}</math>, <math>\{\gets, \nleftrightarrow\}</math>, <math>\{\to, \nrightarrow\}</math>, <math>\{\to, \nleftarrow\}</math>, <math>\{\gets, \nrightarrow\}</math>, <math>\{\gets, \nleftarrow\}</math>, <math>\{\nrightarrow, \neg\}</math>, <math>\{\nleftarrow, \neg\}</math>, <math>\{\nrightarrow, \top\}</math>, <math>\{\nleftarrow, \top\}</math>, <math>\{\nrightarrow, \leftrightarrow\}</math>, <math>\{\nleftarrow, \leftrightarrow\}</math>. | '''दो तत्व''': | ||
तीन तत्व: <math>\{\lor, \leftrightarrow, \bot\}</math>, <math>\{\lor, \leftrightarrow, \nleftrightarrow\}</math>, <math>\{\lor, \nleftrightarrow, \top\}</math>, <math>\{\land, \leftrightarrow, \bot\}</math>, <math>\{\land, \leftrightarrow, \nleftrightarrow\}</math>, <math>\{\land, \nleftrightarrow, \top\}</math>. | |||
<math>\{\vee, \neg\}</math>, <math>\{\wedge, \neg\}</math>, <math>\{\to, \neg\}</math>, <math>\{\gets, \neg\}</math>, <math>\{\to, \bot\}</math>, <math>\{\gets, \bot\}</math>, <math>\{\to, \nleftrightarrow\}</math>, <math>\{\gets, \nleftrightarrow\}</math>, <math>\{\to, \nrightarrow\}</math>, <math>\{\to, \nleftarrow\}</math>, <math>\{\gets, \nrightarrow\}</math>, <math>\{\gets, \nleftarrow\}</math>, <math>\{\nrightarrow, \neg\}</math>, <math>\{\nleftarrow, \neg\}</math>, <math>\{\nrightarrow, \top\}</math>, <math>\{\nleftarrow, \top\}</math>, <math>\{\nrightarrow, \leftrightarrow\}</math>, <math>\{\nleftarrow, \leftrightarrow\}</math>. | |||
'''तीन तत्व''': | |||
<math>\{\lor, \leftrightarrow, \bot\}</math>, <math>\{\lor, \leftrightarrow, \nleftrightarrow\}</math>, <math>\{\lor, \nleftrightarrow, \top\}</math>, <math>\{\land, \leftrightarrow, \bot\}</math>, <math>\{\land, \leftrightarrow, \nleftrightarrow\}</math>, <math>\{\land, \nleftrightarrow, \top\}</math>. | |||
== बीजगणितीय गुण == | == बीजगणितीय गुण == | ||
कुछ सत्य फलनों में ऐसे गुण होते हैं जिन्हें संगत संयोजक वाले प्रमेयों में अभिव्यक्त किया जा सकता है। उन गुणों में से कुछ जो | कुछ सत्य फलनों में ऐसे गुण होते हैं जिन्हें संगत संयोजक वाले प्रमेयों में अभिव्यक्त किया जा सकता है। उन गुणों में से कुछ जो द्विआधारी सत्य फलन (या संबंधित तार्किक संयोजक) हो सकते हैं: | ||
* साहचर्य: | * साहचर्य: पंक्ति में ही साहचर्य संयोजकों के दो या दो से अधिक अभिव्यक्ति के भीतर, संचालन का क्रम तब तक मायने नहीं रखता जब तक कि संचालन का क्रम नहीं बदला जाता है। | ||
*[[ क्रमविनिमेयता ]]: अभिव्यक्ति के सत्य- | *[[ क्रमविनिमेयता ]]: अभिव्यक्ति के सत्य-मान को प्रभावित किए बिना संयोजी के संचालन की अदला-बदली की जा सकती है। | ||
*[[वितरण]]: | *[[वितरण]]: संयोजी द्वारा निरूपित · वितरित अन्य संयोजक पर + द्वारा निरूपित किया जाता है, यदि ''a'' · (''b'' + ''c'') = (''a'' · ''b'') + (''a'' · ''c'') सभी ऑपरेंड ''a'', ''b'', ''c'' के लिए। | ||
*[[idempotence]]: जब भी ऑपरेशन के ऑपरेंड समान होते हैं, तो संयोजी परिणाम के रूप में ऑपरेंड देता है। दूसरे शब्दों में, ऑपरेशन सत्य-संरक्षण और असत्य-संरक्षण | *[[idempotence|इडेमपोटेंस]]: जब भी ऑपरेशन के ऑपरेंड समान होते हैं, तो संयोजी परिणाम के रूप में ऑपरेंड देता है। दूसरे शब्दों में, ऑपरेशन सत्य-संरक्षण और असत्य-संरक्षण (नीचे देखें) दोनों है। | ||
*[[अवशोषण कानून]]: संयोजकों की | *[[अवशोषण कानून]]: संयोजकों की जोड़ी <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>. | ||
*स्वयं द्वैत: इसकी सत्य तालिका पर ऊपर से नीचे तक संचालन के लिए सत्य- | *स्वयं द्वैत: इसकी सत्य तालिका पर ऊपर से नीचे तक संचालन के लिए सत्य-मान असाइनमेंट को पढ़ने के लिए इसे नीचे से ऊपर तक पढ़ने के पूरक के समान है; दूसरे शब्दों में, ''f''(¬''a''<sub>1</sub>, ..., ¬''a<sub>n</sub>'') = ¬''f''(''a''<sub>1</sub>, ..., ''a<sub>n</sub>''). जैसे, <math>\neg</math>. | ||
*सत्य-संरक्षण: व्याख्या जिसके तहत सभी चरों को 'सत्य' का सत्य मान दिया जाता है, इन परिचालनों के परिणामस्वरूप 'सत्य' का सत्य मान उत्पन्न करता है। जैसे, <math>\vee, \wedge, \top, \rightarrow, \leftrightarrow, \subset</math>. (देखें [[वैधता (तर्क)]]) | *सत्य-संरक्षण: व्याख्या जिसके तहत सभी चरों को 'सत्य' का सत्य मान दिया जाता है, इन परिचालनों के परिणामस्वरूप 'सत्य' का सत्य मान उत्पन्न करता है। जैसे, <math>\vee, \wedge, \top, \rightarrow, \leftrightarrow, \subset</math>. (देखें [[वैधता (तर्क)]]) | ||
*झूठ-संरक्षण: व्याख्या जिसके तहत सभी चरों को 'गलत' का सत्य मान दिया जाता है, इन परिचालनों के परिणामस्वरूप 'गलत' का सत्य मान पैदा करता है। जैसे, <math>\vee, \wedge, \nleftrightarrow, \bot, \not\subset, \not\supset</math>. (देखें वैधता (तर्क)) | *झूठ-संरक्षण: व्याख्या जिसके तहत सभी चरों को 'गलत' का सत्य मान दिया जाता है, इन परिचालनों के परिणामस्वरूप 'गलत' का सत्य मान पैदा करता है। जैसे, <math>\vee, \wedge, \nleftrightarrow, \bot, \not\subset, \not\supset</math>. (देखें वैधता (तर्क)) | ||
| Line 241: | Line 246: | ||
{{See also|arity}} | {{See also|arity}} | ||
हालांकि, | ठोस कार्य को ऑपरेटर के रूप में भी संदर्भित किया जा सकता है। दो-मूल्यवान तार्किक में 2 नलरी ऑपरेटर (स्थिरांक), 4 [[ एकात्मक ऑपरेशन |एकात्मक ऑपरेशन]] , 16 [[बाइनरी ऑपरेशन]], 256 [[टर्नरी ऑपरेशन]] और <math>2^{2^n}</math> एन-आरी ऑपरेटर होते हैं। तीन-मूल्यवान तार्किक में 3 नलरी ऑपरेटर (स्थिरांक), 27 यूनरी ऑपरेशन, 19683 बाइनरी ऑपरेशन, 7625597484987 टर्नरी ऑपरेशन और <math>3^{3^n}</math> एन-आरी ऑपरेटर होते हैं। के-मानों तार्किक में, के न्यूलरी ऑपरेटर्स होते हैं, <math>k^k</math> यूनरी ऑपरेटर्स, <math>k^{k^2}</math> बाइनरी ऑपरेटर्स, <math>k^{k^3}</math> त्रिगुट ऑपरेटरों, और <math>k^{k^n}</math> एन-आरी ऑपरेटर होते हैं। के-मूल्यवान तर्क में एन-आरी ऑपरेटर कार्य <math>\mathbb{Z}_k^n \to \mathbb{Z}_k</math> हैं। इसलिए, ऐसे ऑपरेटरों की संख्या <math>|\mathbb{Z}_k|^{|\mathbb{Z}_k^n|} = k^{k^n}</math> है, जिससे उपरोक्त संख्याएँ प्राप्त हुईं। | ||
हालांकि, विशेष एरिटी के कुछ ऑपरेटर वास्तव में पतित रूप हैं जो कुछ इनपुट पर लोअर-एरिटी ऑपरेशन करते हैं और बाकी इनपुट को अनदेखा करते हैं। ऊपर उद्धृत 256 टर्नरी बूलियन ऑपरेटरों में से, <math>\binom{3}{2}\cdot 16 - \binom{3}{1}\cdot 4 + \binom{3}{0}\cdot 2</math> उनमें से बाइनरी या लोअर-एरिटी ऑपरेटरों के ऐसे पतित रूप हैं, जो समावेशन-बहिष्करण सिद्धांत का उपयोग करते हैं। टर्नरी ऑपरेटर <math>f(x,y,z)=\lnot x</math> ऐसा ऑपरेटर है जो वास्तव में इनपुट पर लागू यूनरी ऑपरेटर है, और अन्य दो इनपुट को अनदेखा कर रहा है। | |||
निषेध| नहीं | निषेध| नहीं ल संक्रिया है, इसमें शब्द (¬P) लगता है। बाकी बाइनरी ऑपरेशन हैं, मिश्रित कथन (पी ∧ क्यू, पी ∨ क्यू, पी → क्यू, पी ↔ क्यू) बनाने के लिए दो शब्द लेते हैं। | ||
तार्किक ऑपरेटरों का सेट {{math|Ω}} किसी सेट का असंयुक्त उपसमुच्चय में निम्नानुसार विभाजन हो सकता है: | तार्किक ऑपरेटरों का सेट {{math|Ω}} किसी सेट का असंयुक्त उपसमुच्चय में निम्नानुसार विभाजन हो सकता है: | ||
| Line 252: | Line 258: | ||
इस विभाजन में, <math>\Omega_j</math> एरिटी के ऑपरेटर प्रतीकों का सेट है {{mvar|j}}. | इस विभाजन में, <math>\Omega_j</math> एरिटी के ऑपरेटर प्रतीकों का सेट है {{mvar|j}}. | ||
अधिक परिचित प्रस्तावात्मक गणना में, <math>\Omega</math> | अधिक परिचित प्रस्तावात्मक गणना में, <math>\Omega</math> सामान्यतः निम्नानुसार विभाजित किया जाता है: | ||
::: अशक्त संचालक: <math>\Omega_0 = \{\bot, \top \} </math> | ::: अशक्त संचालक: <math>\Omega_0 = \{\bot, \top \} </math> | ||
| Line 261: | Line 267: | ||
== [[रचना का सिद्धांत]] == | == [[रचना का सिद्धांत]] == | ||
सत्य तालिकाओं का उपयोग करने के | सत्य तालिकाओं का उपयोग करने के अतिरिक्त, तार्किक संयोजी प्रतीकों की व्याख्या व्याख्या फलन और सत्य-कार्यों के कार्यात्मक रूप से पूर्ण सेट (गैमट 1991) के माध्यम से की जा सकती है, जैसा कि अर्थ की संरचना के सिद्धांत द्वारा विस्तृत किया गया है। | ||
चलो मैं | चलो मैं व्याख्या कार्य करता हूं, चलो Φ, Ψ कोई भी दो वाक्य हो और सत्य को कार्य करने दें 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 285: | 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 | इस प्रकार यदि 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 या अधिक के तार्किक समकक्ष संयोजन में तोड़कर कार्यान्वित किया जाता है। | |||
नैण्ड अकेले, | |||