Exportation (logic)
प्रस्तावात्मक तर्क में प्रतिस्थापन का एक वैध नियम निर्यात है। नियम संयुग्म पूर्ववृत्त वाले सशर्त बयानों को सशर्त परिणाम वाले बयानों द्वारा प्रतिस्थापित करने की अनुमति देता है और इसके विपरीत तार्किक प्रमाणों में। यह नियम है किः जहाँ "" एक धात्विक प्रतीक है जो "का प्रतिनिधित्व करता है, उसे प्रमाण में" के साथ बदला जा सकता है। सख्त शब्दावली में, निर्यात का नियम है, क्योंकि इसके लिए "निर्यात" एक प्रस्ताव है जो इसके पूर्ववर्ती से लेकर उसके परिणामस्वरूप तक है। इसके विपरीत, आयात का नियम, "आयात" एक प्रस्ताव है जो इसके पूर्ववर्ती के परिणामस्वरूप होता है। औपचारिक संकेतन निर्यात नियम को क्रमिक संकेतन में लिखा जा सकता हैः जहां एक धात्विक प्रतीक का अर्थ है जो किसी तार्किक प्रणाली में एक वाक्यात्मक समकक्ष है; या नियम के रूप मेंः, जहां नियम यह है कि जहां भी "का एक उदाहरण प्रमाण की एक पंक्ति पर दिखाई देता है, उसे" के साथ प्रतिस्थापित किया जा सकता है और इसके विपरीत; या एक सत्य-कार्यात्मक तानाशाही या प्रस्तावात्मक तर्क के प्रमेय के कथन के रूप मेंः जहां, और कुछ तार्किक प्रणाली में व्यक्त किए गए प्रस्ताव हैं। प्राकृतिक भाषा सत्य मान किसी भी समय, यदि पी → क्यू सत्य है, तो इसे पी → (पी. क्यू) द्वारा प्रतिस्थापित किया जा सकता है। पी → क्यू के लिए एक संभावित मामला पी के लिए सही होना और क्यू के लिए सही होना है; इस प्रकार पी. क्यू भी सच है, और पी. क्यू. भी सच है। एक अन्य संभावित मामला पी को गलत और क्यू को सही निर्धारित करता है। इस प्रकार, पी-क्यू गलत है और पी-क्यू गलत है; गलत-क्यू सच है। अंतिम मामला तब होता है जब पी और क्यू दोनों गलत होते हैं। इस प्रकार, पी-क्यू गलत है और पी-(पी-क्यू) सही है। उदाहरण यह बारिश होती है और सूरज चमकता है इसका मतलब है कि एक इंद्रधनुष है। इस प्रकार, यदि बारिश होती है, तो सूरज चमकता है जिसका अर्थ है कि एक इंद्रधनुष है। अगर मेरी कार चालू है, तो जब मैं गियर को डी पर स्विच करता हूं तो कार चलने लगती है। अगर मेरी कार चालू है और मैंने गियर को डी में बदल दिया है, तो कार को चलना शुरू कर देना चाहिए। प्रमाण निम्नलिखित प्रमाण परिणाम प्राप्त करने के लिए उस क्रम में भौतिक निहितार्थ, दोहरी अस्वीकृति, डी मॉर्गन के नियमों, सशर्त कथन की अस्वीकृति, संयोजन की सहयोगी संपत्ति, एक अन्य सशर्त कथन की अस्वीकृति और फिर से दोहरी अस्वीकृति का उपयोग करता है। कार्यों से संबंध निर्यात करी-हावर्ड पत्राचार के माध्यम से करी के साथ जुड़ा हुआ है। प्रस्तावात्मक तर्क में अनुमान प्रमेयों के संदर्भ नियम