Exportation (logic)
প্রস্তাবনামূলক যুক্তিতে প্রতিস্থাপন করার জন্য রপ্তানি একটি বৈধ নিয়ম। নিয়মটি আনুষঙ্গিক পূর্বসূরী শর্তসাপেক্ষ বিবৃতিগুলিকে শর্তসাপেক্ষ ফলাফলযুক্ত বিবৃতি দ্বারা প্রতিস্থাপিত করার অনুমতি দেয় এবং যৌক্তিক প্রমাণগুলিতে তদ্বিপরীত। এটি নিয়ম যেঃ যেখানে "একটি ধাতব প্রতীক প্রতিনিধিত্ব করে" একটি প্রমাণের সাথে প্রতিস্থাপন করা যেতে পারে। কঠোর পরিভাষায়, এটি রপ্তানির আইন, কারণ এটি "রপ্তানি" পূর্ববর্তী থেকে তার ফলস্বরূপ একটি প্রস্তাব। এর বিপরীত, আমদানির আইন, "আমদানি" তার পূর্বসূরি থেকে একটি প্রস্তাব। আনুষ্ঠানিক স্বরলিপি রপ্তানি নিয়মটি ক্রমিক স্বরলিপিতে লেখা যেতে পারেঃ যেখানে একটি ধাতব প্রতীক যার অর্থ কোনও যৌক্তিক ব্যবস্থার বাক্যবিন্যাসের সমতুল্য; অথবা নিয়ম আকারেঃ, যেখানে নিয়মটি হল যে যেখানেই প্রমাণের একটি লাইনে ""-এর একটি উদাহরণ উপস্থিত হয়, এটি "" দিয়ে প্রতিস্থাপন করা যেতে পারে এবং তদ্বিপরীত; অথবা একটি সত্য-কার্যকরী স্বরলিপি বা প্রস্তাবমূলক যুক্তির উপপাদ্যের বিবৃতি হিসাবেঃ যেখানে, এবং কিছু যৌক্তিক ব্যবস্থায় প্রকাশিত প্রস্তাব। প্রাকৃতিক ভাষায় সত্যের মান যে কোনও সময়ে, যদি পি-কিউ সত্য হয়, তবে এটি পি-কিউ দ্বারা প্রতিস্থাপিত হতে পারে। পি-এর জন্য একটি সম্ভাব্য উদাহরণ হল পি-কে সত্য এবং কিউ-কে সত্য; এইভাবে পি-কে-ও সত্য, এবং পি-কে-ও (পি-কে) সত্য। আরেকটি সম্ভাব্য ক্ষেত্রে পি-কে মিথ্যা এবং কিউ-কে সত্য হিসাবে নির্ধারণ করা হয়েছে। সুতরাং, পি-কিউ মিথ্যা এবং পি-কিউ মিথ্যা; মিথ্যা-কিউ সত্য। শেষ ঘটনাটি ঘটে যখন পি এবং কিউ উভয়ই মিথ্যা হয়। সুতরাং, পি-কিউ মিথ্যা এবং পি-কিউ-টি সত্য। উদাহরণ এটি বৃষ্টি এবং সূর্যের আলো বোঝায় যে একটি রামধনু আছে। সুতরাং, যদি বৃষ্টি হয়, তবে সূর্যের আলো বোঝায় যে একটি রামধনু রয়েছে। যদি আমার গাড়ি চালু থাকে, আমি যখন গিয়ারটি ডি-তে পরিবর্তন করি তখন গাড়িটি চলতে শুরু করে। যদি আমার গাড়ি চালু থাকে এবং আমি গিয়ারটি ডি-তে পরিবর্তন করে থাকি, তাহলে গাড়িটি অবশ্যই চলতে শুরু করবে। নিম্নলিখিত প্রমাণটি ফলাফল অর্জনের জন্য উপাদানগত প্রভাব, দ্বৈত নেতিবাচকতা, ডি মরগানের আইন, শর্তাধীন বিবৃতির নেতিবাচকতা, সংযোগের সহযোগী বৈশিষ্ট্য, অন্য শর্তাধীন বিবৃতির নেতিবাচকতা এবং আবার দ্বৈত নেতিবাচকতা ব্যবহার করে। কার্যকারিতার সঙ্গে সম্পর্ক রপ্তানি কারি-হাওয়ার্ড চিঠিপত্রের মাধ্যমে তরকারি রান্নার সঙ্গে যুক্ত। প্রস্তাবনামূলক যুক্তিতে অনুমান উপপাদ্যের তথ্যসূত্রের নিয়ম