मान लें कि हमारे पास एक सरल भाषा है जिसमें शब्द शामिल हैं:
- यदि शब्द हैं तो i f है
अब निम्नलिखित तार्किक मूल्यांकन नियमों को मानें:
मान लीजिए कि हम निम्नलिखित फंकी नियम भी जोड़ते हैं:
दिए गए मूल्यांकन नियमों के साथ इस सरल भाषा के लिए मैं निम्नलिखित सिद्ध करना चाहता हूं:
प्रमेय: यदि और r → t है, तो कुछ शब्द यू ऐसे है और t → u ।
मैं की संरचना पर प्रेरण द्वारा इसे साबित कर रहा हूं । यहाँ मेरा सबूत है अब तक, यह सब अच्छी तरह से काम किया है, लेकिन मैं बहुत अंतिम मामले में फंस गया हूं। ऐसा लगता है जैसे r की संरचना पर प्रेरण पर्याप्त नहीं है, क्या कोई मेरी मदद कर सकता है?
प्रमाण। पर प्रेरण द्वारा , हम उन सभी रूपों को अलग कर देंगे जो r ले सकते हैं:
- एक निरंतरता है, कुछ भी साबित करने के लिए नहीं है क्योंकि एक सामान्य रूप किसी भी चीज का मूल्यांकन नहीं करता है।
- यदि सही है तो r 2 और r 3 । (a) दोनों व्युत्पन्न E-IfTrue नियम के साथ किए गए थे। इस मामले में s = t , इसलिए साबित करने के लिए कुछ भी नहीं है। (b) एक व्युत्पन्न E-IfTrue नियम के साथ किया गया, दूसरा E-Funny नियम के साथ। मान लें कि R → s को E-IfTrue के साथ किया गया था, तो दूसरा मामला समकक्ष साबित हुआ। अब हम जानते हैं कि s = r 2 । हम यह भी जानते हैं कि टी = यदि सच तो आर ' 2 किसी और आर ' 2 (आधार)। अगर हम अब u = चुनते हैं और कहा कि वहाँ कुछ deriviation मौजूद आर 2 → , हम मामले का निष्कर्ष है।
- अगर गलत तो r 2 किसी और आर 3 । ऊपर के रूप में समान रूप से सिद्ध।
- अगर आर 1 तो r 2 किसी और आर 3 के साथ आर 1 ≠ सही या गलत। (ए) दोनों व्युत्पन्न ई-इफ नियम के साथ किए गए थे। अब हम जानते हैं कि रों = अगर आर ' 1 तो r 2 किसी और आर 3 और टी = यदि r " 1 फिर r 2 किसी और आर 3 । हम यह भी जानते हैं कि वहाँ मौजूद व्युत्पन्न r 1 → और r 1 हैं (परिसर)। अब हम कहने के लिए कुछ शब्द मौजूद है प्रेरण hypothese उपयोग कर सकते हैं आर ‴ 1 ऐसी है कि आर ' 1 → आर ‴ 1 और आर " 1 → आर ‴ 1 । अब हम कह कर मामले निष्कर्ष निकालना यू = अगर आर ‴ 1 तो r 2 किसी और आर 3 और देख कि रों → यू और टी → यूE-if नियम द्वारा। (b) एक व्युत्पत्ति E-if नियम और एक E-Funny नियम द्वारा की गई थी।
यह बाद का मामला है, जहां एक व्युत्पत्ति ई-इफ द्वारा की गई थी और एक ई-फनी द्वारा वह मामला है जो मुझे याद आ रहा है ... मैं परिकल्पनाओं का उपयोग करने में सक्षम नहीं हो सकता।
मदद की बहुत सराहना की जाएगी।