导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
趣伏里公园的词语属性 拼音q f l gng yun拼音字母qu fu li gong yuan拼音首字母qflgy 趣伏里公园的百科含义 趣伏里公园（Tivoli）是丹麦哥本哈根著名的游乐园和休闲公园，也是世界上历史最悠久的游乐园之一。公园于1843年8月15日正式对外开放，经过 150多年的时间之后，已经成
