Import–export (logic)
தர்க்கத்தில், இறக்குமதி-ஏற்றுமதி என்பது ஒரு விலக்கு வாத வடிவமாகும், இது அதை கூறுகிறது. இயல்பான மொழியில், பின்வரும் ஆங்கில வாக்கியங்கள் தர்க்கரீதியாக சமமானவை என்று கொள்கை அர்த்தப்படுத்துகிறது. மேரி வீட்டில் இல்லையென்றால், சாலி வீட்டில் இல்லையென்றால், வீடு காலியாக இருக்கும். மேரி வீட்டில் இல்லை மற்றும் சாலி வீட்டில் இல்லை என்றால், வீடு காலியாக உள்ளது. இறக்குமதி-ஏற்றுமதி கிளாசிக்கல் லாஜிக்கில் உள்ளது, அங்கு நிபந்தனை ஆபரேட்டர் பொருள் உட்குறிப்பாக எடுத்துக் கொள்ளப்படுகிறது. இருப்பினும், அது இல்லாத பிற தர்க்கங்கள் உள்ளன, மேலும் தர்க்கத்தின் உண்மையான கொள்கையாக அதன் நிலை விவாதத்திற்குரிய விஷயமாகும். கொள்கையின் மீதான சர்ச்சை எழுகிறது, அதை திருப்திப்படுத்தும் எந்தவொரு நிபந்தனை ஆபரேட்டரும் வேறு சில கொள்கைகளுடன் இணைந்தால் பொருள் தாக்கத்திற்கு இடிந்து விழும். இயல்பான மொழி நிபந்தனைகள் பொருள் உட்பொருள் அல்ல என்பதைக் காட்ட பொதுவாக எடுக்கப்படும் பொருள் உட்பொருளின் முரண்பாடுகளைக் கருத்தில் கொண்டு இந்த முடிவு சிக்கலானதாக இருக்கும். இந்த சிக்கலான முடிவை மாறும் சொற்பொருள் கட்டமைப்பிற்குள் தவிர்க்க முடியும், அதன் வெளிப்பாட்டு சக்தி ஒரு பொருள் அல்லாத நிபந்தனை ஆபரேட்டரை வரையறுக்க அனுமதிக்கிறது, இருப்பினும் இது மற்ற கொள்கைகளுடன் இறக்குமதி-ஏற்றுமதியை திருப்திப்படுத்துகிறது. இருப்பினும், பிற அணுகுமுறைகள் இறக்குமதி-ஏற்றுமதியை ஒரு பொதுவான கொள்கையாக நிராகரிக்கின்றன, இது பின்வருவன போன்ற நிகழ்வுகளால் உந்தப்படுகிறது, இது ஒரு சூழலில் உச்சரிக்கப்படுகிறது, அங்கு போட்டி ஒரு முகாமில் வீசுவதன் மூலம் எரியும், ஆனால் சாத்தியமான இடங்களில் அதை அடிப்பதன் மூலம் எரியலாம். இந்த சூழலில், முதல் வாக்கியம் உள்ளுணர்வாக உண்மை, ஆனால் இரண்டாவது உள்ளுணர்வாக தவறானது. நீங்கள் போட்டியைத் தாக்கினால், அது ஒளிரும், அது ஒளிரும். போட்டி விளக்குகள் இருந்தால், நீங்கள் அதைத் தாக்கினால் அது ஒளிரும். மேலும் காண்க எதிர் உண்மைகள் மோடஸ் போனன்ஸ் பொருள் உட்குறிப்பின் முரண்பாடுகள் முன்மொழிவு தர்க்கத்தில் கடுமையான நிபந்தனை குறிப்புகள் கோட்பாடுகள் கிளாசிக்கல் லாஜிக் முறையான சொற்பொருள் (இயற்கை மொழி)