• 其他词汇： 推断规则 推理规则 推论规则 演绎规则

• 更多词汇： 推理关系系统 推理方法 推论方法 演绛树