शाब्दिक (गणितीय तर्क): Difference between revisions
(→उदाहरण) |
(→उदाहरण) |
||
| Line 15: | Line 15: | ||
बूलियन फ़ंक्शंस में, एक चर की प्रत्येक अलग घटना, या तो व्युत्क्रम या अपूरित रूप में, एक शाब्दिक है। उदाहरण के लिए, यदि <math>A</math>, <math>B</math> और <math>C</math> चर हैं तो अभिव्यक्ति <math>\bar{A}BC</math> में तीन अक्षर हैं और अभिव्यक्ति <math>\bar{A}C+\bar{B}\bar{C}</math> में चार अक्षर हैं। हालाँकि, अभिव्यक्ति <math>\bar{A}C+\bar{B}C</math> को भी चार अक्षर वाला कहा जाएगा, क्योंकि यद्यपि दो अक्षर समान हैं (<math>C</math> दो बार दिखाई देता है) ये दो अलग-अलग घटनाओं के रूप में योग्य हैं।<ref>{{cite book |last1=Godse |first1=A. P. |last2=Godse |first2=D. A. |date=2008 |title=डिजिटल लॉजिक सर्किट|publisher=Technical Publications|isbn=9788184314250 |url=https://books.google.com/books?id=fig900Q1eJ0C&q=literal}}</ref> | बूलियन फ़ंक्शंस में, एक चर की प्रत्येक अलग घटना, या तो व्युत्क्रम या अपूरित रूप में, एक शाब्दिक है। उदाहरण के लिए, यदि <math>A</math>, <math>B</math> और <math>C</math> चर हैं तो अभिव्यक्ति <math>\bar{A}BC</math> में तीन अक्षर हैं और अभिव्यक्ति <math>\bar{A}C+\bar{B}\bar{C}</math> में चार अक्षर हैं। हालाँकि, अभिव्यक्ति <math>\bar{A}C+\bar{B}C</math> को भी चार अक्षर वाला कहा जाएगा, क्योंकि यद्यपि दो अक्षर समान हैं (<math>C</math> दो बार दिखाई देता है) ये दो अलग-अलग घटनाओं के रूप में योग्य हैं।<ref>{{cite book |last1=Godse |first1=A. P. |last2=Godse |first2=D. A. |date=2008 |title=डिजिटल लॉजिक सर्किट|publisher=Technical Publications|isbn=9788184314250 |url=https://books.google.com/books?id=fig900Q1eJ0C&q=literal}}</ref> | ||
== उदाहरण == | == उदाहरण == | ||
[[प्रस्तावात्मक कलन]] में एक शाब्दिक | [[प्रस्तावात्मक कलन]] में एक शाब्दिक मात्र एक [[प्रस्तावात्मक चर]] या उसका निषेध है। | ||
विधेय कैलकुलस में शाब्दिक एक परमाणु सूत्र या उसका निषेध है, जहां एक परमाणु सूत्र कुछ शब्दों पर लागू एक विधेय प्रतीक है, <math>P(t_1,\ldots,t_n)</math> निरंतर प्रतीकों, परिवर्तनीय प्रतीकों और फ़ंक्शन प्रतीकों से शुरू होने वाले शब्दों के साथ पुनरावर्ती रूप से परिभाषित है। उदाहरण के लिए, <math>\neg Q(f(g(x), y, 2), x)</math> एक ऋणात्मक शाब्दिक है जिसमें स्थिर प्रतीक 2, चर प्रतीक ''x, y'', फ़ंक्शन प्रतीक ''f, g'' और विधेय प्रतीक ''Q'' है। | |||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 11:17, 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)
