परमाणु सूत्र

गणितीय तर्क में, नाभिकीय सूत्र एक ऐसा सूत्र है जिसमें कोई प्रस्ताविक संरचना नहीं होती है, अर्थात एक ऐसा सूत्र जिसमें कोई तार्किक संयोजक या समकक्ष सूत्र नहीं होता है जिसमें कोई सख्त उपसूत्र नहीं होता है। नाभिकीय सूत्र इस प्रकार तर्क के सबसे सरल सुनिर्मित सूत्र हैं। तार्किक संयोजकों का उपयोग करते हुए नाभिकीय सूत्रों को मिलाकर यौगिक सूत्र बनाए जाते हैं।

नाभिकीय सूत्रों का सटीक रूप विचाराधीन तर्क पर निर्भर करता है; प्रस्तावपरक तर्क के लिए, एक प्रस्तावपरक चर को अधिकांशतः अधिक संक्षेप में " नाभिकीय सूत्र" के रूप में संदर्भित किया जाता है, परंतु, अधिक सटीक रूप से, एक प्रस्तावक चर एक नाभिकीय सूत्र नहीं है, अपेक्षाकृत एक औपचारिक अभिव्यक्ति है जो एक नाभिकीय सूत्र को दर्शाता है। विधेय तर्क के लिए, नाभिकीय अपने तर्कों के साथ विधेय प्रतीक हैं, प्रत्येक तर्क एक शब्द है। प्रतिरूप सिद्धांत में,  नाभिकीय सूत्र केवल दिए गए हस्ताक्षर (तर्क) वाले प्रतीकों की तंत्रिका हैं, जो किसी दिए गए प्रतिरूप के संबंध में तृप्त हो सकते हैं या नहीं भी हो सकते हैं।

पहले क्रम के तर्क में परमाणु सूत्र
सामान्य प्रथम-क्रम तर्क के अच्छी तरह से गठित नियम और प्रस्ताव निम्नलिखित रचनाक्रम हैं:

वाक्य बीजगणित:
 * $$t \equiv c \mid x \mid f (t_{1},\dotsc, t_{n})$$,

एक शब्द को पुनरावर्ती से एक स्थिर c, या एक चर x, या एक n-ary फ़ंक्शन f के रूप में परिभाषित किया गया है, जिसके तर्क हैं। फ़ंक्शंस विषय ट्यूपल्स विषय को मानचित्र करता है।

तर्कवाक्य:
 * $$A, B, ... \equiv P (t_{1},\dotsc, t_{n}) \mid A \wedge B \mid \top \mid A \vee B \mid \bot \mid A \supset B \mid \forall x.\ A \mid \exists x.\ A $$,

एक तर्कवाक्य को पुनरावर्ती रूप से एक n- सव निर्धारक P के रूप में परिभाषित किया गया है, जिसका तर्क शब्द tk हैं, या तार्किक संयोजकों, या परिमाणकों से बना एक अभिव्यक्ति है जो अन्य तर्कवाक्यों के साथ प्रयोग किया जाता है।

एक नाभिकीय सूत्र या नाभिकीय शब्दों के एक समूह के लिए उचित एक विशेषण है; अर्थात्, एक नाभिकीय सूत्र P एक विशेषण और tn पदों के लिए P (t1,…, tn) के रूप का एक सूत्र है।

तार्किक संयोजकों और परिमाणकों के साथ अणुओं की रचना करके अन्य सभी सुनिर्मित सूत्र प्राप्त किए जाते हैं।

उदाहरण के लिए, सूत्र ∀x। P (x) ∧ ∃y। Q (y, f (x)) ∨ ∃z। R (z) में नाभिकीय होते हैं चूँकि नाभिकीय सूत्र में कोई परिमाणक प्रकट नहीं होते हैं, नाभिकीय सूत्र में चर प्रतीकों की सभी आवृत्तियाँ स्पष्ट होती हैं।
 * $$ P (x) $$
 * $$Q (y, f (x))$$
 * $$R (z)$$.

यह भी देखें

 * मॉडल सिद्धांत में, संरचना (गणितीय तर्क) नाभिकीय सूत्रों की व्याख्या प्रदान करती है।
 * सबूत सिद्धांत में, नाभिकीय सूत्रों के लिए पोलारिटी (प्रूफ थ्योरी) असाइनमेंट  ध्यान केंद्रित करना (सबूत सिद्धांत)  का एक अनिवार्य घटक है।
 * परमाणु वाक्य

अग्रिम पठन


Aussage (Logik)