Import–export (logic)
منطق میں، درآمد-برآمد ایک کٹوتی دلیل کی شکل ہے جو یہ بتاتی ہے۔ فطری زبان کے لحاظ سے، اصول کا مطلب یہ ہے کہ درج ذیل انگریزی جملے منطقی طور پر مساوی ہیں۔ اگر مریم گھر پر نہیں ہے، تو اگر سیلی گھر پر نہیں ہے، تو گھر خالی ہے۔ اگر مریم گھر پر نہیں ہے اور سیلی گھر پر نہیں ہے، تو گھر خالی ہے۔ درآمد-برآمد کلاسیکی منطق میں ہے، جہاں مشروط آپریٹر کو مادی مضمرات کے طور پر لیا جاتا ہے۔ تاہم، دیگر منطق بھی ہیں جہاں یہ برقرار نہیں ہے اور منطق کے حقیقی اصول کے طور پر اس کی حیثیت بحث کا موضوع ہے۔ اصول پر تنازعہ اس حقیقت سے پیدا ہوتا ہے کہ کوئی بھی مشروط آپریٹر جو اسے مطمئن کرتا ہے وہ بعض دوسرے اصولوں کے ساتھ مل کر مادی مضمرات میں گر جائے گا۔ یہ نتیجہ مادی مضمرات کے تضادات کو دیکھتے ہوئے پریشانی کا باعث بنے گا، جو عام طور پر یہ ظاہر کرنے کے لیے لیے جاتے ہیں کہ قدرتی زبان کی شرائط مادی مضمرات نہیں ہیں۔ اس دشواری کے نتیجے سے متحرک سیمنٹکس کے فریم ورک کے اندر بچا جا سکتا ہے، جس کی اظہار کی طاقت کسی کو غیر مادی مشروط آپریٹر کی وضاحت کرنے کی اجازت دیتی ہے جو اس کے باوجود دوسرے اصولوں کے ساتھ درآمد-برآمد کو مطمئن کرتی ہے۔ تاہم، دیگر نقطہ نظر درآمدی برآمد کو ایک عام اصول کے طور پر مسترد کرتے ہیں، جو مندرجہ ذیل جیسے معاملات سے متاثر ہوتے ہیں، جو اس تناظر میں کہے جاتے ہیں جہاں اس بات کا زیادہ امکان ہوتا ہے کہ میچ کو کیمپ فائر میں پھینک کر روشن کیا جائے گا، لیکن جہاں ممکن ہو اسے مار کر روشن کیا جا سکتا ہے۔ اس تناظر میں، پہلا جملہ بدیہی طور پر درست ہے لیکن دوسرا بدیہی طور پر غلط ہے۔ اگر آپ میچ کو مارتے ہیں اور یہ روشن ہوتا ہے، تو یہ روشن ہو جائے گا۔ اگر میچ لائٹ ہو تو اگر آپ اسے مارتے ہیں تو یہ روشن ہو جائے گا۔ کاؤنٹر فیکچوئلز موڈس پونینس پیراڈوکسز آف میٹریل امپلیکیشن بھی دیکھیں تجویز کردہ منطق میں سخت مشروط کریئنگ حوالہ جات تھیوریم کلاسیکی منطق رسمی سیمنٹکس (قدرتی زبان)