در ، یک ، در یک است در صورتی هرگاه آن قاعده به قواعد موجود اضافه شود، مجموعه سیستم تغییر نکند. به عبارت دیگر، هر که می‌تواند با آن قاعده شود، از پیش و بدون آن قاعده هم قابل استنتاج باشد؛ لذا، به بیانی، اضافه باشد. مفهوم قاعده مجاز توسط (۱۹۹۵) معرفی شد.
{"title": "قاعده مجاز", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%82%D8%A7%D8%B9%D8%AF%D9%87_%D9%85%D8%AC%D8%A7%D8%B2&oldid=19977853", "language": "fa"}