Exportation (logic)
برآمد تجویز کردہ منطق میں متبادل کا ایک درست اصول ہے۔ یہ قاعدہ مشترکہ پس منظر والے مشروط بیانات کو مشروط نتائج والے بیانات سے تبدیل کرنے کی اجازت دیتا ہے اور منطقی ثبوتوں میں اس کے برعکس۔ یہ قاعدہ ہے کہ: جہاں "" ایک دھاتی علامت ہے جس کی نمائندگی "کو ثبوت میں" کے ساتھ تبدیل کیا جا سکتا ہے۔ سخت اصطلاحات میں، برآمد کا قانون ہے، اس کے لیے "برآمدات" اس کے پس منظر سے لے کر اس کے نتیجے تک ایک تجویز ہے۔ اس کے برعکس، درآمد کا قانون، "درآمد" ایک تجویز کو اس کے نتیجے سے اس کے ماضی تک پہنچاتا ہے۔ رسمی نوٹیشن ایکسپورٹیشن رول کو سیکوینٹ نوٹیشن میں لکھا جا سکتا ہے: جہاں ایک دھاتی علامت کا مطلب ہے جو کسی منطقی نظام میں نحو کے مساوی ہے ؛ یا قاعدے کی شکل میں:، جہاں قاعدہ یہ ہے کہ جہاں بھی ثبوت کی لائن پر "" کی مثال ظاہر ہوتی ہے، اسے "" سے تبدیل کیا جا سکتا ہے اور اس کے برعکس ؛ یا سچائی سے متعلق فنکشنل ٹاٹولوجی یا پروپوزیشنل منطق کے نظریہ کے بیان کے طور پر: جہاں، اور یہ کسی منطقی نظام میں اظہار کردہ تجاویز ہیں۔ قدرتی زبان کی سچائی کی اقدار کسی بھی وقت، اگر P → Q درست ہے، تو اسے P → (P) سے تبدیل کیا جا سکتا ہے۔ P → Q کے لیے ایک ممکنہ صورت یہ ہے کہ P کا درست ہونا اور Q کا درست ہونا ؛ اس طرح P ′Q بھی درست ہے، اور P ′ (P ′Q) درست ہے۔ ایک اور ممکنہ کیس P کو غلط اور Q کو درست قرار دیتا ہے۔ اس طرح، PwQ غلط ہے اور P → (PwQ) غلط ہے ؛ غلط → غلط سچ ہے۔ آخری کیس اس وقت ہوتا ہے جب P اور Q دونوں غلط ہوتے ہیں۔ اس طرح، پی۔ کیو غلط ہے اور پی۔ (پی۔ کیو) درست ہے۔ مثال یہ بارش ہوتی ہے اور سورج چمکتا ہے اس کا مطلب ہے کہ اندردخش موجود ہے۔ اس طرح، اگر بارش ہوتی ہے، تو سورج چمکتا ہے اس کا مطلب ہے کہ اندردخش موجود ہے۔ اگر میری گاڑی آن ہے، جب میں گیئر کو ڈی پر بدلتا ہوں تو گاڑی چلنا شروع ہو جاتی ہے۔ اگر میری گاڑی آن ہے اور میں نے گیئر کو ڈی میں تبدیل کر دیا ہے، تو گاڑی کو چلنا شروع کر دینا چاہیے۔ ثبوت مندرجہ ذیل ثبوت نتیجہ حاصل کرنے کے لیے اس ترتیب میں مادی مضمرات، دوہری نفی، ڈی مورگن کے قوانین، مشروط بیان کی نفی، کنجکشن کی ایسوسی ایٹیو پراپرٹی، ایک اور مشروط بیان کی نفی، اور دوبارہ دوہری نفی کا استعمال کرتا ہے۔ افعال سے تعلق برآمد کری-ہاورڈ خط و کتابت کے ذریعے کری کرنے سے وابستہ ہے۔ تجویز کردہ منطق میں حوالہ جات کے قواعد قیاس آرائی کے نظریات