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