डी मॉर्गन के नियम: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(14 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Pair of logical equivalences}}
{{Short description|Pair of logical equivalences}}
[[File:Demorganlaws.svg|thumb|डी मॉर्गन के नियमों को वेन आरेखों के साथ दर्शाया गया है। प्रत्येक विषय में, परिणामी सेट नीले रंग की किसी भी छाया में सभी बिंदुओं का सेट होता है।]]
[[File:Demorganlaws.svg|thumb|डी मॉर्गन के नियमों को वेन आरेखों के साथ प्रदर्शित किया गया है। प्रत्येक विषय में, परिणामी समुच्चय नीले रंग की किसी भी छाया में सभी बिंदुओं का समुच्चय होता है।]]


{{Transformation rules}}
{{Transformation rules}}


[[प्रस्तावात्मक कलन]] एवं [[बूलियन बीजगणित]] में, डी मॉर्गन के नियम,<ref>{{Cite book |last=Copi |first=Irving M. |url=https://www.taylorfrancis.com/books/mono/10.4324/9781315510897/introduction-logic-irving-copi-carl-cohen-kenneth-mcmahon |title=तर्क का परिचय|last2=Cohen |first2=Carl |last3=McMahon |first3=Kenneth |doi=10.4324/9781315510897}}</ref><ref>{{citation|first=Patrick J.|last=Hurley|title=A Concise Introduction to Logic|edition=12th|publisher=Cengage Learning|year=2015|isbn=978-1-285-19654-1}}</ref><ref>{{Cite book |last=Moore |first=Brooke Noel |url=https://www.worldcat.org/oclc/689858599 |title=महत्वपूर्ण सोच|date=2012 |publisher=McGraw-Hill |others=Richard Parker |isbn=978-0-07-803828-0 |edition=10th |location=New York |oclc=689858599}}</ref> डी मॉर्गन प्रमेय के रूप में भी जाना जाता है,<ref>[http://hyperphysics.phy-astr.gsu.edu/hbase/Electronic/DeMorgan.html DeMorgan's [sic] Theorem]</ref> परिवर्तन नियमों की जोड़ी है जो अनुमान की [[वैधता (तर्क)]] नियम दोनों हैं। इनका नाम 19वीं सदी के ब्रिटिश गणितज्ञ [[ऑगस्टस डीमॉर्गन]] के नाम पर रखा गया है। नियम [[तार्किक संयोजन]] एवं [[तार्किक विच्छेद]]न की अभिव्यक्ति को [[तार्किक निषेध]] के माध्यम से  दूसरे के संदर्भ में पूरी तरह से अनुमति देते हैं।
[[प्रस्तावात्मक कलन]] एवं [[बूलियन बीजगणित]] में, '''डी मॉर्गन के नियम''',<ref>{{Cite book |last=Copi |first=Irving M. |url=https://www.taylorfrancis.com/books/mono/10.4324/9781315510897/introduction-logic-irving-copi-carl-cohen-kenneth-mcmahon |title=तर्क का परिचय|last2=Cohen |first2=Carl |last3=McMahon |first3=Kenneth |doi=10.4324/9781315510897}}</ref><ref>{{citation|first=Patrick J.|last=Hurley|title=A Concise Introduction to Logic|edition=12th|publisher=Cengage Learning|year=2015|isbn=978-1-285-19654-1}}</ref><ref>{{Cite book |last=Moore |first=Brooke Noel |url=https://www.worldcat.org/oclc/689858599 |title=महत्वपूर्ण सोच|date=2012 |publisher=McGraw-Hill |others=Richard Parker |isbn=978-0-07-803828-0 |edition=10th |location=New York |oclc=689858599}}</ref>जिसे डी मॉर्गन प्रमेय के रूप में भी जाना जाता है,<ref>[http://hyperphysics.phy-astr.gsu.edu/hbase/Electronic/DeMorgan.html DeMorgan's [sic] Theorem]</ref> परिवर्तन नियमों की ऐसी जोड़ी है जो अनुमान के दोनों [[वैधता (तर्क)|वैध]] नियम हैं। इनका नाम 19वीं सदी के ब्रिटिश गणितज्ञ [[ऑगस्टस डीमॉर्गन]] के नाम पर रखा गया है। नियम [[तार्किक संयोजन|संयोजन]] एवं [[तार्किक विच्छेद]]न की अभिव्यक्ति को [[तार्किक निषेध]] के माध्यम से  दूसरे के संदर्भ में पूर्ण रूप से अनुमति देते हैं।


नियमों को अंग्रेजी में इस प्रकार व्यक्त किया जा सकता है:
नियमों को अंग्रेजी में इस प्रकार व्यक्त किया जा सकता है:
* विच्छेद का निषेध निषेध का समुच्चय है
* विच्छेद का निषेध निषेध का समुच्चय है।
*संचय का निषेध निषेध का विच्छेद है
*संचय का निषेध निषेध का विच्छेद है।
या
या
* दो समुच्चयों के मिलन का [[पूरक (सेट सिद्धांत)]] उनके पूरकों के प्रतिच्छेदन के समान है
* दो समुच्चयों के मिलन का [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] उनके पूरकों के प्रतिच्छेदन के समान है।
* दो समुच्चयों के प्रतिच्छेदन का पूरक उनके पूरकों के मिलन के समान है
* दो समुच्चयों के प्रतिच्छेदन का पूरक उनके पूरकों के मिलन के समान है।
या
या
*नहीं (ए या बी) = (ए नहीं) एवं (बी नहीं)
*not (A or B) = (not A) and (not B)
*नहीं (ए एवं बी) = (ए नहीं) या (बी नहीं)
*not (A and B) = (not A) or ( not B)
जहां या बी  समावेशी है या इसका तात्पर्य [[एकमात्र|मात्र]] बजाय ए या बी में से कम से कम है या इसका तात्पर्य बिल्कुल या बी में से है।
जहां A या B समावेशी है या इसका तात्पर्य [[एकमात्र|अनन्य या]] के अतिरिक्त A या B में से कम से कम एक है या इसका तात्पर्य बिल्कुल A या B में से कोई है।


सेट सिद्धांत एवं [[बूलियन बीजगणित (तर्क)]] में, इन्हें औपचारिक रूप से लिखा जाता है
समुच्चय सिद्धांत एवं [[बूलियन बीजगणित (तर्क)]] में, इन्हें औपचारिक रूप से लिखा जाता है
:<math>\begin{align}
:<math>\begin{align}
   \overline{A \cup B} &= \overline{A} \cap \overline{B}, \\
   \overline{A \cup B} &= \overline{A} \cap \overline{B}, \\
   \overline{A \cap B} &= \overline{A} \cup \overline{B},
   \overline{A \cap B} &= \overline{A} \cup \overline{B},
\end{align}</math>
\end{align}</math>
कहाँ
जहाँ
* <math>A</math> एवं <math>B</math> सेट हैं,
* <math>A</math> एवं <math>B</math> समुच्चय हैं,
* <math>\overline{A}</math> का पूरक है <math>A</math>,
* <math>\overline{A}</math>, <math>A</math> का पूरक है,
* <math>\cap</math> इंटरसेक्शन (सेट सिद्धांत) है, एवं
* <math>\cap</math> इंटरसेक्शन (समुच्चय सिद्धांत) है, एवं
* <math>\cup</math> [[संघ (सेट सिद्धांत)]] है.
* <math>\cup</math> [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] है।
[[File:In Quest of Univeral Logic Morgan.png|right|thumbnail|400px|¬φ ∨ ¬ψ एवं ¬(φ ∧ ψ) की समतुल्यता इस सत्य तालिका में प्रदर्शित की गई है।<ref name="Quest_Univeral_Logic ">
[[File:In Quest of Univeral Logic Morgan.png|right|thumbnail|400px|¬φ ∨ ¬ψ एवं ¬(φ ∧ ψ) की समतुल्यता इस सत्य तालिका में प्रदर्शित की गई है।<ref name="Quest_Univeral_Logic ">
{{citation
{{citation
Line 38: Line 38:
एवं
एवं
:<math>\neg(P\land Q)\iff(\neg P)\lor(\neg Q)</math>
:<math>\neg(P\land Q)\iff(\neg P)\lor(\neg Q)</math>
कहाँ
जहाँ
* P एवं Q प्रस्ताव हैं,
* P एवं Q प्रस्ताव हैं,
* निषेध|<math>\neg</math>निषेध तर्क ऑपरेटर है (नहीं),
* <math>\neg</math> निषेध तर्क ऑपरेटर (NOT) है,
*तार्किक संयोजन|<math>\land</math>संयोजन तर्क संचालिका (AND) है,
*<math>\land</math> संयोजन तर्क संचालिका (AND) है,
* तार्किक विच्छेदन|<math>\lor</math>डिसजंक्शन लॉजिक ऑपरेटर (OR) है,
* <math>\lor</math> विच्छेदन लॉजिक ऑपरेटर (OR) है,
* यदि एवं केवल यदि|<math>\iff</math> धातु विज्ञान प्रतीक है जिसका अर्थ [[औपचारिक प्रमाण]] में प्रतिस्थापित किया जा सकता है, जिसे प्रायः यदि एवं केवल यदि के रूप में पढ़ा जाता है। पी एवं क्यू के लिए सही/गलत मानों के किसी भी संयोजन के लिए, मूल्यांकन के पश्चात तीर के बाएँ एवं दाएँ पक्ष समान सत्य मान रखेंगे।
* <math>\iff</math>धातु विज्ञान प्रतीक है जिसका अर्थ [[औपचारिक प्रमाण]] में प्रतिस्थापित किया जा सकता है, जिसे प्रायः यदि एवं केवल यदि के रूप में पढ़ा जाता है। P एवं Q के लिए त्रुटिहीन/त्रुटिपूर्ण मानों के किसी भी संयोजन के लिए, मूल्यांकन के पश्चात तीर के बाएँ एवं दाएँ पक्ष समान सत्य मान रखते हैं।
[[File:De Morgan's law with set subtraction operation.png|thumb|सेट घटाव ऑपरेशन के साथ डी मॉर्गन का नियम।]]डी मॉर्गन के नियम का दूसरा रूप निम्नलिखित है जैसा कि सही चित्र में देखा गया है।
[[File:De Morgan's law with set subtraction operation.png|thumb|समुच्चय घटाव ऑपरेशन के साथ डी मॉर्गन का नियम है।]]डी मॉर्गन के नियम का दूसरा रूप निम्नलिखित है जैसा कि उचित चित्र में देखा गया है।
:<math>A -(B \cup C) = (A - B) \cap (A - C),</math>
:<math>A -(B \cup C) = (A - B) \cap (A - C),</math>
:<math>A -(B \cap C) = (A - B) \cup (A - C).</math>
:<math>A -(B \cap C) = (A - B) \cup (A - C).</math>
नियमों के अनुप्रयोगों में [[कंप्यूटर प्रोग्राम]] एवं डिजिटल परिपथ डिजाइन में तार्किक [[अभिव्यक्ति (कंप्यूटर विज्ञान)]] का सरलीकरण शामिल है। डी मॉर्गन के नियम [[द्वैत (गणित)]] की अधिक सामान्य अवधारणा का उदाहरण हैं।
नियमों के अनुप्रयोगों में [[कंप्यूटर प्रोग्राम]] एवं डिजिटल परिपथ डिजाइन में तार्किक [[अभिव्यक्ति (कंप्यूटर विज्ञान)|अभिव्यक्तियों]] का सरलीकरण सम्मिलित है। डी मॉर्गन के नियम [[द्वैत (गणित)]] की अधिक सामान्य अवधारणा का उदाहरण हैं।


==औपचारिक संकेतन==
==औपचारिक संकेतन==
Line 60: Line 60:
:<math>(\neg P \land \neg Q) \vdash \neg(P \lor Q)</math>.
:<math>(\neg P \land \neg Q) \vdash \neg(P \lor Q)</math>.


अनुमान के नियम में : समुच्चयबोधक का निषेध
अनुमान के नियम में: समुच्चयबोधक का निषेध
:<math>\frac{\neg (P \land Q)}{\therefore \neg P \lor \neg Q}</math>
:<math>\frac{\neg (P \land Q)}{\therefore \neg P \lor \neg Q}</math>
:<math>\frac{\neg P \lor \neg Q}{\therefore \neg (P \land Q)}</math>
:<math>\frac{\neg P \lor \neg Q}{\therefore \neg (P \land Q)}</math>
Line 74: Line 74:
   (\neg P \land \neg Q) &\to \neg (P \lor Q),
   (\neg P \land \neg Q) &\to \neg (P \lor Q),
\end{align}</math>
\end{align}</math>
कहाँ <math>P</math> एवं <math>Q</math> कुछ औपचारिक प्रणाली में व्यक्त किए गए प्रस्ताव हैं।
जहाँ <math>P</math> एवं <math>Q</math> कुछ औपचारिक प्रणाली में व्यक्त किए गए प्रस्ताव हैं।


===प्रतिस्थापन प्रपत्र===
===प्रतिस्थापन प्रपत्र===
डी मॉर्गन के नियम आम तौर पर ऊपर संक्षिप्त रूप में दिखाए जाते हैं, जिसमें बाईं ओर आउटपुट का निषेध एवं दाईं ओर इनपुट का निषेध होता है। प्रतिस्थापन के लिए  स्पष्ट रूप इस प्रकार बताया जा सकता है:
डी मॉर्गन के नियम सामान्यतः ऊपर संक्षिप्त रूप में दिखाए जाते हैं, जिसमें बाईं ओर आउटपुट का निषेध एवं दाईं ओर इनपुट का निषेध होता है। प्रतिस्थापन के लिए  स्पष्ट रूप इस प्रकार बताया जा सकता है:


:<math>\begin{align}
:<math>\begin{align}
   (P \land Q) &\Longleftrightarrow \neg (\neg P \lor \neg Q), \\
   (P \land Q) &\Longleftrightarrow \neg (\neg P \lor \neg Q), \\
   (P \lor Q) &\Longleftrightarrow \neg (\neg P \land \neg Q).
   (P \lor Q) &\Longleftrightarrow \neg (\neg P \land \neg Q),
\end{align}</math>
\end{align}</math>
यह इनपुट एवं आउटपुट दोनों को उलटने की आवश्यकता पर जोर देता है, साथ ही प्रतिस्थापन करते समय ऑपरेटर को भी बदलता है।
यह इनपुट एवं आउटपुट दोनों को विपरीत करने की आवश्यकता पर बल देता है, साथ ही प्रतिस्थापन करते समय ऑपरेटर को भी परिवर्तित करता है।


कानूनों में  महत्वपूर्ण अंतर है (<math>\neg(\neg p) \iff p</math>) दोहरा निषेध कानून। <math>\mathbb{L}</math>,  औपचारिक तर्क प्रणाली बनने के लिए: <math>\ p, q, r, ...., \emptyset \in \mathbb{L}\ </math> अनुक्रम उन प्रतीकों की रिपोर्ट करता है जिन्हें पहले क्रम में अच्छी तरह से परिभाषित किया गया है। उसी प्रणाली में वे संयोजन हैं: <math>C_{|j}:x\ |\ x \in set :: \{\land, \lor, \iff, \vdash\}</math>. ज़ाहिर तौर से, <math>C_{|j} = set, \ x \in C_{|j}</math> वैध ज्ञान है, तो कम से कम तो है <math>x</math> संयोजन, जो -<math>T </math> संख्या - सत्य तालिका में, मूल प्रस्ताव <math>x</math>- परमाणु अस्तित्व के संदर्भ के समान है <math>x</math>, निश्चित रूप से के अनुसार <math>\forall x:(\mathbb{L}\vDash \forall c \subsetneq C_{|j}, \ x\in c)</math> ज्ञान। हमने तुल्यता सिद्धांत पर विचार किया, तर्क पर। इस बिंदु पर, डी मॉर्गन नियम परमाणु संदर्भ में ऊपर या नीचे की ओर प्रभाव दिखाते हैं <math>x</math>.<ref>{{cite web |last1=Hayes |first1=Andy |last2=Wu |first2=Vincent |title=डी मॉर्गन के नियम|url=https://brilliant.org/wiki/de-morgans-laws/ |website=brilliant.org/}}</ref>
कानूनों में  महत्वपूर्ण अंतरm (<math>\neg(\neg p) \iff p</math>) दोहरा निषेध कानून है। <math>\mathbb{L}</math>,  औपचारिक तर्क प्रणाली बनने के लिए: <math>\ p, q, r, ...., \emptyset \in \mathbb{L}\ </math>अनुक्रम उन प्रतीकों की रिपोर्ट करता है जिन्हें पूर्व क्रम में उचित प्रकार से परिभाषित किया गया है। उसी प्रणाली में वे संयोजन हैं: <math>C_{|j}:x\ |\ x \in set :: \{\land, \lor, \iff, \vdash\}</math>, सामान्य रूप से, <math>C_{|j} = set, \ x \in C_{|j}</math> वैध ज्ञान है, तो  <math>x</math> संयोजन, जो -<math>T </math> संख्या - सत्य तालिका में, मूल प्रस्ताव <math>x</math>- परमाणु निश्चित रूप से <math>\forall x:(\mathbb{L}\vDash \forall c \subsetneq C_{|j}, \ x\in c)</math> ज्ञान के अनुसार अस्तित्व के संदर्भ के समान है। हमने तुल्यता सिद्धांत पर विचार किया इस बिंदु पर, डी मॉर्गन नियम <math>x</math> के परमाणु संदर्भ में ऊपर या नीचे की ओर प्रभाव दिखाते हैं .<ref>{{cite web |last1=Hayes |first1=Andy |last2=Wu |first2=Vincent |title=डी मॉर्गन के नियम|url=https://brilliant.org/wiki/de-morgans-laws/ |website=brilliant.org/}}</ref>


'''सेट सिद्धांत एवं बूलियन बीजगणित'''
'''समुच्चय सिद्धांत एवं बूलियन बीजगणित'''


सेट सिद्धांत एवं बूलियन बीजगणित (तर्क) में, इसे प्रायः पूरकता के तहत संघ एवं प्रतिच्छेदन इंटरचेंज के रूप में कहा जाता है,<ref>''Boolean Algebra'' by R. L. Goodstein. {{ISBN|0-486-45894-6}}</ref> जिसे औपचारिक रूप से इस प्रकार व्यक्त किया जा सकता है:
समुच्चय सिद्धांत एवं बूलियन बीजगणित (तर्क) में, इसे प्रायः पूरकता के अंतर्गत संघ एवं प्रतिच्छेदन इंटरचेंज के रूप में कहा जाता है,<ref>''Boolean Algebra'' by R. L. Goodstein. {{ISBN|0-486-45894-6}}</ref> जिसे औपचारिक रूप से इस प्रकार व्यक्त किया जा सकता है:
:<math>\begin{align}
:<math>\begin{align}
   \overline{A \cup B} &= \overline{A} \cap \overline{B}, \\
   \overline{A \cup B} &= \overline{A} \cap \overline{B}, \\
   \overline{A \cap B} &= \overline{A} \cup \overline{B},
   \overline{A \cap B} &= \overline{A} \cup \overline{B},
\end{align}</math>
\end{align}</math>
कहाँ:
जहाँ:
* <math>\overline{A}</math> का निषेध है <math>A</math>, अस्वीकृत की जाने वाली शर्तों के ऊपर [[ओवरलाइन]] लिखी जा रही है,
* <math>A</math> का निषेध <math>\overline{A}</math> है, अस्वीकृत की जाने वाली शर्तों के ऊपर [[ओवरलाइन]] लिखी जा रही है,
* <math>\cap</math> इंटरसेक्शन (सेट थ्योरी) ऑपरेटर (AND) है,
* <math>\cap</math> इंटरसेक्शन (समुच्चय थ्योरी) ऑपरेटर (AND) है,
* <math>\cup</math> यूनियन (सेट थ्योरी) ऑपरेटर (OR) है।
* <math>\cup</math> यूनियन (समुच्चय थ्योरी) ऑपरेटर (OR) है।


==== किसी भी संख्या में सेट के संघ एवं प्रतिच्छेदन ====
==== किसी भी संख्या में समुच्चय के संघ एवं प्रतिच्छेदन ====
सामान्यीकृत रूप है
सामान्यीकृत रूप  
: <math>\begin{align}
: <math>\begin{align}
   \overline{\bigcap_{i \in I} A_{i}} &\equiv \bigcup_{i \in I} \overline{A_{i}}, \\
   \overline{\bigcap_{i \in I} A_{i}} &\equiv \bigcup_{i \in I} \overline{A_{i}}, \\
   \overline{\bigcup_{i \in I} A_{i}} &\equiv \bigcap_{i \in I} \overline{A_{i}},
   \overline{\bigcup_{i \in I} A_{i}} &\equiv \bigcap_{i \in I} \overline{A_{i}}
\end{align}</math>
\end{align}</math> है,
कहाँ {{math|''I''}} कुछ, संभवतः गणनीय या बेशुमार अनंत, अनुक्रमण सेट है।
जहाँ {{math|''I''}} कुछ, संभवतः गणनीय अनंत, अनुक्रमण समुच्चय है।


सेट नोटेशन में, डी मॉर्गन के नियमों को स्मृति चिन्ह का उपयोग करके याद किया जा सकता है लाइन तोड़ो, संकेत बदलो।<ref>[https://books.google.com/books?id=NdAjEDP5mDsC&pg=PA81 ''2000 Solved Problems in Digital Electronics''] by S. P. Bali</ref>
समुच्चय नोटेशन में, डी मॉर्गन के नियमों को "लाइन तोड़ो, संकेत परिवर्तित करो" स्मृति चिन्ह का उपयोग करके याद किया जा सकता है।<ref>[https://books.google.com/books?id=NdAjEDP5mDsC&pg=PA81 ''2000 Solved Problems in Digital Electronics''] by S. P. Bali</ref>


'''इंजीनियरिंग'''
'''इंजीनियरिंग'''


[[ विद्युत अभियन्त्रण ]] एवं [[कंप्यूटर इंजीनियरिंग]] में, डी मॉर्गन के नियम आमतौर पर इस प्रकार लिखे जाते हैं:
[[ विद्युत अभियन्त्रण ]]एवं [[कंप्यूटर इंजीनियरिंग]] में, डी मॉर्गन के नियम सामान्यतः इस प्रकार लिखे जाते हैं:
: <math>\overline{(A \cdot B)} \equiv (\overline {A} + \overline {B})</math>
: <math>\overline{(A \cdot B)} \equiv (\overline {A} + \overline {B})</math>
एवं
एवं
: <math>\overline{A + B} \equiv \overline {A} \cdot \overline {B},</math>
: <math>\overline{A + B} \equiv \overline {A} \cdot \overline {B},</math>
कहाँ:
जहाँ:
* <math> \cdot </math> तार्किक एवं है,
* <math> \cdot </math> तार्किक AND है,
* <math>+</math> तार्किक है या,
* <math>+</math> तार्किक OR है,
*{{overline|overbar}} ओवरबार के नीचे जो है उसका तार्किक नहीं है।
*{{overline|overbar}} ओवरबार के नीचे जो है उसका तार्किक नहीं है।


===पाठ खोज===
===पाठ शोध===
डी मॉर्गन के नियम आमतौर पर बूलियन ऑपरेटरों AND, OR, एवं NOT का उपयोग करके पाठ खोज पर प्रस्तावित होते हैं। दस्तावेज़ों के  सेट पर विचार करें जिसमें बिल्लियाँ एवं कुत्ते शब्द शामिल हैं। डी मॉर्गन के कानून मानते हैं कि ये दोनों खोजें दस्तावेज़ों का ही सेट लौटाएंगी:
डी मॉर्गन के नियम सामान्यतः बूलियन ऑपरेटरों AND, OR, एवं NOT का उपयोग करके पाठ शोध पर प्रस्तावित होते हैं। प्रपत्रों के  समुच्चय पर विचार करें जिसमें बिल्लियाँ एवं कुत्ते शब्द सम्मिलित हैं। डी मॉर्गन के कानून मानते हैं कि ये दोनों शोधें प्रपत्रों का ही समुच्चय लौटाएंगी:


:खोज ए: नहीं (बिल्लियाँ या कुत्ते)
:शोध A: NOT (cats AND dogs)
:खोजें बी: (बिल्लियाँ नहीं) एवं (कुत्ते नहीं)
:शोधें B: (NOT cats) AND (NOT dogs)


बिल्लियों या कुत्तों वाले दस्तावेज़ों के संग्रह को चार दस्तावेज़ों द्वारा दर्शाया जा सकता है:
बिल्लियों या कुत्तों वाले प्रपत्रों के संग्रह को चार प्रपत्रों द्वारा प्रदर्शित किया जा सकता है:
:दस्तावेज़ 1: इसमें केवल बिल्लियाँ शब्द शामिल है।
:प्रपत्र 1: इसमें केवल बिल्लियाँ शब्द सम्मिलित है।
:दस्तावेज़ 2: इसमें केवल कुत्ते शामिल हैं।
:प्रपत्र 2: इसमें केवल कुत्ते सम्मिलित हैं।
:दस्तावेज़ 3: इसमें बिल्लियाँ एवं कुत्ते दोनों शामिल हैं।
:प्रपत्र 3: इसमें बिल्लियाँ एवं कुत्ते दोनों सम्मिलित हैं।
:दस्तावेज़ 4: इसमें न तो बिल्लियाँ हैं एवं न ही कुत्ते।
:प्रपत्र 4: इसमें न तो बिल्लियाँ एवं न ही कुत्ते सम्मिलित हैं।


खोज ए का मूल्यांकन करने के लिए, स्पष्ट रूप से खोज (बिल्लियाँ या कुत्ते) दस्तावेज़ 1, 2, एवं 3 पर प्रभाव डालेगी। इसलिए उस खोज (जो कि खोज ए है) का निषेध बाकी सभी चीज़ों पर पड़ेगा, जो कि दस्तावेज़ 4 है।
शोध A का मूल्यांकन करने के लिए, स्पष्ट रूप से शोध (बिल्लियाँ या कुत्ते) प्रपत्र 1, 2, एवं 3 पर प्रभाव डालेगी। इसलिए उस शोध (जो कि शोध A है) का निषेध अन्य सभी चीज़ों पर पड़ेगा, जो कि प्रपत्र 4 है।


खोज बी का मूल्यांकन करते हुए, खोज (बिल्लियाँ नहीं) उन दस्तावेज़ों पर असर करेगी जिनमें बिल्लियाँ नहीं हैं, जो कि दस्तावेज़ 2 एवं 4 हैं। इसी तरह खोज (कुत्ते नहीं) दस्तावेज़ 1 एवं 4 पर असर करेंगी। इन दो खोजों पर AND ऑपरेटर को प्रस्तावित करना (जो खोज बी है) उन दस्तावेज़ों पर प्रहार करेगा जो इन दोनों खोजों में सामान्य हैं, जो कि दस्तावेज़ 4 है।
शोध B का मूल्यांकन करते हुए, शोध (बिल्लियाँ नहीं) उन प्रपत्रों पर असर करेगी जिनमें बिल्लियाँ नहीं हैं, जो कि प्रपत्र 2 एवं 4 हैं। इसी प्रकार शोध (कुत्ते नहीं) प्रपत्र 1 एवं 4 पर असर करेंगी। इन दो शोधों पर AND ऑपरेटर को प्रस्तावित करना (जो शोध B है) उन प्रपत्रों पर प्रहार करेगा जो इन दोनों शोधों में सामान्य हैं, जो कि प्रपत्र 4 है।


यह दिखाने के लिए समान मूल्यांकन प्रस्तावित किया जा सकता है कि निम्नलिखित दो खोजें दस्तावेज़ 1, 2, एवं 4 दोनों लौटाएंगी:
यह दिखाने के लिए समान मूल्यांकन प्रस्तावित किया जा सकता है कि निम्नलिखित दो शोधें प्रपत्र 1, 2, एवं 4 दोनों लौटाएंगी:
:खोज सी: नहीं (बिल्लियाँ एवं कुत्ते),
:शोध C: NOT (cats AND dogs),
:खोजें डी: (बिल्लियाँ नहीं) या (कुत्ते नहीं)
:शोधें D: (NOT cats) OR (NOT dogs)


==इतिहास==
==इतिहास==
कानूनों का नाम ऑगस्टस डी मॉर्गन (1806-1871) के नाम पर रखा गया है।<ref>''[http://www.mtsu.edu/~phys2020/Lectures/L19-L25/L3/DeMorgan/body_demorgan.html DeMorgan's Theorems]'' at mtsu.edu</ref> जिन्होंने शास्त्रीय प्रस्तावात्[[मक तर्क]] के लिए कानूनों का औपचारिक संस्करण पेश किया। डी मॉर्गन का सूत्रीकरण [[जॉर्ज बूले]] द्वारा किए गए तर्क के बीजगणित से प्रभावित था, जिसने पश्चात में खोज के लिए डी मॉर्गन के दावे को मजबूत किया। फिर भी, समान अवलोकन [[अरस्तू]] द्वारा किया गया था, एवं ग्रीक एवं मध्यकालीन तर्कशास्त्रियों को इसकी जानकारी थी।<ref>Bocheński's ''History of Formal Logic''</ref> उदाहरण के लिए, 14वीं शताब्दी में, [[ओखम के विलियम]] ने उन शब्दों को लिखा जो कानूनों को पढ़ने से उत्पन्न होंगे।<ref>William of Ockham, ''Summa Logicae'', part II, sections 32 and 33.</ref> [[जीन बुरिडन]] ने अपने सममुले डी डायलेक्टिका में रूपांतरण के नियमों का भी वर्णन किया है जो डी मॉर्गन के कानूनों का पालन करते हैं।<ref>Jean Buridan, ''Summula de Dialectica''. Trans. Gyula Klima. New Haven: Yale University Press, 2001. See especially Treatise 1, Chapter 7, Section 5. {{ISBN|0-300-08425-0}}</ref> फिर भी, डी मॉर्गन को कानूनों को आधुनिक औपचारिक तर्क के संदर्भ में बताने एवं उन्हें तर्क की भाषा में शामिल करने का श्रेय दिया जाता है। डी मॉर्गन के नियम आसानी से सिद्ध किये जा सकते हैं, एवं ये तुच्छ भी लग सकते हैं।<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806–1871)] {{webarchive|url=https://web.archive.org/web/20100715185655/http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm |date=2010-07-15 }} by Robert H. Orr</ref> बहरहाल, ये कानून प्रमाणों एवं निगमनात्मक तर्कों में वैध निष्कर्ष निकालने में सहायक हैं।
कानूनों का नाम ऑगस्टस डी मॉर्गन (1806-1871) के नाम पर रखा गया है।<ref>''[http://www.mtsu.edu/~phys2020/Lectures/L19-L25/L3/DeMorgan/body_demorgan.html DeMorgan's Theorems]'' at mtsu.edu</ref> जिन्होंने शास्त्रीय [[मक तर्क|प्रस्तावात्मक तर्क]] के लिए कानूनों का औपचारिक संस्करण प्रस्तुत किया। डी मॉर्गन का सूत्रीकरण [[जॉर्ज बूले]] द्वारा किए गए तर्क के बीजगणित से प्रभावित था, जिसने पश्चात में शोध के लिए डी मॉर्गन के कथन को सशक्त किया। फिर भी, समान अवलोकन [[अरस्तू]] द्वारा किया गया था, एवं ग्रीक एवं मध्यकालीन तर्कशास्त्रियों को इसकी जानकारी थी।<ref>Bocheński's ''History of Formal Logic''</ref> उदाहरण के लिए, 14वीं शताब्दी में, [[ओखम के विलियम]] ने उन शब्दों को लिखा जो कानूनों को पढ़ने से उत्पन्न होंगे।<ref>William of Ockham, ''Summa Logicae'', part II, sections 32 and 33.</ref> [[जीन बुरिडन]] ने अपने सममुले डी डायलेक्टिका में रूपांतरण के नियमों का भी वर्णन किया है जो डी मॉर्गन के कानूनों का पालन करते हैं।<ref>Jean Buridan, ''Summula de Dialectica''. Trans. Gyula Klima. New Haven: Yale University Press, 2001. See especially Treatise 1, Chapter 7, Section 5. {{ISBN|0-300-08425-0}}</ref> फिर भी, डी मॉर्गन को कानूनों को आधुनिक औपचारिक तर्क के संदर्भ में बताने एवं उन्हें तर्क की भाषा में सम्मिलित करने का श्रेय दिया जाता है। डी मॉर्गन के नियम सरलता से सिद्ध किये जा सकते हैं, एवं ये तुच्छ भी लग सकते हैं।<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806–1871)] {{webarchive|url=https://web.archive.org/web/20100715185655/http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm |date=2010-07-15 }} by Robert H. Orr</ref> किसी न किसी प्रकार से, ये कानून प्रमाणों एवं निगमनात्मक तर्कों में वैध निष्कर्ष निकालने में सहायक हैं।


==अनौपचारिक प्रमाण==
==अनौपचारिक प्रमाण==
डी मॉर्गन के प्रमेय को किसी सूत्र के सभी या कुछ हिस्सों में विच्छेदन के निषेध या तार्किक संयोजन के निषेध पर प्रस्तावित किया जा सकता है।
डी मॉर्गन के प्रमेय को किसी सूत्र के सभी या कुछ भागों में विच्छेदन के निषेध या संयोजन के निषेध पर प्रस्तावित किया जा सकता है।


===विच्छेद का निषेध===
===विच्छेद का निषेध===
विच्छेद के लिए इसके आवेदन के विषय में, निम्नलिखित दावे पर विचार करें: यह गलत है कि या बी में से कोई भी सत्य है, जिसे इस प्रकार लिखा गया है:
विच्छेद के लिए इसके आवेदन के विषय में, निम्नलिखित कथन पर विचार करें: यह त्रुटिपूर्ण है कि A या B में से कोई भी सत्य है, जिसे इस प्रकार लिखा गया है:
:<math>\neg(A\lor B).</math>
:<math>\neg(A\lor B).</math>
इसमें यह स्थापित किया गया है कि न तो एवं न ही बी सत्य है, तो इसका पालन करना चाहिए कि दोनों तार्किक रूप से सत्य नहीं हैं एवं बी सत्य नहीं है, जिसे सीधे इस प्रकार लिखा जा सकता है:
इसमें यह स्थापित किया गया है कि न तो A एवं न ही B सत्य है, तो इसका पालन करना चाहिए कि A दोनों तार्किक रूप से सत्य नहीं हैं एवं B सत्य नहीं है, जिसे सीधे इस प्रकार लिखा जा सकता है:
:<math>(\neg A)\wedge(\neg B).</math>
:<math>(\neg A)\wedge(\neg B).</math>
यदि A या B में से कोई भी सत्य होता, तो A एवं B का विच्छेदन सत्य होता, जिससे इसका निषेधन गलत हो जाता। अंग्रेजी में प्रस्तुत, यह इस तर्क का पालन करता है कि चूंकि दो चीजें झूठी हैं, इसलिए यह भी गलत है कि उनमें से कोई भी सच है।
यदि A या B में से कोई भी सत्य होता, तो A एवं B का विच्छेदन सत्य होता, जिससे इसका निषेधन त्रुटिपूर्ण हो जाता। अंग्रेजी में प्रस्तुत, यह इस तर्क का पालन करता है कि चूंकि दो चीजें असत्य हैं, इसलिए यह भी त्रुटिपूर्ण है कि उनमें से कोई भी सत्य है।


विपरीत दिशा में काम करते हुए, दूसरी अभिव्यक्ति यह दावा करती है कि ए गलत है एवं बी गलत है (या समकक्ष रूप से एवं बी सत्य नहीं हैं)। यह जानते हुए भी A एवं B का विच्छेद भी मिथ्या ही होगा। इस प्रकार उक्त विच्छेदन का निषेध सत्य होना चाहिए, एवं परिणाम पहले दावे के समान है।
विपरीत दिशा में कार्य करते हुए, दूसरी अभिव्यक्ति यह कथित करती है कि A त्रुटिपूर्ण है एवं B त्रुटिपूर्ण है (या समकक्ष रूप से A एवं B सत्य नहीं हैं)। यह जानते हुए भी A एवं B का विच्छेद भी मिथ्या ही होगा। इस प्रकार उक्त विच्छेदन का निषेध सत्य होना चाहिए, एवं परिणाम पूर्व कथन के समान है।


===संयोजन का निषेधन===
===संयोजन का निषेधन===
संयोजन के लिए डी मॉर्गन के प्रमेय का अनुप्रयोग रूप एवं तर्क दोनों में विच्छेदन के लिए इसके अनुप्रयोग के समान है। निम्नलिखित दावे पर विचार करें: यह गलत है कि A एवं B दोनों सत्य हैं, जिसे इस प्रकार लिखा गया है:
संयोजन के लिए डी मॉर्गन के प्रमेय का अनुप्रयोग रूप एवं तर्क दोनों में विच्छेदन के लिए इसके अनुप्रयोग के समान है। निम्नलिखित कथन पर विचार करें: यह त्रुटिपूर्ण है कि A एवं B दोनों सत्य हैं, जिसे इस प्रकार लिखा गया है:
:<math>\neg(A\land B).</math>
:<math>\neg(A\land B).</math>
इस दावे के सत्य होने के लिए, A या B में से कोई या दोनों गलत होने चाहिए, क्योंकि यदि वे दोनों सत्य थे, तो A एवं B का संयोजन सत्य होगा, जिससे इसका निषेध गलत हो जाएगा। इस प्रकार, A एवं B में से या (कम से कम) या अधिक गलत होना चाहिए (या समकक्ष, A एवं B नहीं में से या अधिक सत्य होना चाहिए)। इसे सीधे तौर पर इस प्रकार लिखा जा सकता है,
इस कथन के सत्य होने के लिए, A या B में से कोई या दोनों त्रुटिपूर्ण होने चाहिए, क्योंकि यदि वे दोनों सत्य थे, तो A एवं B का संयोजन सत्य होगा, जिससे इसका निषेध त्रुटिपूर्ण हो जाएगा। इस प्रकार, A एवं B में से कोई या (कम से कम) या अधिक त्रुटिपूर्ण होना चाहिए (या समकक्ष, A एवं B नहीं में से एक या अधिक सत्य होना चाहिए)। इसे सीधे रूप में इस प्रकार लिखा जा सकता है,
:<math>(\neg A)\lor(\neg B).</math>
:<math>(\neg A)\lor(\neg B).</math>
अंग्रेजी में प्रस्तुत, यह इस तर्क का पालन करता है कि चूंकि यह गलत है कि दो चीजें दोनों सच हैं, उनमें से कम से कम गलत होना चाहिए।
अंग्रेजी में प्रस्तुत, यह इस तर्क का पालन करता है कि चूंकि यह त्रुटिपूर्ण है कि दो चीजें दोनों सत्य हैं, उनमें से कम से कम त्रुटिपूर्ण होना चाहिए।


फिर से विपरीत दिशा में काम करते हुए, दूसरी अभिव्यक्ति यह दावा करती है कि ए एवं बी नहीं में से कम से कम सत्य होना चाहिए, या समकक्ष रूप से एवं बी में से कम से कम गलत होना चाहिए। चूँकि उनमें से कम से कम असत्य होना चाहिए, तो उनका संयोजन भी असत्य होगा। इस प्रकार उक्त संयोजन को नकारने से सच्ची अभिव्यक्ति प्राप्त होती है, एवं यह अभिव्यक्ति पहले दावे के समान है।
विपरीत दिशा में फिर से काम करते हुए, दूसरी अभिव्यक्ति यह कथित करती है कि ए एवं बी नहीं में से कम से कम कोई सत्य होना चाहिए, या समकक्ष रूप से A एवं B में से कम से कम कोई त्रुटिपूर्ण होना चाहिए। चूँकि उनमें से कम से कम कोई असत्य होना चाहिए, तो उनका संयोजन भी असत्य होगा। इस प्रकार उक्त संयोजन को अस्वीकार करने से यथार्थ अभिव्यक्ति प्राप्त होती है, एवं यह अभिव्यक्ति पूर्व कथन के समान है।


==औपचारिक प्रमाण==
==औपचारिक प्रमाण==
Line 183: Line 183:
===भाग 2===
===भाग 2===


विपरीत दिशा सिद्ध करने के लिए, आइए <math>x \in A^\complement \cup B^\complement</math>, एवं विरोधाभास के लिए मान लें <math>x \not\in (A\cap B)^\complement</math>.
विपरीत दिशा सिद्ध करने के लिए, आइए <math>x \in A^\complement \cup B^\complement</math>, एवं विरोधाभास के लिए <math>x \not\in (A\cap B)^\complement</math>मान लेते हैं।


उस धारणा के तहत, ऐसा ही होना चाहिए <math>x \in A\cap B</math>,
उस धारणा के अंतर्गत, <math>x \in A\cap B</math> होना चाहिए ,


तो यह उसका अनुसरण करता है <math>x \in A</math> एवं <math>x \in B</math>, एवं इस तरह <math>x \not\in A^\complement</math> एवं <math>x \not\in B^\complement</math>.
तो यह <math>x \in A</math> एवं <math>x \in B</math>, का अनुसरण करता है, एवं इस प्रकार <math>x \not\in A^\complement</math> एवं <math>x \not\in B^\complement</math>,


हालाँकि, इसका तात्पर्य है <math>x \not\in A^\complement \cup B^\complement</math>, उस परिकल्पना के विपरीत <math>x \in A^\complement \cup B^\complement</math>,
चूँकि, इसका तात्पर्य <math>x \not\in A^\complement \cup B^\complement</math> है, उस परिकल्पना के विपरीत <math>x \in A^\complement \cup B^\complement</math>,


इसलिए, धारणा <math>x \not\in (A\cap B)^\complement</math> ऐसा नहीं होना चाहिए, अर्थात <math>x \in (A\cap B)^\complement</math>.
इसलिए, धारणा <math>x \not\in (A\cap B)^\complement</math> नहीं होना चाहिए, अर्थात <math>x \in (A\cap B)^\complement</math> होता है।


इस तरह, <math>\forall x\Big( x \in A^\complement \cup B^\complement \implies x \in (A\cap B)^\complement\Big)</math>,
इस प्रकार, <math>\forall x\Big( x \in A^\complement \cup B^\complement \implies x \in (A\cap B)^\complement\Big)</math>,


वह है, <math>A^\complement \cup B^\complement \subseteq (A\cap B)^\complement</math>.
वह <math>A^\complement \cup B^\complement \subseteq (A\cap B)^\complement</math> है।


===निष्कर्ष===
===निष्कर्ष===
Line 204: Line 204:


==डी मॉर्गन द्वंद्व को सामान्य बनाना==
==डी मॉर्गन द्वंद्व को सामान्य बनाना==
[[File:DeMorgan Logic Circuit diagram DIN.svg|thumb|डी मॉर्गन के नियमों को लॉजिक गेट्स ([[ इंटरनेशनल इलेक्ट्रोटेक्नीकल कमीशन ]] आरेख) के साथ परिपथ के रूप में दर्शाया गया है।]]शास्त्रीय प्रस्तावात्मक तर्क के विस्तार में, द्वंद्व अभी भी कायम है (अर्थात, किसी भी तार्किक ऑपरेटर के लिए कोई हमेशा इसका दोहरा पा सकता है), क्योंकि निषेध को नियंत्रित करने वाली पहचानों की उपस्थिति में, कोई हमेशा ऑपरेटर का परिचय दे सकता है जो डी मॉर्गन का दोहरा है। यह [[शास्त्रीय तर्क]] पर आधारित तर्कशास्त्र की महत्वपूर्ण संपत्ति की ओर ले जाता है, अर्थात् [[निषेध सामान्य रूप|निषेध सामान्य रूपों]] का अस्तित्व: कोई भी सूत्र दूसरे सूत्र के समान होता है जहां निषेध केवल सूत्र के अन्य-तार्किक परमाणुओं पर प्रस्तावित होता है। नकार सामान्य रूपों का अस्तित्व कई अनुप्रयोगों को संचालित करता है, उदाहरण के लिए [[डिजिटल सर्किट|डिजिटल परिपथ]] डिजाइन में, जहां इसका उपयोग [[ तर्क द्वार |लॉजिक गेट्सर]] के प्रकारों में परिवर्तन करने के लिए किया जाता है, एवं औपचारिक तर्क में, जहां संयोजन सामान्य रूप एवं विच्छेदन सामान्य रूप की शोध के लिए इसकी आवश्यकता होती है। सूत्र. कंप्यूटर प्रोग्रामर समष्टि [[ सशर्त (प्रोग्रामिंग) | तार्किक स्थितियों]] को सरल बनाने या अस्वीकार करने के लिए उनका उपयोग करते हैं। वे प्राथमिक संभाव्यता सिद्धांत में गणना में भी प्रायः उपयोगी होते हैं।
[[File:DeMorgan Logic Circuit diagram DIN.svg|thumb|डी मॉर्गन के नियमों को लॉजिक गेट्स ([[ इंटरनेशनल इलेक्ट्रोटेक्नीकल कमीशन ]] आरेख) के साथ परिपथ के रूप में प्रदर्शित किया गया है।]]शास्त्रीय प्रस्तावात्मक तर्क के विस्तार में, द्वंद्व अभी भी कायम है (अर्थात, किसी भी तार्किक ऑपरेटर के लिए कोई हमेशा इसका दोहरा पा सकता है), क्योंकि निषेध को नियंत्रित करने वाली पहचानों की उपस्थिति में, कोई हमेशा ऑपरेटर का परिचय दे सकता है जो डी मॉर्गन का दोहरा है। यह [[शास्त्रीय तर्क]] पर आधारित तर्कशास्त्र की महत्वपूर्ण संपत्ति की ओर ले जाता है, अर्थात् [[निषेध सामान्य रूप|निषेध सामान्य रूपों]] का अस्तित्व: कोई भी सूत्र दूसरे सूत्र के समान होता है जहां निषेध केवल सूत्र के अन्य-तार्किक परमाणुओं पर प्रस्तावित होता है। नकार सामान्य रूपों का अस्तित्व कई अनुप्रयोगों को संचालित करता है, उदाहरण के लिए [[डिजिटल सर्किट|डिजिटल परिपथ]] डिजाइन में, जहां इसका उपयोग [[ तर्क द्वार |लॉजिक गेट्सर]] के प्रकारों में परिवर्तन करने के लिए किया जाता है, एवं औपचारिक तर्क में, जहां संयोजन सामान्य रूप एवं विच्छेदन सामान्य रूप की शोध के लिए इसकी आवश्यकता होती है। सूत्र. कंप्यूटर प्रोग्रामर समष्टि [[ सशर्त (प्रोग्रामिंग) | तार्किक स्थितियों]] को सरल बनाने या अस्वीकार करने के लिए उनका उपयोग करते हैं। वे प्राथमिक संभाव्यता सिद्धांत में गणना में भी प्रायः उपयोगी होते हैं।


आइए प्रारंभिक प्रस्ताव P (p, q, ...), ''p'', ''q'', ...के आधार पर ऑपरेटर होने के लिए किसी भी प्रस्ताव ऑपरेटर <math>\mbox{P}^d</math> के दोहरे को परिभाषित करता है,
प्रारंभिक प्रस्ताव ''p'', ''q'', ...के आधार पर ऑपरेटर होने के लिए किसी भी प्रस्ताव ऑपरेटर P (p, q, ...) के दोहरे को <math>\mbox{P}^d</math> परिभाषित करता है,


:<math>\mbox{P}^d(p, q, ...) = \neg P(\neg p, \neg q, \dots).</math>
:<math>\mbox{P}^d(p, q, ...) = \neg P(\neg p, \neg q, \dots).</math>


== विधेय एवं मोडल तर्क का विस्तार ==
== विधेय एवं प्रारूप तर्क का विस्तार ==
इस द्वंद्व को परिमाणकों के लिए सामान्यीकृत किया जा सकता है, उदाहरण के लिए [[सार्वभौमिक परिमाणक]] एवं [[अस्तित्वगत परिमाणक]] दोहरे हैं:
इस द्वंद्व को परिमाणकों के लिए सामान्यीकृत किया जा सकता है, उदाहरण के लिए [[सार्वभौमिक परिमाणक]] एवं [[अस्तित्वगत परिमाणक]] दोहरे हैं:


Line 231: Line 231:


:<math> P(a) \lor P(b) \lor P(c) \equiv \neg (\neg P(a) \land \neg P(b) \land \neg P(c)), </math>
:<math> P(a) \lor P(b) \lor P(c) \equiv \neg (\neg P(a) \land \neg P(b) \land \neg P(c)), </math>
मॉडल में क्वांटिफायर द्वैत की पुष्टि करना।
मॉडल में क्वांटिफायर द्वैत की पुष्टि करता है।


इस द्वंद्व को परिमाण कों के लिए सामान्यीकृत किया जा सकता है, उदाहरण के लिए सार्वभौमिक परिमाणक और अस्तित्वगत परिमाणक दोहरे हैं,
इस द्वंद्व को परिमाण कों के लिए सामान्यीकृत किया जा सकता है, उदाहरण के लिए सार्वभौमिक परिमाणक और अस्तित्वगत परिमाणक दोहरे हैं,
Line 237: Line 237:
:<math> \Box p \equiv \neg \Diamond \neg p, </math>
:<math> \Box p \equiv \neg \Diamond \neg p, </math>
:<math> \Diamond p \equiv \neg \Box \neg p.</math>
:<math> \Diamond p \equiv \neg \Box \neg p.</math>
संभावना एवं आवश्यकता के एलेथिक उपायों के अनुप्रयोग में, अरस्तू ने इस विषय का अवलोकन किया, एवं सामान्य मोडल लॉजिक के विषय में, इन मोडल ऑपरेटरों के परिमाणीकरण के संबंध को [[क्रिपके शब्दार्थ]] का उपयोग करके मॉडल स्थापित करके समझा जा सकता है।
संभावना एवं आवश्यकता के एलेथिक उपायों के अनुप्रयोग में, अरस्तू ने इस विषय का अवलोकन किया, एवं सामान्य प्रारूपलॉजिक के विषय में, इन प्रारूपऑपरेटरों के परिमाणीकरण के संबंध को [[क्रिपके शब्दार्थ]] का उपयोग करके मॉडल स्थापित करके समझा जा सकता है।


== [[अंतर्ज्ञानवादी तर्क]] में ==
== [[अंतर्ज्ञानवादी तर्क]] में ==
Line 284: Line 284:
{{Classical logic}}
{{Classical logic}}
{{Set theory}}
{{Set theory}}
[[Category: बूलियन बीजगणित]] [[Category: द्वैत सिद्धांत]] [[Category: अनुमान के नियम]] [[Category: प्रमाण युक्त लेख]] [[Category: प्रस्तावात्मक तर्क में प्रमेय]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 06/07/2023]]
[[Category:Created On 06/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[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:Webarchive template wayback links]]
[[Category:Wikipedia metatemplates]]
[[Category:अनुमान के नियम]]
[[Category:द्वैत सिद्धांत]]
[[Category:प्रमाण युक्त लेख]]
[[Category:प्रस्तावात्मक तर्क में प्रमेय]]
[[Category:बूलियन बीजगणित]]

Latest revision as of 12:10, 31 July 2023

डी मॉर्गन के नियमों को वेन आरेखों के साथ प्रदर्शित किया गया है। प्रत्येक विषय में, परिणामी समुच्चय नीले रंग की किसी भी छाया में सभी बिंदुओं का समुच्चय होता है।

प्रस्तावात्मक कलन एवं बूलियन बीजगणित में, डी मॉर्गन के नियम,[1][2][3]जिसे डी मॉर्गन प्रमेय के रूप में भी जाना जाता है,[4] परिवर्तन नियमों की ऐसी जोड़ी है जो अनुमान के दोनों वैध नियम हैं। इनका नाम 19वीं सदी के ब्रिटिश गणितज्ञ ऑगस्टस डीमॉर्गन के नाम पर रखा गया है। नियम संयोजन एवं तार्किक विच्छेदन की अभिव्यक्ति को तार्किक निषेध के माध्यम से दूसरे के संदर्भ में पूर्ण रूप से अनुमति देते हैं।

नियमों को अंग्रेजी में इस प्रकार व्यक्त किया जा सकता है:

  • विच्छेद का निषेध निषेध का समुच्चय है।
  • संचय का निषेध निषेध का विच्छेद है।

या

  • दो समुच्चयों के मिलन का पूरक (समुच्चय सिद्धांत) उनके पूरकों के प्रतिच्छेदन के समान है।
  • दो समुच्चयों के प्रतिच्छेदन का पूरक उनके पूरकों के मिलन के समान है।

या

  • not (A or B) = (not A) and (not B)
  • not (A and B) = (not A) or ( not B)

जहां A या B समावेशी है या इसका तात्पर्य अनन्य या के अतिरिक्त A या B में से कम से कम एक है या इसका तात्पर्य बिल्कुल A या B में से कोई है।

समुच्चय सिद्धांत एवं बूलियन बीजगणित (तर्क) में, इन्हें औपचारिक रूप से लिखा जाता है

जहाँ

  • एवं समुच्चय हैं,
  • , का पूरक है,
  • इंटरसेक्शन (समुच्चय सिद्धांत) है, एवं
  • संघ (समुच्चय सिद्धांत) है।
¬φ ∨ ¬ψ एवं ¬(φ ∧ ψ) की समतुल्यता इस सत्य तालिका में प्रदर्शित की गई है।[5]

औपचारिक भाषा में नियम इस प्रकार लिखे जाते हैं

एवं

जहाँ

  • P एवं Q प्रस्ताव हैं,
  • निषेध तर्क ऑपरेटर (NOT) है,
  • संयोजन तर्क संचालिका (AND) है,
  • विच्छेदन लॉजिक ऑपरेटर (OR) है,
  • धातु विज्ञान प्रतीक है जिसका अर्थ औपचारिक प्रमाण में प्रतिस्थापित किया जा सकता है, जिसे प्रायः यदि एवं केवल यदि के रूप में पढ़ा जाता है। P एवं Q के लिए त्रुटिहीन/त्रुटिपूर्ण मानों के किसी भी संयोजन के लिए, मूल्यांकन के पश्चात तीर के बाएँ एवं दाएँ पक्ष समान सत्य मान रखते हैं।
समुच्चय घटाव ऑपरेशन के साथ डी मॉर्गन का नियम है।

डी मॉर्गन के नियम का दूसरा रूप निम्नलिखित है जैसा कि उचित चित्र में देखा गया है।

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

औपचारिक संकेतन

संयोजन नियम के निषेध को अनुक्रमिक संकेतन में लिखा जा सकता है:

,

एवं

.

विच्छेद नियम के निषेध को इस प्रकार लिखा जा सकता है:

,

एवं

.

अनुमान के नियम में: समुच्चयबोधक का निषेध

एवं विच्छेद का निषेध

एवं सत्य-कार्यात्मक टॉटोलॉजी (तर्क) या प्रस्तावात्मक तर्क के प्रमेय के रूप में व्यक्त किया गया:

जहाँ एवं कुछ औपचारिक प्रणाली में व्यक्त किए गए प्रस्ताव हैं।

प्रतिस्थापन प्रपत्र

डी मॉर्गन के नियम सामान्यतः ऊपर संक्षिप्त रूप में दिखाए जाते हैं, जिसमें बाईं ओर आउटपुट का निषेध एवं दाईं ओर इनपुट का निषेध होता है। प्रतिस्थापन के लिए स्पष्ट रूप इस प्रकार बताया जा सकता है:

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

कानूनों में महत्वपूर्ण अंतरm () दोहरा निषेध कानून है। , औपचारिक तर्क प्रणाली बनने के लिए: अनुक्रम उन प्रतीकों की रिपोर्ट करता है जिन्हें पूर्व क्रम में उचित प्रकार से परिभाषित किया गया है। उसी प्रणाली में वे संयोजन हैं: , सामान्य रूप से, वैध ज्ञान है, तो संयोजन, जो - संख्या - सत्य तालिका में, मूल प्रस्ताव - परमाणु निश्चित रूप से ज्ञान के अनुसार अस्तित्व के संदर्भ के समान है। हमने तुल्यता सिद्धांत पर विचार किया । इस बिंदु पर, डी मॉर्गन नियम के परमाणु संदर्भ में ऊपर या नीचे की ओर प्रभाव दिखाते हैं .[6]

समुच्चय सिद्धांत एवं बूलियन बीजगणित

समुच्चय सिद्धांत एवं बूलियन बीजगणित (तर्क) में, इसे प्रायः पूरकता के अंतर्गत संघ एवं प्रतिच्छेदन इंटरचेंज के रूप में कहा जाता है,[7] जिसे औपचारिक रूप से इस प्रकार व्यक्त किया जा सकता है:

जहाँ:

  • का निषेध है, अस्वीकृत की जाने वाली शर्तों के ऊपर ओवरलाइन लिखी जा रही है,
  • इंटरसेक्शन (समुच्चय थ्योरी) ऑपरेटर (AND) है,
  • यूनियन (समुच्चय थ्योरी) ऑपरेटर (OR) है।

किसी भी संख्या में समुच्चय के संघ एवं प्रतिच्छेदन

सामान्यीकृत रूप

है,

जहाँ I कुछ, संभवतः गणनीय अनंत, अनुक्रमण समुच्चय है।

समुच्चय नोटेशन में, डी मॉर्गन के नियमों को "लाइन तोड़ो, संकेत परिवर्तित करो" स्मृति चिन्ह का उपयोग करके याद किया जा सकता है।[8]

इंजीनियरिंग

विद्युत अभियन्त्रण एवं कंप्यूटर इंजीनियरिंग में, डी मॉर्गन के नियम सामान्यतः इस प्रकार लिखे जाते हैं:

एवं

जहाँ:

  • तार्किक AND है,
  • तार्किक OR है,
  • overbar ओवरबार के नीचे जो है उसका तार्किक नहीं है।

पाठ शोध

डी मॉर्गन के नियम सामान्यतः बूलियन ऑपरेटरों AND, OR, एवं NOT का उपयोग करके पाठ शोध पर प्रस्तावित होते हैं। प्रपत्रों के समुच्चय पर विचार करें जिसमें बिल्लियाँ एवं कुत्ते शब्द सम्मिलित हैं। डी मॉर्गन के कानून मानते हैं कि ये दोनों शोधें प्रपत्रों का ही समुच्चय लौटाएंगी:

शोध A: NOT (cats AND dogs)
शोधें B: (NOT cats) AND (NOT dogs)

बिल्लियों या कुत्तों वाले प्रपत्रों के संग्रह को चार प्रपत्रों द्वारा प्रदर्शित किया जा सकता है:

प्रपत्र 1: इसमें केवल बिल्लियाँ शब्द सम्मिलित है।
प्रपत्र 2: इसमें केवल कुत्ते सम्मिलित हैं।
प्रपत्र 3: इसमें बिल्लियाँ एवं कुत्ते दोनों सम्मिलित हैं।
प्रपत्र 4: इसमें न तो बिल्लियाँ एवं न ही कुत्ते सम्मिलित हैं।

शोध A का मूल्यांकन करने के लिए, स्पष्ट रूप से शोध (बिल्लियाँ या कुत्ते) प्रपत्र 1, 2, एवं 3 पर प्रभाव डालेगी। इसलिए उस शोध (जो कि शोध A है) का निषेध अन्य सभी चीज़ों पर पड़ेगा, जो कि प्रपत्र 4 है।

शोध B का मूल्यांकन करते हुए, शोध (बिल्लियाँ नहीं) उन प्रपत्रों पर असर करेगी जिनमें बिल्लियाँ नहीं हैं, जो कि प्रपत्र 2 एवं 4 हैं। इसी प्रकार शोध (कुत्ते नहीं) प्रपत्र 1 एवं 4 पर असर करेंगी। इन दो शोधों पर AND ऑपरेटर को प्रस्तावित करना (जो शोध B है) उन प्रपत्रों पर प्रहार करेगा जो इन दोनों शोधों में सामान्य हैं, जो कि प्रपत्र 4 है।

यह दिखाने के लिए समान मूल्यांकन प्रस्तावित किया जा सकता है कि निम्नलिखित दो शोधें प्रपत्र 1, 2, एवं 4 दोनों लौटाएंगी:

शोध C: NOT (cats AND dogs),
शोधें D: (NOT cats) OR (NOT dogs)

इतिहास

कानूनों का नाम ऑगस्टस डी मॉर्गन (1806-1871) के नाम पर रखा गया है।[9] जिन्होंने शास्त्रीय प्रस्तावात्मक तर्क के लिए कानूनों का औपचारिक संस्करण प्रस्तुत किया। डी मॉर्गन का सूत्रीकरण जॉर्ज बूले द्वारा किए गए तर्क के बीजगणित से प्रभावित था, जिसने पश्चात में शोध के लिए डी मॉर्गन के कथन को सशक्त किया। फिर भी, समान अवलोकन अरस्तू द्वारा किया गया था, एवं ग्रीक एवं मध्यकालीन तर्कशास्त्रियों को इसकी जानकारी थी।[10] उदाहरण के लिए, 14वीं शताब्दी में, ओखम के विलियम ने उन शब्दों को लिखा जो कानूनों को पढ़ने से उत्पन्न होंगे।[11] जीन बुरिडन ने अपने सममुले डी डायलेक्टिका में रूपांतरण के नियमों का भी वर्णन किया है जो डी मॉर्गन के कानूनों का पालन करते हैं।[12] फिर भी, डी मॉर्गन को कानूनों को आधुनिक औपचारिक तर्क के संदर्भ में बताने एवं उन्हें तर्क की भाषा में सम्मिलित करने का श्रेय दिया जाता है। डी मॉर्गन के नियम सरलता से सिद्ध किये जा सकते हैं, एवं ये तुच्छ भी लग सकते हैं।[13] किसी न किसी प्रकार से, ये कानून प्रमाणों एवं निगमनात्मक तर्कों में वैध निष्कर्ष निकालने में सहायक हैं।

अनौपचारिक प्रमाण

डी मॉर्गन के प्रमेय को किसी सूत्र के सभी या कुछ भागों में विच्छेदन के निषेध या संयोजन के निषेध पर प्रस्तावित किया जा सकता है।

विच्छेद का निषेध

विच्छेद के लिए इसके आवेदन के विषय में, निम्नलिखित कथन पर विचार करें: यह त्रुटिपूर्ण है कि A या B में से कोई भी सत्य है, जिसे इस प्रकार लिखा गया है:

इसमें यह स्थापित किया गया है कि न तो A एवं न ही B सत्य है, तो इसका पालन करना चाहिए कि A दोनों तार्किक रूप से सत्य नहीं हैं एवं B सत्य नहीं है, जिसे सीधे इस प्रकार लिखा जा सकता है:

यदि A या B में से कोई भी सत्य होता, तो A एवं B का विच्छेदन सत्य होता, जिससे इसका निषेधन त्रुटिपूर्ण हो जाता। अंग्रेजी में प्रस्तुत, यह इस तर्क का पालन करता है कि चूंकि दो चीजें असत्य हैं, इसलिए यह भी त्रुटिपूर्ण है कि उनमें से कोई भी सत्य है।

विपरीत दिशा में कार्य करते हुए, दूसरी अभिव्यक्ति यह कथित करती है कि A त्रुटिपूर्ण है एवं B त्रुटिपूर्ण है (या समकक्ष रूप से A एवं B सत्य नहीं हैं)। यह जानते हुए भी A एवं B का विच्छेद भी मिथ्या ही होगा। इस प्रकार उक्त विच्छेदन का निषेध सत्य होना चाहिए, एवं परिणाम पूर्व कथन के समान है।

संयोजन का निषेधन

संयोजन के लिए डी मॉर्गन के प्रमेय का अनुप्रयोग रूप एवं तर्क दोनों में विच्छेदन के लिए इसके अनुप्रयोग के समान है। निम्नलिखित कथन पर विचार करें: यह त्रुटिपूर्ण है कि A एवं B दोनों सत्य हैं, जिसे इस प्रकार लिखा गया है:

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

अंग्रेजी में प्रस्तुत, यह इस तर्क का पालन करता है कि चूंकि यह त्रुटिपूर्ण है कि दो चीजें दोनों सत्य हैं, उनमें से कम से कम त्रुटिपूर्ण होना चाहिए।

विपरीत दिशा में फिर से काम करते हुए, दूसरी अभिव्यक्ति यह कथित करती है कि ए एवं बी नहीं में से कम से कम कोई सत्य होना चाहिए, या समकक्ष रूप से A एवं B में से कम से कम कोई त्रुटिपूर्ण होना चाहिए। चूँकि उनमें से कम से कम कोई असत्य होना चाहिए, तो उनका संयोजन भी असत्य होगा। इस प्रकार उक्त संयोजन को अस्वीकार करने से यथार्थ अभिव्यक्ति प्राप्त होती है, एवं यह अभिव्यक्ति पूर्व कथन के समान है।

औपचारिक प्रमाण

यहाँ हम का उपयोग A के पूरक को निरूपित करने के लिए करते हैं। प्रमाण को 2 चरणों में दोनों को एवं सिद्ध करके पूरा किया जाता है।

भाग 1

, तब, है,

क्योंकि , तो या होना चाहिए।

यदि , तब , इसलिए होता है।

इसी प्रकार, यदि , तब , इसलिए होता है,

इस प्रकार, ;

वह है।

भाग 2

विपरीत दिशा सिद्ध करने के लिए, आइए , एवं विरोधाभास के लिए मान लेते हैं।

उस धारणा के अंतर्गत, होना चाहिए ,

तो यह एवं , का अनुसरण करता है, एवं इस प्रकार एवं ,

चूँकि, इसका तात्पर्य है, उस परिकल्पना के विपरीत ,

इसलिए, धारणा नहीं होना चाहिए, अर्थात होता है।

इस प्रकार, ,

वह है।

निष्कर्ष

यदि एवं , तब ; इससे डी मॉर्गन के नियम का प्रमाण समाप्त हो जाता है।

अन्य डी मॉर्गन का नियम, , इसी प्रकार सिद्ध होता है।

डी मॉर्गन द्वंद्व को सामान्य बनाना

डी मॉर्गन के नियमों को लॉजिक गेट्स (इंटरनेशनल इलेक्ट्रोटेक्नीकल कमीशन आरेख) के साथ परिपथ के रूप में प्रदर्शित किया गया है।

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

प्रारंभिक प्रस्ताव p, q, ...के आधार पर ऑपरेटर होने के लिए किसी भी प्रस्ताव ऑपरेटर P (p, q, ...) के दोहरे को परिभाषित करता है,

विधेय एवं प्रारूप तर्क का विस्तार

इस द्वंद्व को परिमाणकों के लिए सामान्यीकृत किया जा सकता है, उदाहरण के लिए सार्वभौमिक परिमाणक एवं अस्तित्वगत परिमाणक दोहरे हैं:

इन क्वांटिफायर द्वंद्वों को डी मॉर्गन कानूनों से जोड़ने के लिए, इसके डोमेन D में कुछ छोटी संख्या में तत्वों के साथ मॉडल सिद्धांत स्थापित करें, जैसे कि

D = {a, b, c}

तब

एवं

है।

किन्तु, डी मॉर्गन के नियमों का उपयोग करते हुए,

एवं

मॉडल में क्वांटिफायर द्वैत की पुष्टि करता है।

इस द्वंद्व को परिमाण कों के लिए सामान्यीकृत किया जा सकता है, उदाहरण के लिए सार्वभौमिक परिमाणक और अस्तित्वगत परिमाणक दोहरे हैं,

संभावना एवं आवश्यकता के एलेथिक उपायों के अनुप्रयोग में, अरस्तू ने इस विषय का अवलोकन किया, एवं सामान्य प्रारूपलॉजिक के विषय में, इन प्रारूपऑपरेटरों के परिमाणीकरण के संबंध को क्रिपके शब्दार्थ का उपयोग करके मॉडल स्थापित करके समझा जा सकता है।

अंतर्ज्ञानवादी तर्क में

डी मॉर्गन के नियमों के चार में से तीन निहितार्थ अंतर्ज्ञानवादी तर्क में निहित हैं। विशेष रूप से, हमारे पास

एवं

है।

अंतिम निहितार्थ का व्युत्क्रम शुद्ध अंतर्ज्ञानवादी तर्क में निहित नहीं है। अर्थात संयुक्त प्रस्ताव की विफलता आवश्यक रूप से दोनों तार्किक संयोजनों में से किसी की विफलता का समाधान नहीं किया जा सकता है। उदाहरण के लिए, यह जानने से कि ऐसा नहीं है कि ऐलिस एवं बॉब दोनों अपनी डेट पर आए थे, इसका तात्पर्य यह नहीं है कि कौन नहीं आया। पश्चात वाला सिद्धांत कमजोर बहिष्कृत मध्य के सिद्धांत के समान है।

इस कमजोर रूप का उपयोग मध्यवर्ती तर्क की नींव के रूप में किया जा सकता है। अस्तित्व संबंधी कथनों से संबंधित असफल कानून के परिष्कृत संस्करण के लिए, सर्वज्ञता का सीमित सिद्धांत देखें, चूँकि जो से भिन्न है।

अन्य तीन डी मॉर्गन के कानूनों की वैधता अस्वीकार करने पर सत्य बनी रहती है। को निहितार्थ द्वारा प्रतिस्थापित किया जाता है, कुछ स्थिरांक विधेय C के लिए , जिसका अर्थ है कि उपरोक्त कानून न्यूनतम तर्क में अभी भी सत्य हैं।

उपरोक्त के समान, परिमाणक नियम:

एवं

है।

यहां तक ​​कि न्यूनतम तर्क में भी निषेध के स्थान पर निश्चित का अर्थ लगाया जाता है, जबकि अंतिम नियम का व्युत्क्रम सामान्यतः सत्य होना आवश्यक नहीं है।

इसके अतिरिक्त, एक अभी भी है,

किन्तु उनके व्युत्क्रम का तात्पर्य बहिष्कृत मध्य से है।

कंप्यूटर इंजीनियरिंग में

परिपथ डिज़ाइन को सरल बनाने के उद्देश्य से कंप्यूटर इंजीनियरिंग एवं डिजिटल लॉजिक में डी मॉर्गन के नियमों का व्यापक रूप से उपयोग किया जाता है।[14]

यह भी देखें

संदर्भ

  1. Copi, Irving M.; Cohen, Carl; McMahon, Kenneth. तर्क का परिचय. doi:10.4324/9781315510897.
  2. Hurley, Patrick J. (2015), A Concise Introduction to Logic (12th ed.), Cengage Learning, ISBN 978-1-285-19654-1
  3. Moore, Brooke Noel (2012). महत्वपूर्ण सोच. Richard Parker (10th ed.). New York: McGraw-Hill. ISBN 978-0-07-803828-0. OCLC 689858599.
  4. DeMorgan's [sic Theorem]
  5. Kashef, Arman. (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1
  6. Hayes, Andy; Wu, Vincent. "डी मॉर्गन के नियम". brilliant.org/.
  7. Boolean Algebra by R. L. Goodstein. ISBN 0-486-45894-6
  8. 2000 Solved Problems in Digital Electronics by S. P. Bali
  9. DeMorgan's Theorems at mtsu.edu
  10. Bocheński's History of Formal Logic
  11. William of Ockham, Summa Logicae, part II, sections 32 and 33.
  12. Jean Buridan, Summula de Dialectica. Trans. Gyula Klima. New Haven: Yale University Press, 2001. See especially Treatise 1, Chapter 7, Section 5. ISBN 0-300-08425-0
  13. Augustus De Morgan (1806–1871) Archived 2010-07-15 at the Wayback Machine by Robert H. Orr
  14. "De Morgan's Theorems | GATE Notes". BYJUS. Retrieved 21 December 2022.


बाहरी संबंध