मूल व्यंजक: Difference between revisions

Revision as of 16:44, 5 September 2023

गणितीय तर्क में औपचारिक प्रणाली का आधार शब्द एक ऐसा शब्द है, जिसमें कोई चर के रूप में निहित नहीं होता है। इसी प्रकार ग्राउंड फॉर्मूला एक ऐसा फॉर्मूला है जिसमें कोई भी चर नहीं होता है।

प्रथम क्रम तर्क में समानता और उसके सिद्धांत के पहचान के साथ प्रथम क्रम तर्क वाक्य गणितीय तर्क $Q(a)\lor P(b)$ के रूप में एक मूल फार्मूला है, $a$ और $b$ निरंतर प्रतीक के रूप में होने चाहिए। मूल अभिव्यक्ति एक मूल शब्द या मूल फॉर्मूला है।

उदाहरण

स्थिर प्रतीकों वाले हस्ताक्षर गणितीय तर्क पर प्रथम क्रम तर्क में निम्नलिखित अभिव्यक्तियों के रूप में विचार करते है, $0$ और $1$ क्रमशः संख्या 0 और 1 के लिए एकअंगी फलन प्रतीक $s$ उत्तराधिकारी फलन और द्विअंगी फलन प्रतीक के लिए $+$ जोड़ने के रूप में होता है.

$s(0),s(s(0)),s(s(s(0))),\ldots$ मूल शर्तें हैं.
$0+1,\;0+1+1,\ldots$ मूल शर्तें हैं.
$0+s(0),\;s(0)+s(0),\;s(0)+s(s(0))+0$ मूल शर्तें हैं,
$x+s(1)$ और $s(x)$ शर्तें हैं, लेकिन मूल शर्तें नहीं हैं.
$s(0)=1$ और $0+0=0$ मूल फॉर्मूला हैं.

औपचारिक परिभाषाएँ

प्रथम क्रम भाषाओं के लिए एक औपचारिक परिभाषा इस प्रकार है। प्रथम क्रम की भाषा दी जाए साथ $C$ निरंतर प्रतीकों का सेट $F$ कार्यात्मक संचालक का सेट और $P$ विधेय प्रतीकों का सेट होता है.

ग्राउंड टर्म

ग्राउंड टर्म एक शब्द तर्क के रूप में है, जिसमें कोई चर नहीं है। ग्राउंड टर्म्स को तार्किक रिकर्सन फॉर्मूला-रिकर्सन के रूप में परिभाषित किया जा सकता है:

घटक $C$ मूल शर्तें हैं;
यदि $f\in F$ एक $n$ -एरी फलन प्रतीक और $\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}$ तो फिर ये मूल शर्तें हैं $f\left(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}\right)$ एक मूल शब्द के रूप में है.
प्रत्येक मूल शब्द को उपरोक्त दो नियमों के सीमित अनुप्रयोग द्वारा दिया जा सकता है, कोई अन्य मूल शर्तें नहीं हैं, चूंकि विशेष रूप से विधेय मूल शब्द नहीं हो सकते हैं।

सामान्यतः कहें तो, हेरब्रांड ब्रह्मांड सभी मूल शब्दों का समूह है।

भूमि परमाणु

एक ग्राउंड विधेय ग्राउंड परमाणु या ग्राउंड शाब्दिक एक परमाणु फॉर्मूला का रूप है, जिसके सभी तर्क शब्द मूल शर्तें हैं।

यदि $p\in P$ एक $n$ -एरी विधेय प्रतीक और $\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}$ तो फिर ये मूल शर्तें हैं $p\left(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}\right)$ एक मूल विधेय या मूल परमाणु है।

सामान्यतः कहें तो, हेरब्रांड आधार सभी मूल परमाणुओं का समूह है,^[1] जबकि हेरब्रांड व्याख्या आधार में प्रत्येक मूल परमाणु को एक सत्य मान के रूप में प्रदान करती है।

ग्राउंड फॉर्मूला

एक ग्राउंड फॉर्मूला या ग्राउंड क्लॉज चर के बिना एक फॉर्मूला है।

ग्राउंड फ़ार्मुलों को वाक्यविन्यास पुनरावर्तन द्वारा निम्नानुसार परिभाषित किया जा सकता है:

एक मूल परमाणु एक मूल फॉर्मूला है।
यदि $\varphi$ और $\psi$ तो, ये मूल फॉर्मूला हैं $\lnot \varphi$ , $\varphi \lor \psi$ , और $\varphi \land \psi$ मूल फॉर्मूला हैं.

मूल फॉर्मूला एक विशेष प्रकार के वाक्य गणितीय तर्क के रूप में होते हैं।

यह भी देखें

संदर्भ

↑ Alex Sakharov. "Ground Atom". MathWorld. Retrieved October 20, 2022.

Dalal, M. (2000), "Logic-based computer programming paradigms", in Rosen, K.H.; Michaels, J.G. (eds.), Handbook of discrete and combinatorial mathematics, p. 68
Hodges, Wilfrid (1997), A shorter model theory, Cambridge University Press, ISBN 978-0-521-58713-6
First-Order Logic: Syntax and Semantics

[1] Alex Sakharov. "Ground Atom". MathWorld. Retrieved October 20, 2022.

[1]

@@ Line 1: / Line 1: @@
-{{Short description|Term that does not contain any variables}}
+[[गणितीय तर्क]] में [[औपचारिक प्रणाली]] का आधार शब्द एक ऐसा शब्द है, जिसमें कोई [[चर (गणित)|चर]] के रूप में  निहित नहीं होता है। इसी प्रकार ग्राउंड फॉर्मूला एक ऐसा फॉर्मूला है जिसमें कोई भी चर नहीं होता है।
-[[गणितीय तर्क]] में [[औपचारिक प्रणाली]] का आधार पद एक ऐसा पद है, जिसमें कोई [[चर (गणित)|चर]] के रूप में  निहित नहीं होता है। इसी प्रकार ग्राउंड फॉर्मूला एक ऐसा फॉर्मूला है जिसमें कोई भी चर नहीं होता है।
 प्रथम क्रम तर्क में समानता और उसके सिद्धांत के पहचान के साथ प्रथम क्रम तर्क [[वाक्य (गणितीय तर्क)|वाक्य गणितीय तर्क]] <math>Q(a) \lor P(b)</math> के रूप में एक मूल फार्मूला है, <math>a</math> और <math>b</math> निरंतर प्रतीक के रूप में होने चाहिए। मूल अभिव्यक्ति एक मूल शब्द या मूल फॉर्मूला है।
@@ Line 22: / Line 21: @@
 # घटक <math>C</math> मूल शर्तें हैं;
 # यदि <math>f \in F</math> एक <math>n</math>-एरी फलन प्रतीक और <math>\alpha_1, \alpha_2, \ldots, \alpha_n</math> तो फिर ये मूल शर्तें हैं <math>f\left(\alpha_1, \alpha_2, \ldots, \alpha_n\right)</math> एक मूल शब्द के रूप में है.
-# प्रत्येक मूल पद को उपरोक्त दो नियमों के सीमित अनुप्रयोग द्वारा दिया जा सकता है, कोई अन्य मूल शर्तें नहीं हैं, चूंकि विशेष रूप से विधेय मूल शब्द नहीं हो सकते हैं।
+# प्रत्येक मूल  शब्द को उपरोक्त दो नियमों के सीमित अनुप्रयोग द्वारा दिया जा सकता है, कोई अन्य मूल शर्तें नहीं हैं, चूंकि विशेष रूप से विधेय मूल शब्द नहीं हो सकते हैं।
 सामान्यतः कहें तो, [[हेरब्रांड ब्रह्मांड]] सभी मूल शब्दों का समूह है।
@@ Line 28: / Line 27: @@
 ===भूमि परमाणु===
-एक ग्राउंड विधेय ग्राउंड परमाणु या ग्राउंड शाब्दिक एक [[परमाणु सूत्र|परमाणु फॉर्मूला]] का रूप है, जिसके सभी तर्क पद मूल शर्तें हैं।
+एक ग्राउंड विधेय ग्राउंड परमाणु या ग्राउंड शाब्दिक एक [[परमाणु सूत्र|परमाणु फॉर्मूला]] का रूप है, जिसके सभी तर्क  शब्द मूल शर्तें हैं।
 यदि <math>p \in P</math> एक <math>n</math>-एरी विधेय प्रतीक और <math>\alpha_1, \alpha_2, \ldots, \alpha_n</math> तो फिर ये मूल शर्तें हैं <math>p\left(\alpha_1, \alpha_2, \ldots, \alpha_n\right)</math> एक मूल विधेय या मूल परमाणु है।

Anonymous

Search

मूल व्यंजक: Difference between revisions

Namespaces

More

Page actions

Revision as of 16:44, 5 September 2023

Contents

उदाहरण