قاعده مجاز
در منطق، یک قاعده استنتاج، در یک سیستم صوری مجاز است در صورتی هرگاه آن قاعده به قواعد موجود اضافه شود، مجموعه قضایای سیستم تغییر نکند. به عبارت دیگر، هر فرمول که می‌تواند با آن قاعده استنتاج شود، از پیش و بدون آن قاعده هم قابل استنتاج باشد؛ لذا، به بیانی، اضافه باشد. مفهوم قاعده مجاز توسط پاول لورنتزن (۱۹۹۵) معرفی شد.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.