Rule of replacement
যুক্তিতে, প্রতিস্থাপনের নিয়ম হল একটি রূপান্তর নিয়ম যা শুধুমাত্র একটি অভিব্যক্তির একটি নির্দিষ্ট অংশে প্রয়োগ করা যেতে পারে। একটি লজিক্যাল সিস্টেম তৈরি করা যেতে পারে যাতে এটি সিস্টেমে লজিক্যাল এক্সপ্রেশনগুলির জন্য রূপান্তর নিয়ম হিসাবে স্বতঃসিদ্ধ, অনুমানের নিয়ম বা উভয়ই ব্যবহার করে। যেখানে অনুমানের একটি নিয়ম সর্বদা একটি সম্পূর্ণ যৌক্তিক অভিব্যক্তি প্রয়োগ করা হয়, প্রতিস্থাপনের একটি নিয়ম শুধুমাত্র একটি নির্দিষ্ট বিভাগে প্রয়োগ করা যেতে পারে। যৌক্তিক প্রমাণের প্রেক্ষাপটে, যৌক্তিকভাবে সমতুল্য অভিব্যক্তিগুলি একে অপরকে প্রতিস্থাপন করতে পারে। প্রতিস্থাপনের নিয়মগুলি প্রস্তাবনাগুলিকে পরিচালনা করার জন্য প্রস্তাবমূলক যুক্তিতে ব্যবহৃত হয়। প্রতিস্থাপনের সাধারণ নিয়মগুলির মধ্যে রয়েছে ডি মরগানের আইন, বিনিময়, সংযোগ, বিতরণ, দ্বৈত নেতিবাচকতা, স্থানান্তর, উপাদানগত প্রভাব, যৌক্তিক সমতা, রপ্তানি এবং স্বতঃস্ফূর্ততা। সারণিঃ প্রতিস্থাপনের নিয়ম উপরের নিয়মগুলি নিম্নলিখিত সারণিতে সংক্ষিপ্ত করা যেতে পারে। "টাউটোলজি" কলামটি দেখায় যে কীভাবে একটি প্রদত্ত নিয়মের স্বরলিপি ব্যাখ্যা করা যায়। আরও দেখুন সালভা ভেরিটেট নোটস রেফারেন্স প্রপোসিশনাল ক্যালকুলাস রুলস অফ ইনফারেন্স লজিক্যাল এক্সপ্রেশন