可接受的规则-一流百科

可接受的规则

简介在逻辑学中，如果一条推理规则被添加到一个形式系统的现有规则中，该系统的定理集不会改变，那么该规则就是可接受的。换句话说，每一个可以用该规则推导...