शाब्दिक (गणितीय तर्क): Difference between revisions
No edit summary |
No edit summary |
||
| Line 9: | Line 9: | ||
एक शाब्दिक की ध्रुवता धनात्मक या ऋणात्मक है जो इस बात पर निर्भर करती है कि यह एक धनात्मक या ऋणात्मक शाब्दिक है। | एक शाब्दिक की ध्रुवता धनात्मक या ऋणात्मक है जो इस बात पर निर्भर करती है कि यह एक धनात्मक या ऋणात्मक शाब्दिक है। | ||
दोहरे निषेध उन्मूलन वाले तर्कशास्त्र में (जहाँ <math>\lnot \lnot x \equiv x</math>) शाब्दिक <math>l</math> के पूरक शाब्दिक या पूरक को <math>l</math> के निषेध के अनुरूप शाब्दिक के रूप में परिभाषित किया जा सकता है।<ref>{{cite book |last=Ben-Ari |first=Mordechai |authorlink=Mordechai Ben-Ari |date=2001 |title=कंप्यूटर विज्ञान के लिए गणितीय तर्क|edition=Second |publisher=Springer |isbn=1-85233-319-7 |page=69 |quote=If <math>l</math> is a literal, <math>l^c</math> is its complement. This means that if <math>l=p</math>, then, <math>l^c=\bar p</math> and if <math>l=\bar p</math> then <math>l^c = p</math>.}}</ref> हम <math>l</math> के पूरक शाब्दिक को निरूपित करने के लिए <math>\bar{l}</math> लिख सकते हैं। अधिक सटीक रूप से, यदि <math>l\equiv x</math> है तो <math>\bar{l}</math> है <math>\lnot x</math> और यदि <math>l\equiv \lnot x</math> तो <math>\bar{l}</math> <math>x</math> है। चिरसम्मत तर्कशास्त्र में दोहरा निषेध उन्मूलन है लेकिन [[अंतर्ज्ञानवादी तर्क]] में नहीं होता है। | |||
दोहरे निषेध उन्मूलन | |||
संयोजक सामान्य रूप में एक सूत्र के संदर्भ में, एक शाब्दिक शुद्ध होता है यदि शाब्दिक पूरक सूत्र में प्रकट नहीं होता है। | संयोजक सामान्य रूप में एक सूत्र के संदर्भ में, एक शाब्दिक शुद्ध होता है यदि शाब्दिक पूरक सूत्र में प्रकट नहीं होता है। | ||
Revision as of 11:08, 14 July 2023
गणितीय तर्क में, शाब्दिक एक परमाणु सूत्र (जिसे परमाणु या अभाज्य सूत्र के रूप में भी जाना जाता है) या उसका निषेधन है।[1][2] परिभाषा अधिकतर प्रमाण सिद्धांत (चिरसम्मत तर्क) में प्रकट होती है, उदाहरण के लिए संयोजनात्मक सामान्य रूप में और समाधान की विधि होती है।
शाब्दिकों को दो प्रकारों में विभाजित किया जा सकता है:[2]
- धनात्मक शाब्दिक सिर्फ एक परमाणु है (जैसे,)।
- ऋणत्मक शाब्दिक एक परमाणु का निषेध है (जैसे, )।
एक शाब्दिक की ध्रुवता धनात्मक या ऋणात्मक है जो इस बात पर निर्भर करती है कि यह एक धनात्मक या ऋणात्मक शाब्दिक है।
दोहरे निषेध उन्मूलन वाले तर्कशास्त्र में (जहाँ ) शाब्दिक के पूरक शाब्दिक या पूरक को के निषेध के अनुरूप शाब्दिक के रूप में परिभाषित किया जा सकता है।[3] हम के पूरक शाब्दिक को निरूपित करने के लिए लिख सकते हैं। अधिक सटीक रूप से, यदि है तो है और यदि तो है। चिरसम्मत तर्कशास्त्र में दोहरा निषेध उन्मूलन है लेकिन अंतर्ज्ञानवादी तर्क में नहीं होता है।
संयोजक सामान्य रूप में एक सूत्र के संदर्भ में, एक शाब्दिक शुद्ध होता है यदि शाब्दिक पूरक सूत्र में प्रकट नहीं होता है।
बूलियन फ़ंक्शन में, किसी चर की प्रत्येक अलग घटना, या तो व्युत्क्रम या अपूरित रूप में, एक शाब्दिक होती है। उदाहरण के लिए, यदि , और अभिव्यक्ति की तुलना में चर हैं इसमें तीन अक्षर और अभिव्यक्ति शामिल है इसमें चार अक्षर शामिल हैं। हालाँकि, अभिव्यक्ति यह भी कहा जाएगा कि इसमें चार अक्षर हैं, क्योंकि यद्यपि दो अक्षर समान हैं ( दो बार प्रकट होता है) ये दो अलग-अलग घटनाओं के रूप में योग्य हैं।[4]
उदाहरण
प्रस्तावात्मक कलन में एक शाब्दिक केवल एक प्रस्तावात्मक चर या उसका निषेध है।
विधेय कलन में शाब्दिक एक परमाणु सूत्र या उसका निषेध है, जहां एक परमाणु सूत्र एक विधेय (गणितीय तर्क) प्रतीक है जो कुछ शब्द (तर्क) पर लागू होता है, स्थिर प्रतीकों, परिवर्तनीय प्रतीकों और फ़ंक्शन (गणित) प्रतीकों से शुरू होने वाली पुनरावर्ती परिभाषा के साथ। उदाहरण के लिए, स्थिर प्रतीक 2, चर प्रतीक x, y, फ़ंक्शन प्रतीक f, g और विधेय प्रतीक Q के साथ एक नकारात्मक शाब्दिक है।
संदर्भ
- ↑ Rautenberg, Wolfgang (2010). गणितीय तर्क का संक्षिप्त परिचय. Universitext (3rd ed.). Springer. p. 57. doi:10.1007/978-1-4419-1221-3. ISBN 978-1-4419-1220-6.
The formulas procured by (F1) and (F2) are said to be prime or atomic formulas, or simply called prime. As in propositional logic, prime formulas and their negations are called literals.
- ↑ 2.0 2.1 Ben-Ari, Mordechai (2001). कंप्यूटर विज्ञान के लिए गणितीय तर्क (2nd ed.). Springer. p. 30. ISBN 1-85233-319-7.
A literal is an atom or a negation of an atom. An atom is a positive literal and the negation of an atom is a negative literal.
- ↑ Ben-Ari, Mordechai (2001). कंप्यूटर विज्ञान के लिए गणितीय तर्क (Second ed.). Springer. p. 69. ISBN 1-85233-319-7.
If is a literal, is its complement. This means that if , then, and if then .
- ↑ Godse, A. P.; Godse, D. A. (2008). डिजिटल लॉजिक सर्किट. Technical Publications. ISBN 9788184314250.
- Buss, Samuel R. (1998). Buss, Samuel R. (ed.). An Introduction to Proof Theory. pp. 1–78. ISBN 0-444-89840-9.
{{cite book}}:|work=ignored (help)
