·3、系统K中的定理·K中的证明证明是一个公式序列，公式序列中的任一公式是K的公理，或者是经由前边个公式使用分离规则得出的公式。·K中的定理对任一公式α，天若在K中存在关于α的证明，中称α是K中的定理
• 3、系统K中的定理 • K中的证明 证明是一个公式序列，公式序列中的任一公 式是K的公理，或者是经由前边个公式使用分离 规则得出的公式。 • K中的定理 对任一公式α，若在K中存在关于α的证明，中 称α是K中的定理
·4、系统K的导出规则导出规则也是变形规则。所不同的是，导出规则必须经过证明之后才能使用。仅仅使用初始规则，往往使推演和证明过于复杂、长。为了简化推演或证明的过程，可以使用导出规则。系统K的导出规则有很多。较为常用的导出规则有RK、RE和RK等
• 4、系统K的导出规则 导出规则也是变形规则。所不同的是，导出规 则必须经过证明之后才能使用。仅仅使用初始规 则，往往使推演和证明过于复杂、冗长。为了简 化推演或证明的过程，可以使用导出规则。 系统K的导出规则有很多。较为常用的导出规 则有RK、RE□和RK◇等