मूल व्यंजक

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

प्रथम क्रम तर्क में समानता और उसके सिद्धांत के पहचान के साथ प्रथम क्रम तर्क वाक्य गणितीय तर्क $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$ विधेय प्रतीकों का सेट होता है.

ग्राउंड टर्म

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

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

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

भूमि परमाणु

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

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

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

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

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

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

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

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

यह भी देखें

• विवृत सूत्र
• वाक्य गणितीय तर्क

संदर्भ

• 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