परमाणु सूत्र: Difference between revisions

From Vigyanwiki
m (9 revisions imported from alpha:परमाणु_सूत्र)
No edit summary
 
Line 43: Line 43:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: विधेय तर्क]] [[Category: तार्किक भाव]]
 


[[de:Aussage (Logik)#einfache Aussagen - zusammengesetzte Aussagen]]
[[de:Aussage (Logik)#einfache Aussagen - zusammengesetzte Aussagen]]


 
[[Category:Collapse templates]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Vigyan Ready]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:तार्किक भाव]]
[[Category:विधेय तर्क]]

Latest revision as of 11:49, 18 May 2023

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

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


पहले क्रम के तर्क में परमाणु सूत्र

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

वाक्य बीजगणित:

  • ,

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

तर्कवाक्य:

  • ,

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

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

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

उदाहरण के लिए, सूत्र ∀x। P (x) ∧ ∃y। Q (y, f (x)) ∨ ∃z। R (z) में नाभिकीय होते हैं

  • .

चूँकि नाभिकीय सूत्र में कोई परिमाणक प्रकट नहीं होते हैं, नाभिकीय सूत्र में चर प्रतीकों की सभी आवृत्तियाँ स्पष्ट होती हैं।[2]


यह भी देखें

संदर्भ

  1. Hodges, Wilfrid (1997). एक छोटा मॉडल सिद्धांत. Cambridge University Press. pp. 11–14. ISBN 0-521-58713-1.
  2. W. V. O. Quine, Mathematical Logic (1981), p.161. Harvard University Press, 0-674-55451-5


अग्रिम पठन

  • Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0.