導出推演規則

導出推演規則（rule of derivation），亦稱“推演的語法規則”，簡稱“導出規則”，根據初始推演規則（簡稱初始規則）一再出現的推理形式而作的概括。

基本介紹

• 中文名：導出推演規則
• 外文名：rule of derivation
• 別名：推演的語法規則
• 簡稱：導出規則

這種規則可以將若干步推演簡化為一步，並可用元語言加以表述和證明。導出規則和初始規則不一樣。初始規則不能省略，導出規則可以省略。使用導出規則的任何演繹，也總能用初始規則推出。