蕴含的单调性 蕴含的单调性Monotonicity of entailment是许多逻辑系统的一个属性它表明任何派生事实的假设都可以用额外的假设自由扩展在后续演算中可以通过称为弱化的结构规则来捕获此属性并且在此类系统中当且仅当规则是可接受的时人们可以说蕴含是单调的具有这种性质的逻辑系统有时被称为单调逻辑以区别于非单调逻辑