Rule of replacement
منطق میں، تبدیلی کا قاعدہ ایک تبدیلی کا قاعدہ ہے جس کا اطلاق اظہار کے صرف ایک خاص حصے پر کیا جا سکتا ہے۔ ایک منطقی نظام اس طرح بنایا جا سکتا ہے کہ یہ نظام میں منطقی تاثرات کے لیے یا تو محوریات، قیاس کے قواعد، یا دونوں کو تبدیلی کے قواعد کے طور پر استعمال کرے۔ جب کہ تخمینہ کا قاعدہ ہمیشہ ایک پورے منطقی اظہار پر لاگو ہوتا ہے، متبادل کا قاعدہ صرف ایک خاص حصے پر لاگو کیا جا سکتا ہے۔ منطقی ثبوت کے تناظر میں، منطقی طور پر مساوی تاثرات ایک دوسرے کی جگہ لے سکتے ہیں۔ تجاویز کو جوڑنے کے لیے تجویز کردہ منطق میں متبادل کے قوانین کا استعمال کیا جاتا ہے۔ متبادل کے عام اصولوں میں ڈی مورگن کے قوانین، تبدیلی، ایسوسی ایشن، تقسیم، دوہری نفی، منتقلی، مادی مضمرات، منطقی مساوات، برآمد، اور ٹاٹولوجی شامل ہیں۔ جدول: تبدیلی کے قواعد مندرجہ بالا قواعد کا خلاصہ درج ذیل جدول میں کیا جا سکتا ہے۔ "ٹاٹولوجی" کالم سے پتہ چلتا ہے کہ کسی دیئے گئے اصول کے اشارے کی تشریح کیسے کی جائے۔ سلوا ویریٹیٹ نوٹس حوالہ جات پروپوزیشنل کیلکولس رولز آف انفریشن منطقی تاثرات بھی دیکھیں۔