फार्मेशन रूल: Difference between revisions

From Vigyanwiki
(Created page with "गणितीय तर्क में, गठन नियम यह वर्णन करने के लिए नियम हैं कि औपचारि...")
 
No edit summary
Line 1: Line 1:
[[गणितीय तर्क]] में, गठन नियम यह वर्णन करने के लिए नियम हैं कि [[औपचारिक भाषा]] के [[वर्णमाला (कंप्यूटर विज्ञान)]] से बने [[प्रतीक (औपचारिक)]] की कौन सी [[स्ट्रिंग (कंप्यूटर विज्ञान)]] भाषा के भीतर [[वाक्यविन्यास (तर्क)]] [[वैधता (तर्क)]] है।<ref>{{Cite book |last=Hinman|first=Peter|title=गणितीय तर्क के मूल सिद्धांत|date=2005 |url=https://www.routledge.com/Fundamentals-of-Mathematical-Logic/Hinman/p/book/9781568812625 |access-date=2022-11-17 |publisher=A K Peters/CRC Press |language=en |quote=Specifying the syntax of any language L follows a common pattern. First a set of symbols is given, and we define an L-expression to be any finite sequence of these symbols. Then we specify one or more sets of L-expressions which we regard as meaningful. The meaningful expressions are generally described as those constructed by following certain rules or algorithms, and the set of them is characterized as the smallest set of expressions which is closed under these formation rules.}}</ref> ये नियम केवल भाषा के तारों के स्थान और हेरफेर को संबोधित करते हैं। यह किसी भाषा के बारे में और कुछ भी वर्णन नहीं करता है, जैसे कि उसका शब्दार्थ (अर्थात् तारों का क्या अर्थ है)। ([[औपचारिक व्याकरण]] भी देखें)।
[[गणितीय तर्क]] में, '''गठन नियम''' यह वर्णन करने के लिए नियम हैं कि [[औपचारिक भाषा]] की [[वर्णमाला (कंप्यूटर विज्ञान)|वर्णमाला]] से बने प्रतीकों की कौन सी [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] भाषा के भीतर वाक्य-विन्यास की दृष्टि से मान्य हैं।<ref>{{Cite book |last=Hinman|first=Peter|title=गणितीय तर्क के मूल सिद्धांत|date=2005 |url=https://www.routledge.com/Fundamentals-of-Mathematical-Logic/Hinman/p/book/9781568812625 |access-date=2022-11-17 |publisher=A K Peters/CRC Press |language=en |quote=Specifying the syntax of any language L follows a common pattern. First a set of symbols is given, and we define an L-expression to be any finite sequence of these symbols. Then we specify one or more sets of L-expressions which we regard as meaningful. The meaningful expressions are generally described as those constructed by following certain rules or algorithms, and the set of them is characterized as the smallest set of expressions which is closed under these formation rules.}}</ref> ये नियम केवल भाषा की पंक्तियों के स्थान और हेरफेर को संबोधित करते हैं। यह किसी भाषा के बारे में और कुछ भी वर्णन नहीं करता है, जैसे कि उसका शब्दार्थ (अर्थात स्ट्रिंग्स का क्या अर्थ है)। ( औपचारिक व्याकरण भी देखें )।


==औपचारिक भाषा==
==औपचारिक भाषा==
{{Main|Formal language}}
{{Main|औपचारिक भाषा}}
एक औपचारिक भाषा [[प्रतीक]]ों का एक संगठित [[सेट (गणित)]] है, इसकी अनिवार्य विशेषता यह है कि इसे उन प्रतीकों के आकार और स्थान के [[संदर्भ]] में सटीक रूप से परिभाषित किया जा सकता है। ऐसी भाषा को उसके किसी भी भाव के किसी भी अर्थ (भाषाविज्ञान) के संदर्भ के बिना परिभाषित किया जा सकता है; यह किसी भी [[व्याख्या (तर्क)]] को सौंपे जाने से पहले अस्तित्व में रह सकता है - यानी, इसका कोई अर्थ होने से पहले। एक औपचारिक व्याकरण यह निर्धारित करता है कि औपचारिक भाषा में कौन से प्रतीक और प्रतीकों के सेट फॉर्मूला (गणितीय तर्क) हैं।
 
एक ''औपचारिक भाषा'' प्रतीकों का एक संगठित समूह है, जिसकी आवश्यक विशेषता यह है कि इसे उन प्रतीकों के आकार और स्थान के [[संदर्भ]] में सटीक रूप से परिभाषित किया जा सकता है। ऐसी भाषा को उसकी किसी भी अभिव्यक्ति के किसी भी अर्थ के संदर्भ के बिना परिभाषित किया जा सकता है; यह किसी भी व्याख्या को निर्दिष्ट करने से पहले अस्तित्व में रह सकता है - यानी, इसका कोई अर्थ होने से पहले। औपचारिक व्याकरण यह निर्धारित करता है कि औपचारिक भाषा में कौन से प्रतीक और प्रतीकों का समूह सूत्र हैं।


== औपचारिक प्रणालियाँ ==
== औपचारिक प्रणालियाँ ==
{{main|Formal system}}
{{main|औपचारिक प्रणाली}}


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


== प्रस्तावात्मक और विधेय तर्क ==
== प्रस्तावात्मक और विधेय तर्क ==

Revision as of 08:22, 20 July 2023

गणितीय तर्क में, गठन नियम यह वर्णन करने के लिए नियम हैं कि औपचारिक भाषा की वर्णमाला से बने प्रतीकों की कौन सी स्ट्रिंग भाषा के भीतर वाक्य-विन्यास की दृष्टि से मान्य हैं।[1] ये नियम केवल भाषा की पंक्तियों के स्थान और हेरफेर को संबोधित करते हैं। यह किसी भाषा के बारे में और कुछ भी वर्णन नहीं करता है, जैसे कि उसका शब्दार्थ (अर्थात स्ट्रिंग्स का क्या अर्थ है)। ( औपचारिक व्याकरण भी देखें )।

औपचारिक भाषा

एक औपचारिक भाषा प्रतीकों का एक संगठित समूह है, जिसकी आवश्यक विशेषता यह है कि इसे उन प्रतीकों के आकार और स्थान के संदर्भ में सटीक रूप से परिभाषित किया जा सकता है। ऐसी भाषा को उसकी किसी भी अभिव्यक्ति के किसी भी अर्थ के संदर्भ के बिना परिभाषित किया जा सकता है; यह किसी भी व्याख्या को निर्दिष्ट करने से पहले अस्तित्व में रह सकता है - यानी, इसका कोई अर्थ होने से पहले। औपचारिक व्याकरण यह निर्धारित करता है कि औपचारिक भाषा में कौन से प्रतीक और प्रतीकों का समूह सूत्र हैं।

औपचारिक प्रणालियाँ

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

प्रस्तावात्मक और विधेय तर्क

उदाहरण के लिए, एक प्रस्तावित कलन के निर्माण नियम इस प्रकार का रूप ले सकते हैं;

  • यदि हम Φ को एक प्रस्तावक सूत्र के रूप में लेते हैं तो हम इसे भी ले सकते हैं Φ एक सूत्र होना;
  • यदि हम Φ और Ψ को एक प्रस्तावक सूत्र मानते हैं तो हम (Φ) भी ले सकते हैं Ψ), (एफ Ψ), (एफ सी) और (एफ Ψ) भी सूत्र होंगे।

एक विधेय कैलकुलस में आम तौर पर क्वांटिफायर (तर्क) के अतिरिक्त के साथ एक प्रस्ताव कैलकुलस के समान सभी नियम शामिल होंगे, जैसे कि यदि हम Φ को प्रस्ताव तर्क का सूत्र मानते हैं और α को एक चर (गणित) के रूप में लेते हैं तो हम ले सकते हैं (ए)एफ और (α)Φ प्रत्येक हमारे विधेय कलन के सूत्र होंगे।

यह भी देखें

संदर्भ

  1. Hinman, Peter (2005). गणितीय तर्क के मूल सिद्धांत (in English). A K Peters/CRC Press. Retrieved 2022-11-17. Specifying the syntax of any language L follows a common pattern. First a set of symbols is given, and we define an L-expression to be any finite sequence of these symbols. Then we specify one or more sets of L-expressions which we regard as meaningful. The meaningful expressions are generally described as those constructed by following certain rules or algorithms, and the set of them is characterized as the smallest set of expressions which is closed under these formation rules.