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