蕴含的幂等性 蕴含的幂等性 英語Idempotency of entailment是逻辑系统的一种特性它表明人们可以从一个假设的多个实例中得出与仅从一个假设中得出相同的结果这个属性可以被称为紧缩规则的一种结构规则捕获在这样的系统中当且仅当紧缩是一个可接受的规则时人们可以说蕴含是幂等的 紧缩规则从 ACC  B 推导出 AC  B 或者在相继式演算符号系统中 Γ  C  C  B Γ  C  B displaystyle frac Gamma CCvdash BGamma Cvdash B 在线性逻辑和仿射逻辑Affine logic中蕴涵不是幂等的