शाब्दिक (गणितीय तर्क): Difference between revisions

Latest revision as of 07:03, 16 July 2023

गणितीय तर्क में, शाब्दिक एक परमाण्विक सूत्र (जिसे परमाण्विक या अभाज्य सूत्र के रूप में भी जाना जाता है) या उसका निषेधन है।^[1]^[2] परिभाषा अधिकतर प्रमाण सिद्धांत (चिरसम्मत तर्क) में प्रकट होती है, उदाहरण के लिए संयोजनात्मक सामान्य रूप में और समाधान की विधि होती है।

शाब्दिकों को दो प्रकारों में विभाजित किया जा सकता है:^[2]

धनात्मक शाब्दिक सिर्फ एक परमाण्विक है (जैसे, $x$ )।
ऋणत्मक शाब्दिक एक परमाण्विक का निषेध है (जैसे, $\lnot x$ )।

शाब्दिक की ध्रुवता धनात्मक या ऋणात्मक है जो इस बात पर निर्भर करती है कि यह धनात्मक या ऋणात्मक शाब्दिक है।

दोहरे निषेध उन्मूलन वाले तर्कशास्त्र में (जहाँ $\lnot \lnot x\equiv x$ ) शाब्दिक $l$ के पूरक शाब्दिक या पूरक को $l$ के निषेध के अनुरूप शाब्दिक के रूप में परिभाषित किया जा सकता है।^[3] हम $l$ के पूरक शाब्दिक को निरूपित करने के लिए ${\bar {l}}$ लिख सकते हैं। अधिक सटीक रूप से, यदि $l\equiv x$ है तो ${\bar {l}}$ है $\lnot x$ और यदि $l\equiv \lnot x$ तो ${\bar {l}}$ $x$ है। चिरसम्मत तर्कशास्त्र में दोहरा निषेध उन्मूलन है लेकिन अंतर्ज्ञानवादी तर्क में नहीं होता है।

संयोजक सामान्य रूप में किसी सूत्र के संदर्भ में, शाब्दिक शुद्ध होता है यदि सूत्र में शाब्दिक पूरक प्रदर्शित नहीं होता है।

बूलियन फ़ंक्शंस में, चर की प्रत्येक अलग घटना, या तो व्युत्क्रम या अपूरित रूप में, शाब्दिक है। उदाहरण के लिए, यदि $A$ , $B$ और $C$ चर हैं तो अभिव्यक्ति ${\bar {A}}BC$ में तीन अक्षर हैं और अभिव्यक्ति ${\bar {A}}C+{\bar {B}}{\bar {C}}$ में चार अक्षर हैं। हालाँकि, अभिव्यक्ति ${\bar {A}}C+{\bar {B}}C$ को भी चार अक्षर वाला कहा जाएगा, क्योंकि यद्यपि दो अक्षर समान हैं ( $C$ दो बार दिखाई देता है) ये दो अलग-अलग घटनाओं के रूप में योग्य हैं।^[4]

उदाहरण

प्रस्तावात्मक कलन में एक शाब्दिक मात्र प्रस्तावात्मक चर या उसका निषेध है।

विधेय कैलकुलस में शाब्दिक एक परमाण्विक सूत्र या उसका निषेध है, जहां परमाण्विक सूत्र कुछ शब्दों पर उपयुक्त विधेय प्रतीक है, $P(t_{1},\ldots ,t_{n})$ निरंतर प्रतीकों, परिवर्तनीय प्रतीकों और फलन प्रतीकों से प्रारम्भ होने वाले शब्दों के साथ पुनरावर्ती रूप से परिभाषित है। उदाहरण के लिए, $\neg Q(f(g(x),y,2),x)$ एक ऋणात्मक शाब्दिक है जिसमें स्थिर प्रतीक 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 $l$ is a literal, $l^{c}$ is its complement. This means that if $l=p$ , then, $l^{c}={\bar {p}}$ and if $l={\bar {p}}$ then $l^{c}=p$ .
↑ 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)

[Rautenberg2010-1] 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.

[Ben-Ari-2] 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.

[3] Ben-Ari, Mordechai (2001). कंप्यूटर विज्ञान के लिए गणितीय तर्क (Second ed.). Springer. p. 69. ISBN 1-85233-319-7. If $l$ is a literal, $l^{c}$ is its complement. This means that if $l=p$ , then, $l^{c}={\bar {p}}$ and if $l={\bar {p}}$ then $l^{c}=p$ .

[4] Godse, A. P.; Godse, D. A. (2008). डिजिटल लॉजिक सर्किट. Technical Publications. ISBN 9788184314250.

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
 {{Short description|In mathematical logic, an atomic formula or its negation}}
-[[गणितीय तर्क]] में, '''शाब्दिक''' एक [[परमाणु सूत्र]] (जिसे परमाणु या अभाज्य सूत्र के रूप में भी जाना जाता है) या उसका निषेधन है।<ref name=Rautenberg2010>{{cite book |last=Rautenberg |first=Wolfgang |authorlink=Wolfgang Rautenberg |year=2010 |title=गणितीय तर्क का संक्षिप्त परिचय|edition=3rd |series=Universitext |publisher=Springer |doi=10.1007/978-1-4419-1221-3 |isbn=978-1-4419-1220-6 |page=57 |quote=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''.}}</ref><ref name=Ben-Ari>{{cite book |last=Ben-Ari |first=Mordechai |authorlink=Mordechai Ben-Ari |date=2001 |title=कंप्यूटर विज्ञान के लिए गणितीय तर्क|edition=2nd |publisher=Springer |isbn=1-85233-319-7 |page=30 |quote=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''.}}</ref> परिभाषा अधिकतर [[प्रमाण सिद्धांत]] (चिरसम्मत तर्क) में प्रकट होती है, उदाहरण के लिए संयोजनात्मक सामान्य रूप में और समाधान की विधि होती है।
+[[गणितीय तर्क]] में, '''शाब्दिक''' एक [[परमाणु सूत्र|परमाण्विक सूत्र]] (जिसे  परमाण्विक या अभाज्य सूत्र के रूप में भी जाना जाता है) या उसका निषेधन है।<ref name=Rautenberg2010>{{cite book |last=Rautenberg |first=Wolfgang |authorlink=Wolfgang Rautenberg |year=2010 |title=गणितीय तर्क का संक्षिप्त परिचय|edition=3rd |series=Universitext |publisher=Springer |doi=10.1007/978-1-4419-1221-3 |isbn=978-1-4419-1220-6 |page=57 |quote=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''.}}</ref><ref name=Ben-Ari>{{cite book |last=Ben-Ari |first=Mordechai |authorlink=Mordechai Ben-Ari |date=2001 |title=कंप्यूटर विज्ञान के लिए गणितीय तर्क|edition=2nd |publisher=Springer |isbn=1-85233-319-7 |page=30 |quote=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''.}}</ref> परिभाषा अधिकतर [[प्रमाण सिद्धांत]] (चिरसम्मत तर्क) में प्रकट होती है, उदाहरण के लिए संयोजनात्मक सामान्य रूप में और समाधान की विधि होती है।
 शाब्दिकों को दो प्रकारों में विभाजित किया जा सकता है:<ref name=Ben-Ari/>
-* '''धनात्मक शाब्दिक''' सिर्फ एक परमाणु है (जैसे,<math>x</math>)।
+* '''धनात्मक शाब्दिक''' सिर्फ एक  परमाण्विक है (जैसे,<math>x</math>)।
-* '''ऋणत्मक शाब्दिक''' एक परमाणु का निषेध है (जैसे, <math>\lnot x</math>)।
+* '''ऋणत्मक शाब्दिक''' एक  परमाण्विक का निषेध है (जैसे, <math>\lnot x</math>)।
 शाब्दिक की ध्रुवता धनात्मक या ऋणात्मक है जो इस बात पर निर्भर करती है कि यह धनात्मक या ऋणात्मक शाब्दिक है।
@@ Line 17: / Line 17: @@
 [[प्रस्तावात्मक कलन]] में एक शाब्दिक मात्र [[प्रस्तावात्मक चर]] या उसका निषेध है।
-विधेय कैलकुलस में शाब्दिक एक परमाणु सूत्र या उसका निषेध है, जहां परमाणु सूत्र कुछ शब्दों पर उपयुक्त विधेय प्रतीक है, <math>P(t_1,\ldots,t_n)</math> निरंतर प्रतीकों, परिवर्तनीय प्रतीकों और फलन प्रतीकों से प्रारम्भ होने वाले शब्दों के साथ पुनरावर्ती रूप से परिभाषित  है। उदाहरण के लिए, <math>\neg Q(f(g(x), y, 2), x)</math> एक ऋणात्मक शाब्दिक है जिसमें स्थिर प्रतीक 2, चर प्रतीक ''x, y'', फलन प्रतीक ''f, g'' और विधेय प्रतीक ''Q'' है।
+विधेय कैलकुलस में शाब्दिक एक  परमाण्विक सूत्र या उसका निषेध है, जहां  परमाण्विक सूत्र कुछ शब्दों पर उपयुक्त विधेय प्रतीक है, <math>P(t_1,\ldots,t_n)</math> निरंतर प्रतीकों, परिवर्तनीय प्रतीकों और फलन प्रतीकों से प्रारम्भ होने वाले शब्दों के साथ पुनरावर्ती रूप से परिभाषित  है। उदाहरण के लिए, <math>\neg Q(f(g(x), y, 2), x)</math> एक ऋणात्मक शाब्दिक है जिसमें स्थिर प्रतीक 2, चर प्रतीक ''x, y'', फलन प्रतीक ''f, g'' और विधेय प्रतीक ''Q'' है।
 ==संदर्भ==
 <references />
 *{{cite book |last=Buss |first=Samuel R. |editor-last=Buss |editor-first=Samuel R. |date=1998 |title=An Introduction to Proof Theory |work=Handbook of Proof Theory |url=http://math.ucsd.edu/~sbuss/ResearchWeb/handbookI/ |publisher=Elsevier |isbn=0-444-89840-9 |pages=1–78}}
-[[Category: गणितीय तर्क]] [[Category: प्रस्तावात्मक कलन]] [[Category: तर्क प्रतीक]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 07/07/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors|Short description/doc]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Template documentation pages|Short description/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]

Anonymous

Search

शाब्दिक (गणितीय तर्क): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 07:03, 16 July 2023

उदाहरण

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

शाब्दिक (गणितीय तर्क): Difference between revisions

Latest revision as of 07:03, 16 July 2023

उदाहरण

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories