अनुमान का नियम: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Systematic logical process capable of deriving a conclusion from hypotheses}} | {{Short description|Systematic logical process capable of deriving a conclusion from hypotheses}} | ||
{{Transformation rules}} | {{Transformation rules}} | ||
तर्कशास्त्र के दर्शन में, अनुमान का नियम, अनुमान नियम या परिवर्तन नियम एक [[तार्किक रूप]] है जिसमें एक फ़ंक्शन होता है जो परिसर लेता है, उनके [[सिंटेक्स (तर्क)]]तर्क) का विश्लेषण करता है, और एक निष्कर्ष (या [[बहु-निष्कर्ष तर्क]]) देता है। उदाहरण के लिए, ''[[मूड सेट करना]]'' नामक अनुमान का नियम दो आधारवाक्य लेता है, एक यदि p तो q के रूप में और दूसरा p के रूप में, और निष्कर्ष q लौटाता है। नियम [[शास्त्रीय तर्क]] (साथ ही कई अन्य गैर- | तर्कशास्त्र के दर्शन में, अनुमान का नियम, अनुमान नियम या परिवर्तन नियम एक [[तार्किक रूप]] है जिसमें एक फ़ंक्शन होता है जो परिसर लेता है, उनके [[सिंटेक्स (तर्क)]]तर्क) का विश्लेषण करता है, और एक निष्कर्ष (या [[बहु-निष्कर्ष तर्क]]) देता है। उदाहरण के लिए, ''[[मूड सेट करना]]'' नामक अनुमान का नियम दो आधारवाक्य लेता है, एक यदि p तो q के रूप में और दूसरा p के रूप में, और निष्कर्ष q लौटाता है। नियम [[शास्त्रीय तर्क|मौलिक तर्क]] (साथ ही कई अन्य गैर-मौलिक लॉजिक्स के शब्दार्थ) के शब्दार्थ के संबंध में मान्य है, इस अर्थ में कि यदि परिसर सत्य हैं (एक व्याख्या के अनुसार ), तो निष्कर्ष भी है। | ||
सामान्यतः, अनुमान का एक नियम सत्य, एक सिमेंटिक संपत्ति को संरक्षित करता है। [[बहु-मूल्यवान तर्क]] में, यह एक सामान्य पदनाम को सुरक्षित रखता है। | सामान्यतः, अनुमान का एक नियम सत्य, एक सिमेंटिक संपत्ति को संरक्षित करता है। [[बहु-मूल्यवान तर्क]] में, यह एक सामान्य पदनाम को सुरक्षित रखता है। किन्तुअनुमान की कार्रवाई का एक नियम विशुद्ध रूप से वाक्य-विन्यास है, और किसी भी शब्दार्थ संपत्ति को संरक्षित करने की आवश्यकता नहीं है: सूत्रों के सेट से सूत्र तक कोई भी कार्य अनुमान के नियम के रूप में गिना जाता है। सामान्यतः एकमात्र [[प्रत्यावर्तन]] वाले नियम ही महत्वपूर्ण होते हैं; अर्थात नियम ऐसे हैं कि यह निर्धारित करने के लिए एक [[प्रभावी प्रक्रिया]] है कि क्या कोई दिया गया सूत्र नियम के अनुसार सूत्रों के दिए गए सेट का निष्कर्ष है। नियम का एक उदाहरण जो इस अर्थ में प्रभावी नहीं है, अनंत ω-सुसंगत सिद्धांत|ω-नियम है।<ref>{{Cite book | last1 = Boolos | first1 = George | last2 = Burgess | first2 = John | last3 = Jeffrey | first3 = Richard C. | title = Computability and logic | year = 2007 | publisher = Cambridge University Press | location = Cambridge | isbn = 0-521-87752-0 | page = [https://archive.org/details/computabilitylog0000bool/page/364 364] | url = https://archive.org/details/computabilitylog0000bool/page/364 }}</ref> | ||
प्रस्तावपरक तर्क में अनुमान के लोकप्रिय नियमों में मोडस पोनेन्स, [[मूड ले रहा है]] और [[कोंटरापज़िशन]] सम्मलित हैं। प्रथम-क्रम [[विधेय तर्क]] [[तार्किक परिमाणक]]ों से निपटने के लिए अनुमान के नियमों का उपयोग करता है। | प्रस्तावपरक तर्क में अनुमान के लोकप्रिय नियमों में मोडस पोनेन्स, [[मूड ले रहा है]] और [[कोंटरापज़िशन]] सम्मलित हैं। प्रथम-क्रम [[विधेय तर्क]] [[तार्किक परिमाणक]]ों से निपटने के लिए अनुमान के नियमों का उपयोग करता है। | ||
| Line 15: | Line 15: | ||
<br> निष्कर्ष | <br> निष्कर्ष | ||
यह अभिव्यक्ति बताती है कि जब भी कुछ तार्किक व्युत्पत्ति के दौरान दिए गए परिसर को प्राप्त किया जाता है, तो निर्दिष्ट निष्कर्ष भी लिया जा सकता है। परिसर और निष्कर्ष दोनों का वर्णन करने के लिए उपयोग की जाने वाली | यह अभिव्यक्ति बताती है कि जब भी कुछ तार्किक व्युत्पत्ति के दौरान दिए गए परिसर को प्राप्त किया जाता है, तो निर्दिष्ट निष्कर्ष भी लिया जा सकता है। परिसर और निष्कर्ष दोनों का वर्णन करने के लिए उपयोग की जाने वाली त्रुटिहीन औपचारिक भाषा व्युत्पत्तियों के वास्तविक संदर्भ पर निर्भर करती है। एक साधारण स्थितियों में, तार्किक सूत्रों का उपयोग किया जा सकता है, जैसे कि: | ||
: <math>A \to B</math> | : <math>A \to B</math> | ||
: <math>\underline{A \quad \quad \quad}\,\!</math> | : <math>\underline{A \quad \quad \quad}\,\!</math> | ||
: <math>B\!</math> | : <math>B\!</math> | ||
यह प्रस्तावपरक तर्क का मोडस पोनेन्स नियम है। अनुमान के नियम अक्सर [[मेटावैरिएबल]]्स को नियोजित करने वाले [[स्कीमा (तर्क)]] के रूप में तैयार किए जाते हैं।<ref name="Reynolds2009">{{cite book|author=John C. Reynolds|title=Theories of Programming Languages|url=https://books.google.com/books?id=2OwlTC4SOccC&pg=PA12|year=2009|orig-year=1998|publisher=Cambridge University Press|isbn=978-0-521-10697-9|page=12}}</ref> उपरोक्त नियम (स्कीमा) में, अनुमान नियमों का एक [[अनंत सेट]] बनाने के लिए मेटावेरिएबल्स ए और बी को ब्रह्मांड के किसी भी तत्व (या कभी-कभी, सम्मेलन | यह प्रस्तावपरक तर्क का मोडस पोनेन्स नियम है। अनुमान के नियम अक्सर [[मेटावैरिएबल]]्स को नियोजित करने वाले [[स्कीमा (तर्क)]] के रूप में तैयार किए जाते हैं।<ref name="Reynolds2009">{{cite book|author=John C. Reynolds|title=Theories of Programming Languages|url=https://books.google.com/books?id=2OwlTC4SOccC&pg=PA12|year=2009|orig-year=1998|publisher=Cambridge University Press|isbn=978-0-521-10697-9|page=12}}</ref> उपरोक्त नियम (स्कीमा) में, अनुमान नियमों का एक [[अनंत सेट]] बनाने के लिए मेटावेरिएबल्स ए और बी को ब्रह्मांड के किसी भी तत्व (या कभी-कभी, सम्मेलन के माध्यम से, प्रतिबंधित उपसमुच्चय जैसे [[प्रस्ताव]]) के लिए तत्काल किया जा सकता है। | ||
सबूत बनाने के लिए एक साथ बंधे नियमों के एक सेट से एक सबूत प्रणाली बनाई जाती है, जिसे व्युत्पत्ति भी कहा जाता है। किसी भी व्युत्पत्ति का एकमात्र एक अंतिम निष्कर्ष होता है, जो कि सिद्ध या व्युत्पन्न कथन है। यदि आधारवाक्य व्युत्पत्ति में असंतुष्ट छोड़ दिया जाता है, तो व्युत्पत्ति एक काल्पनिक कथन का प्रमाण है: यदि परिसर धारण करता है, तो निष्कर्ष धारण करता है। | सबूत बनाने के लिए एक साथ बंधे नियमों के एक सेट से एक सबूत प्रणाली बनाई जाती है, जिसे व्युत्पत्ति भी कहा जाता है। किसी भी व्युत्पत्ति का एकमात्र एक अंतिम निष्कर्ष होता है, जो कि सिद्ध या व्युत्पन्न कथन है। यदि आधारवाक्य व्युत्पत्ति में असंतुष्ट छोड़ दिया जाता है, तो व्युत्पत्ति एक काल्पनिक कथन का प्रमाण है: यदि परिसर धारण करता है, तो निष्कर्ष धारण करता है। | ||
| Line 35: | Line 35: | ||
के रूप में लिखा गया है <math>(\text{Premise } 1), (\text{Premise } 2) \vdash (\text{Conclusion})</math>. | के रूप में लिखा गया है <math>(\text{Premise } 1), (\text{Premise } 2) \vdash (\text{Conclusion})</math>. | ||
मौलिक तर्कवाक्य तर्क के लिए औपचारिक भाषा को एकमात्र निषेध (¬), निहितार्थ (→) और प्रस्तावात्मक प्रतीकों का उपयोग करके व्यक्त किया जा सकता है। एक प्रसिद्ध स्वयंसिद्धकरण, जिसमें तीन स्वयंसिद्ध स्कीमाटा और एक अनुमान नियम (मॉडस पोनेन्स) सम्मलित हैं: | |||
(CA1) ⊢ ए → (बी → ए)<br/> | (CA1) ⊢ ए → (बी → ए)<br/> | ||
| Line 42: | Line 42: | ||
(एमपी) ए, ए → बी ⊢ बी | (एमपी) ए, ए → बी ⊢ बी | ||
इस | इस स्थितियों में अनुमान की दो धारणाएँ बेमानी लग सकती हैं, ⊢ और →। मौलिक तर्कवाक्य तर्क में, वे वास्तव में मेल खाते हैं; [[कटौती प्रमेय]] बताता है कि ए ⊢ बी यदि और एकमात्र यदि ⊢ ए → बी। चूंकि इस स्थितियों में भी जोर देने लायक एक अंतर है: पहला अंकन एक [[निगमनात्मक तर्क]] का वर्णन करता है, जो वाक्यों से वाक्यों में जाने की एक गतिविधि है, चूँकि ए → बी इस स्थितियों में एक [[तार्किक संयोजक]], निहितार्थ के साथ बनाया गया एक सूत्र है। एक अनुमान नियम के बिना (इस स्थितियों में मोडस पोनेन्स की प्रकार), कोई कटौती या अनुमान नहीं है। इस बिंदु को [[लुईस कैरोल]] के संवाद में चित्रित किया गया है, जिसे कछुआ ने अकिलिस से कहा था,<ref name="ChiaraDoets1996">{{cite book|editor1=Maria Luisa Dalla Chiara|editor1-link= Maria Luisa Dalla Chiara |editor2=Kees Doets |editor3=Daniele Mundici |editor4=Johan van Benthem |title=Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995|url=https://books.google.com/books?id=TCthvF8xLIAC&pg=PA290|year=1996|publisher=Springer|isbn=978-0-7923-4383-7|page=290|chapter=Logical consequence: a turn in style|author=Kosta Dosen}} [http://www.mi.sanu.ac.rs/~kosta/LOGCONS.pdf preprint (with different pagination)]</ref> साथ ही साथ व्हाट द टॉरटॉइज़ सेड टू अकिलिस#डिस्कशन के माध्यम से संवाद में प्रस्तुत किए गए विरोधाभास को हल करने के बाद के प्रयास। | ||
कुछ गैर- | कुछ गैर-मौलिक लॉजिक्स के लिए, कटौती प्रमेय लागू नहीं होता है। उदाहरण के लिए, Jan Łukasiewicz|Łukasiewicz के [[तीन-मूल्यवान तर्क]] को स्वयंसिद्ध किया जा सकता है:<ref>{{Cite book|first=Merrie |last=Bergmann|title=An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems|url=https://archive.org/details/introductiontoma00mber |url-access=limited |year=2008|publisher=Cambridge University Press|isbn=978-0-521-88128-9|page=[https://archive.org/details/introductiontoma00mber/page/n113 100]}}</ref> | ||
(CA1) ⊢ ए → (बी → ए)<br/> | (CA1) ⊢ ए → (बी → ए)<br/> | ||
(LA2) ⊢ (ए → बी) → ((बी → सी) → (ए → सी))<br/> | (LA2) ⊢ (ए → बी) → ((बी → सी) → (ए → सी))<br/> | ||
| Line 51: | Line 51: | ||
(एमपी) ए, ए → बी ⊢ बी | (एमपी) ए, ए → बी ⊢ बी | ||
यह अनुक्रम | यह अनुक्रम मौलिक तर्क से स्वयंसिद्ध 2 में परिवर्तन और अभिगृहीत 4 के जोड़ से भिन्न है। मौलिक कटौती प्रमेय इस तर्क के लिए मान्य नहीं है, चूंकि एक संशोधित रूप धारण करता है, अर्थात् ए ⊢ बी यदि और एकमात्र यदि ⊢ ए → (ए → बी)।<ref>{{Cite book|first=Merrie |last=Bergmann|title=An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems|url=https://archive.org/details/introductiontoma00mber |url-access=limited |year=2008|publisher=Cambridge University Press|isbn=978-0-521-88128-9|page=[https://archive.org/details/introductiontoma00mber/page/n127 114]}}</ref> | ||
| Line 74: | Line 74: | ||
{n \,\,\mathsf{nat}} | {n \,\,\mathsf{nat}} | ||
\end{array}</math> | \end{array}</math> | ||
यह प्राकृतिक संख्याओं का एक सत्य तथ्य है, जैसा कि गणितीय आगमन | यह प्राकृतिक संख्याओं का एक सत्य तथ्य है, जैसा कि गणितीय आगमन के माध्यम से सिद्ध किया जा सकता है। (यह सिद्ध करने के लिए कि यह नियम स्वीकार्य है, आधारवाक्य की व्युत्पत्ति मान लें और इसकी व्युत्पत्ति उत्पन्न करने के लिए इसे सम्मलित करें <math>n \,\,\mathsf{nat}</math>।) चूंकि, यह व्युत्पन्न नहीं है, क्योंकि यह आधार की व्युत्पत्ति की संरचना पर निर्भर करता है। इस वजह से, प्रूफ सिस्टम में अतिरिक्त के अनुसार व्युत्पत्ति स्थिर है, चूँकि स्वीकार्यता नहीं है। अंतर देखने के लिए, मान लीजिए कि निम्नलिखित बकवास नियम को प्रमाण प्रणाली में जोड़ा गया: | ||
: <math>\begin{array}{c}\\\hline {\mathbf{s(-3)} \,\,\mathsf{nat}} \end{array}</math> | : <math>\begin{array}{c}\\\hline {\mathbf{s(-3)} \,\,\mathsf{nat}} \end{array}</math> | ||
इस नई प्रणाली में, दोहरा-उत्तराधिकारी नियम अभी भी व्युत्पन्न है। | इस नई प्रणाली में, दोहरा-उत्तराधिकारी नियम अभी भी व्युत्पन्न है। चूँकि, पूर्ववर्ती को खोजने का नियम अब स्वीकार्य नहीं है, क्योंकि व्युत्पन्न करने का कोई विधि नहीं है <math>\mathbf{-3} \,\,\mathsf{nat}</math>. स्वीकार्यता की भंगुरता इसे सिद्ध करने के तरीके से आती है: चूंकि सबूत परिसर की व्युत्पत्तियों की संरचना पर सम्मलित हो सकता है, सिस्टम में विस्तार इस सबूत में नए स्थितियों जोड़ते हैं, जो अब पकड़ में नहीं आ सकते हैं। | ||
स्वीकार्य नियमों को प्रमाण प्रणाली के [[प्रमेय]]ों के रूप में माना जा सकता है। उदाहरण के लिए, एक अनुक्रम कलन में जहां कट विलोपन होता है, कट नियम स्वीकार्य है। | स्वीकार्य नियमों को प्रमाण प्रणाली के [[प्रमेय]]ों के रूप में माना जा सकता है। उदाहरण के लिए, एक अनुक्रम कलन में जहां कट विलोपन होता है, कट नियम स्वीकार्य है। | ||
Revision as of 10:42, 16 February 2023
तर्कशास्त्र के दर्शन में, अनुमान का नियम, अनुमान नियम या परिवर्तन नियम एक तार्किक रूप है जिसमें एक फ़ंक्शन होता है जो परिसर लेता है, उनके सिंटेक्स (तर्क)तर्क) का विश्लेषण करता है, और एक निष्कर्ष (या बहु-निष्कर्ष तर्क) देता है। उदाहरण के लिए, मूड सेट करना नामक अनुमान का नियम दो आधारवाक्य लेता है, एक यदि p तो q के रूप में और दूसरा p के रूप में, और निष्कर्ष q लौटाता है। नियम मौलिक तर्क (साथ ही कई अन्य गैर-मौलिक लॉजिक्स के शब्दार्थ) के शब्दार्थ के संबंध में मान्य है, इस अर्थ में कि यदि परिसर सत्य हैं (एक व्याख्या के अनुसार ), तो निष्कर्ष भी है।
सामान्यतः, अनुमान का एक नियम सत्य, एक सिमेंटिक संपत्ति को संरक्षित करता है। बहु-मूल्यवान तर्क में, यह एक सामान्य पदनाम को सुरक्षित रखता है। किन्तुअनुमान की कार्रवाई का एक नियम विशुद्ध रूप से वाक्य-विन्यास है, और किसी भी शब्दार्थ संपत्ति को संरक्षित करने की आवश्यकता नहीं है: सूत्रों के सेट से सूत्र तक कोई भी कार्य अनुमान के नियम के रूप में गिना जाता है। सामान्यतः एकमात्र प्रत्यावर्तन वाले नियम ही महत्वपूर्ण होते हैं; अर्थात नियम ऐसे हैं कि यह निर्धारित करने के लिए एक प्रभावी प्रक्रिया है कि क्या कोई दिया गया सूत्र नियम के अनुसार सूत्रों के दिए गए सेट का निष्कर्ष है। नियम का एक उदाहरण जो इस अर्थ में प्रभावी नहीं है, अनंत ω-सुसंगत सिद्धांत|ω-नियम है।[1] प्रस्तावपरक तर्क में अनुमान के लोकप्रिय नियमों में मोडस पोनेन्स, मूड ले रहा है और कोंटरापज़िशन सम्मलित हैं। प्रथम-क्रम विधेय तर्क तार्किक परिमाणकों से निपटने के लिए अनुमान के नियमों का उपयोग करता है।
मानक रूप
औपचारिक तर्क (और कई संबंधित क्षेत्रों) में, अनुमान के नियम सामान्यतः निम्नलिखित मानक रूप में दिए जाते हैं:
परिसर # 1
परिसर#2
...
परिसर#n
निष्कर्ष
यह अभिव्यक्ति बताती है कि जब भी कुछ तार्किक व्युत्पत्ति के दौरान दिए गए परिसर को प्राप्त किया जाता है, तो निर्दिष्ट निष्कर्ष भी लिया जा सकता है। परिसर और निष्कर्ष दोनों का वर्णन करने के लिए उपयोग की जाने वाली त्रुटिहीन औपचारिक भाषा व्युत्पत्तियों के वास्तविक संदर्भ पर निर्भर करती है। एक साधारण स्थितियों में, तार्किक सूत्रों का उपयोग किया जा सकता है, जैसे कि:
यह प्रस्तावपरक तर्क का मोडस पोनेन्स नियम है। अनुमान के नियम अक्सर मेटावैरिएबल्स को नियोजित करने वाले स्कीमा (तर्क) के रूप में तैयार किए जाते हैं।[2] उपरोक्त नियम (स्कीमा) में, अनुमान नियमों का एक अनंत सेट बनाने के लिए मेटावेरिएबल्स ए और बी को ब्रह्मांड के किसी भी तत्व (या कभी-कभी, सम्मेलन के माध्यम से, प्रतिबंधित उपसमुच्चय जैसे प्रस्ताव) के लिए तत्काल किया जा सकता है।
सबूत बनाने के लिए एक साथ बंधे नियमों के एक सेट से एक सबूत प्रणाली बनाई जाती है, जिसे व्युत्पत्ति भी कहा जाता है। किसी भी व्युत्पत्ति का एकमात्र एक अंतिम निष्कर्ष होता है, जो कि सिद्ध या व्युत्पन्न कथन है। यदि आधारवाक्य व्युत्पत्ति में असंतुष्ट छोड़ दिया जाता है, तो व्युत्पत्ति एक काल्पनिक कथन का प्रमाण है: यदि परिसर धारण करता है, तो निष्कर्ष धारण करता है।
उदाहरण: दो प्रस्तावपरक तर्कों के लिए हिल्बर्ट सिस्टम्स
एक हिल्बर्ट प्रणाली में, परिसर और निष्कर्ष नियमों का निष्कर्ष एकमात्र कुछ भाषा के सूत्र हैं, सामान्यतः मेटावेरिएबल्स को नियोजित करते हैं। प्रस्तुति की ग्राफिकल कॉम्पैक्टनेस के लिए और स्वयंसिद्धों और अनुमान के नियमों के बीच अंतर पर जोर देने के लिए, यह खंड अनुक्रम संकेतन का उपयोग करता है () नियमों की लंबवत प्रस्तुति के अतिरिक्त। इस अंकन में,
के रूप में लिखा गया है .
मौलिक तर्कवाक्य तर्क के लिए औपचारिक भाषा को एकमात्र निषेध (¬), निहितार्थ (→) और प्रस्तावात्मक प्रतीकों का उपयोग करके व्यक्त किया जा सकता है। एक प्रसिद्ध स्वयंसिद्धकरण, जिसमें तीन स्वयंसिद्ध स्कीमाटा और एक अनुमान नियम (मॉडस पोनेन्स) सम्मलित हैं:
(CA1) ⊢ ए → (बी → ए)
(सीए2) ⊢ (ए → (बी → सी)) → ((ए → बी) → (ए → सी))
(सीए3) ⊢ (¬ए → ¬बी) → (बी → ए)
(एमपी) ए, ए → बी ⊢ बी
इस स्थितियों में अनुमान की दो धारणाएँ बेमानी लग सकती हैं, ⊢ और →। मौलिक तर्कवाक्य तर्क में, वे वास्तव में मेल खाते हैं; कटौती प्रमेय बताता है कि ए ⊢ बी यदि और एकमात्र यदि ⊢ ए → बी। चूंकि इस स्थितियों में भी जोर देने लायक एक अंतर है: पहला अंकन एक निगमनात्मक तर्क का वर्णन करता है, जो वाक्यों से वाक्यों में जाने की एक गतिविधि है, चूँकि ए → बी इस स्थितियों में एक तार्किक संयोजक, निहितार्थ के साथ बनाया गया एक सूत्र है। एक अनुमान नियम के बिना (इस स्थितियों में मोडस पोनेन्स की प्रकार), कोई कटौती या अनुमान नहीं है। इस बिंदु को लुईस कैरोल के संवाद में चित्रित किया गया है, जिसे कछुआ ने अकिलिस से कहा था,[3] साथ ही साथ व्हाट द टॉरटॉइज़ सेड टू अकिलिस#डिस्कशन के माध्यम से संवाद में प्रस्तुत किए गए विरोधाभास को हल करने के बाद के प्रयास।
कुछ गैर-मौलिक लॉजिक्स के लिए, कटौती प्रमेय लागू नहीं होता है। उदाहरण के लिए, Jan Łukasiewicz|Łukasiewicz के तीन-मूल्यवान तर्क को स्वयंसिद्ध किया जा सकता है:[4]
(CA1) ⊢ ए → (बी → ए)
(LA2) ⊢ (ए → बी) → ((बी → सी) → (ए → सी))
(सीए3) ⊢ (¬ए → ¬बी) → (बी → ए)
(LA4) ⊢ ((ए → ¬ए) → ए) → ए
(एमपी) ए, ए → बी ⊢ बी
यह अनुक्रम मौलिक तर्क से स्वयंसिद्ध 2 में परिवर्तन और अभिगृहीत 4 के जोड़ से भिन्न है। मौलिक कटौती प्रमेय इस तर्क के लिए मान्य नहीं है, चूंकि एक संशोधित रूप धारण करता है, अर्थात् ए ⊢ बी यदि और एकमात्र यदि ⊢ ए → (ए → बी)।[5]
स्वीकार्यता और व्युत्पन्नता
नियमों के एक सेट में, एक अनुमान नियम इस अर्थ में बेमानी हो सकता है कि यह स्वीकार्य या व्युत्पन्न है। एक व्युत्पन्न नियम वह है जिसका निष्कर्ष अन्य नियमों का उपयोग करके इसके परिसर से प्राप्त किया जा सकता है। एक स्वीकार्य नियम वह है जिसका निष्कर्ष जब भी परिसर धारण करता है। सभी व्युत्पन्न नियम स्वीकार्य हैं। अंतर की सराहना करने के लिए, प्राकृतिक संख्याओं (प्राकृतिक कटौती) को परिभाषित करने के लिए नियमों के निम्नलिखित सेट पर विचार करें इस तथ्य को पुष्ट करता है एक प्राकृतिक संख्या है):
पहला नियम बताता है कि 0 एक प्राकृतिक संख्या है, और दूसरा बताता है कि s(n) एक प्राकृतिक संख्या है यदि n है। इस प्रमाण प्रणाली में, निम्नलिखित नियम, यह प्रदर्शित करता है कि एक प्राकृतिक संख्या का दूसरा उत्तराधिकारी भी एक प्राकृतिक संख्या है, व्युत्पन्न है:
इसकी व्युत्पत्ति उपरोक्त उत्तराधिकारी नियम के दो उपयोगों की रचना है। किसी भी अशून्य संख्या के लिए पूर्ववर्ती के अस्तित्व पर जोर देने के लिए निम्नलिखित नियम एकमात्र स्वीकार्य है:
यह प्राकृतिक संख्याओं का एक सत्य तथ्य है, जैसा कि गणितीय आगमन के माध्यम से सिद्ध किया जा सकता है। (यह सिद्ध करने के लिए कि यह नियम स्वीकार्य है, आधारवाक्य की व्युत्पत्ति मान लें और इसकी व्युत्पत्ति उत्पन्न करने के लिए इसे सम्मलित करें ।) चूंकि, यह व्युत्पन्न नहीं है, क्योंकि यह आधार की व्युत्पत्ति की संरचना पर निर्भर करता है। इस वजह से, प्रूफ सिस्टम में अतिरिक्त के अनुसार व्युत्पत्ति स्थिर है, चूँकि स्वीकार्यता नहीं है। अंतर देखने के लिए, मान लीजिए कि निम्नलिखित बकवास नियम को प्रमाण प्रणाली में जोड़ा गया:
इस नई प्रणाली में, दोहरा-उत्तराधिकारी नियम अभी भी व्युत्पन्न है। चूँकि, पूर्ववर्ती को खोजने का नियम अब स्वीकार्य नहीं है, क्योंकि व्युत्पन्न करने का कोई विधि नहीं है . स्वीकार्यता की भंगुरता इसे सिद्ध करने के तरीके से आती है: चूंकि सबूत परिसर की व्युत्पत्तियों की संरचना पर सम्मलित हो सकता है, सिस्टम में विस्तार इस सबूत में नए स्थितियों जोड़ते हैं, जो अब पकड़ में नहीं आ सकते हैं।
स्वीकार्य नियमों को प्रमाण प्रणाली के प्रमेयों के रूप में माना जा सकता है। उदाहरण के लिए, एक अनुक्रम कलन में जहां कट विलोपन होता है, कट नियम स्वीकार्य है।
यह भी देखें
- तर्क योजना
- तत्काल अनुमान
- अनुमान आपत्ति
- विचार का नियम
- अनुमान के नियमों की सूची
- तार्किक सत्य
- संरचनात्मक नियम
संदर्भ
- ↑ Boolos, George; Burgess, John; Jeffrey, Richard C. (2007). Computability and logic. Cambridge: Cambridge University Press. p. 364. ISBN 0-521-87752-0.
- ↑ John C. Reynolds (2009) [1998]. Theories of Programming Languages. Cambridge University Press. p. 12. ISBN 978-0-521-10697-9.
- ↑ Kosta Dosen (1996). "Logical consequence: a turn in style". In Maria Luisa Dalla Chiara; Kees Doets; Daniele Mundici; Johan van Benthem (eds.). Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. Springer. p. 290. ISBN 978-0-7923-4383-7. preprint (with different pagination)
- ↑ Bergmann, Merrie (2008). An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems. Cambridge University Press. p. 100. ISBN 978-0-521-88128-9.
- ↑ Bergmann, Merrie (2008). An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems. Cambridge University Press. p. 114. ISBN 978-0-521-88128-9.
