Exportation (logic)
ஏற்றுமதி என்பது முன்மொழிவு தர்க்கத்தில் மாற்றுவதற்கான செல்லுபடியாகும் விதியாகும். இந்த விதி இணை பூர்வீகங்களைக் கொண்ட நிபந்தனை அறிக்கைகளை நிபந்தனைக்குட்பட்ட விளைவுகளைக் கொண்ட அறிக்கைகளால் மாற்ற அனுமதிக்கிறது மற்றும் தர்க்கரீதியான சான்றுகளில் நேர்மாறாகவும் உள்ளது. இது விதிஃ எங்கே "" குறிக்கும் ஒரு உலோகவியல் சின்னம் "ஒரு ஆதாரத்தில் மாற்றப்படலாம்". கடுமையான சொற்களில், ஏற்றுமதியின் சட்டம், ஏனெனில் அது "ஏற்றுமதி" என்பது அதன் முன்னோடியிலிருந்து அதன் விளைவு வரை ஒரு முன்மொழிவு. இதற்கு நேர்மாறாக, இறக்குமதிச் சட்டம், அதன் முன்னோடியின் விளைவாக ஒரு முன்மொழிவை "இறக்குமதி செய்கிறது". முறையான குறியீடு ஏற்றுமதி விதி தொடர்ச்சியான குறியீட்டில் எழுதப்படலாம்ஃ ஒரு உலோகவியல் சின்னம் என்றால் சில தர்க்கரீதியான அமைப்பில் ஒரு சொற்பொழிவுக்கு சமமானதாகும்; அல்லது விதி வடிவத்தில்ஃ, விதி என்னவென்றால், ஒரு ஆதாரத்தின் வரியில் "இன்" ஒரு எடுத்துக்காட்டு எங்கு தோன்றினாலும், அதை "மற்றும் நேர்மாறாக மாற்றலாம்; அல்லது உண்மை-செயல்பாட்டு டாட்டாலஜி அல்லது முன்மொழிவு தர்க்கத்தின் தேற்றத்தின் அறிக்கையாகஃ எங்கே, மற்றும் சில தர்க்கரீதியான அமைப்பில் வெளிப்படுத்தப்படும் முன்மொழிவுகள். இயற்கை மொழி உண்மை மதிப்புகள் எந்த நேரத்திலும், P → Q உண்மையாக இருந்தால், அதை P → (PwQ) ஆல் மாற்றலாம். P → Q க்கு ஒரு சாத்தியமான வழக்கு P உண்மையாகவும், Q உண்மையாகவும் இருக்க வேண்டும்; எனவே P·Q யும் உண்மை, மற்றும் P· (P·Q) யும் உண்மை. மற்றொரு சாத்தியமான வழக்கு P ஐ பொய்யானதாகவும், Q ஐ உண்மையாகவும் அமைக்கிறது. எனவே, PwQ பொய்யானது மற்றும் P → (PwQ) பொய்யானது; பொய்யானது → பொய்யானது உண்மை. பி மற்றும் கியூ இரண்டும் தவறாக இருக்கும்போது கடைசி வழக்கு நிகழ்கிறது. எனவே, PwQ பொய்யானது மற்றும் P → (PwQ) உண்மை. எடுத்துக்காட்டு இது மழை மற்றும் சூரியன் பிரகாசிக்கிறது ஒரு வானவில் உள்ளது என்பதைக் குறிக்கிறது. எனவே, மழை பெய்தால், சூரியன் பிரகாசிக்கிறது என்பது வானவில் இருப்பதை குறிக்கிறது. எனது கார் இயக்கத்தில் இருந்தால், நான் கியர் டி க்கு மாறும்போது கார் செல்லத் தொடங்குகிறது. எனது கார் இயக்கத்தில் இருந்தால், நான் கியர் டி க்கு மாற்றியுள்ளேன் என்றால், கார் செல்லத் தொடங்க வேண்டும். ஆதாரம் பின்வரும் ஆதாரம் பொருள் உட்பொருள், இரட்டை மறுப்பு, டி மோர்கனின் சட்டங்கள், நிபந்தனை அறிக்கையின் மறுப்பு, இணைப்பின் துணைப் பண்பு, மற்றொரு நிபந்தனை அறிக்கையின் மறுப்பு மற்றும் இரட்டை மறுப்பு ஆகியவற்றைப் பயன்படுத்துகிறது, அந்த வரிசையில் முடிவைப் பெறுகிறது. செயல்பாடுகளுடனான தொடர்பு ஏற்றுமதி என்பது கறி-ஹோவர்ட் கடிதத்தின் மூலம் குழம்பு செய்வதோடு தொடர்புடையது. முன்மொழிவு தர்க்கத்தில் அனுமானக் கோட்பாடுகளின் குறிப்புகள் விதிகள்