तर्क में, अनुमान का एक नियम, अनुमान नियम या परिवर्तन नियम एक तार्किक रूप है जिसमें एक कार्य होता है जो परिसर लेता है, उनके वाक्यविन्यास का विश्लेषण करता है, और निष्कर्ष (या निष्कर्ष) देता है। उदाहरण के लिए, मॉडस पोन्स नामक अनुमान का नियम दो परिसर लेता है, एक रूप में "यदि पी तो क्यू" और दूसरा "पी" रूप में होता है, और निष्कर्ष "क्यू" देता है। नियम शास्त्रीय तर्क (साथ ही साथ कई अन्य गैर-शास्त्रीय तर्कशास्त्र के अर्थशास्त्र) के अर्थशास्त्र के संबंध में मान्य है, इस अर्थ में कि यदि परिसर सत्य हैं (एक व्याख्या के तहत), तो निष्कर्ष भी है। आम तौर पर, अनुमान का एक नियम सत्य, एक अर्थपूर्ण संपत्ति को संरक्षित करता है। कई मूल्यवान तर्क में, यह एक सामान्य पदनाम को संरक्षित करता है। लेकिन अनुमान की कार्रवाई का नियम पूरी तरह से वाक्य रचनात्मक है, और किसी भी अर्थपूर्ण संपत्ति को संरक्षित करने की आवश्यकता नहीं है: सूत्रों के सूत्रों से सूत्रों के सेट से कोई भी कार्य अनुमान के नियम के रूप में गिना जाता है। आम तौर पर केवल नियम जो पुनरावर्ती हैं महत्वपूर्ण हैं; यानी नियम ऐसे हैं कि यह निर्धारित करने के लिए एक प्रभावी प्रक्रिया है कि नियम के अनुसार सूत्रों के दिए गए सेट का कोई भी सूत्र निर्धारित है या नहीं। ऐसे नियम का एक उदाहरण जो इस अर्थ में प्रभावी नहीं है वह infinitary ω-rule है। प्रस्तावपरक तर्क में अनुमान के लोकप्रिय नियमों में मोडस पोन्स, मॉडस टोलेंस और contraposition शामिल हैं। फर्स्ट ऑर्डर पूर्वानुमान तर्क लॉजिकल क्वांटिफायर से निपटने के लिए अनुमान के नियमों का उपयोग करता है।
|