Rule of replacement
તર્કશાસ્ત્રમાં, બદલીનો નિયમ એ પરિવર્તનનો નિયમ છે જે અભિવ્યક્તિના માત્ર ચોક્કસ ભાગ પર લાગુ થઈ શકે છે. તાર્કિક પ્રણાલીનું નિર્માણ કરી શકાય છે જેથી તે પ્રણાલીમાં તાર્કિક અભિવ્યક્તિઓ માટે પરિવર્તન નિયમો તરીકે સ્વયંસિદ્ધ, અનુમાનના નિયમો અથવા બંનેનો ઉપયોગ કરે. જ્યારે અનુમાનનો નિયમ હંમેશા સંપૂર્ણ તાર્કિક અભિવ્યક્તિ પર લાગુ થાય છે, ત્યારે બદલીનો નિયમ માત્ર ચોક્કસ વિભાગ પર જ લાગુ થઈ શકે છે. તાર્કિક સાબિતીના સંદર્ભમાં, તાર્કિક રીતે સમકક્ષ અભિવ્યક્તિઓ એકબીજાનું સ્થાન લઈ શકે છે. પ્રસ્તાવને હેરફેર કરવા માટે પ્રસ્તાવના તર્કમાં બદલીના નિયમોનો ઉપયોગ થાય છે. બદલીના સામાન્ય નિયમોમાં ડી મોર્ગનના નિયમો, પરિવર્તન, જોડાણ, વિતરણ, બેવડા નિષેધ, સ્થાનાંતરણ, ભૌતિક સૂચિતાર્થ, તાર્કિક સમાનતા, નિકાસ અને સ્વરવિજ્ઞાનનો સમાવેશ થાય છે. કોષ્ટકઃ બદલીના નિયમો ઉપરોક્ત નિયમોનો સારાંશ નીચેના કોષ્ટકમાં આપી શકાય છે. "ટાઉટોલોજી" સ્તંભ દર્શાવે છે કે આપેલ નિયમના સંકેતનું અર્થઘટન કેવી રીતે કરવું. સાલ્વા વેરિટેટ નોટ્સ રેફરન્સ પ્રપોઝિશનલ કેલ્ક્યુલસ રૂલ્સ ઓફ ઇન્ફરન્સ લોજિકલ એક્સપ્રેશન પણ જુઓ.