 | این مقاله به هیچ منبع و مرجعی استناد نمیکند. لطفاً با افزودن یادکرد به منابع قابل اعتماد برطبق اصول تأییدپذیری و شیوهنامهٔ ارجاع به منابع، به بهبود این مقاله کمک کنید. مطالب بدون منبع را میتوان به چالش کشید و حذف کرد. یافتن منابع: "قاعده مجاز" – اخبار · روزنامهها · کتابها · آکادمیک · جیاستور (ژوئیه ۲۰۱۷) (چگونگی و زمان حذف پیام این الگو را بدانید) |
در منطق، یک قاعده استنتاج، در یک سیستم صوری مجاز است در صورتی هرگاه آن قاعده به قواعد موجود اضافه شود، مجموعه قضایای سیستم تغییر نکند. به عبارت دیگر، هر فرمول که می‌تواند با آن قاعده استنتاج شود، از پیش و بدون آن قاعده هم قابل استنتاج باشد؛ لذا، به بیانی، اضافه باشد. مفهوم قاعده مجاز توسط پاول لورنتزن (۱۹۹۵) معرفی شد.
