蕴含的幂等性, 英語, idempotency, entailment, 是逻辑系统的一种特性, 它表明人们可以从一个假设的多个实例中得出与仅从一个假设中得出相同的结果, 这个属性可以被称为紧缩规则的一种结构规则捕获, 在这样的系统中, 当且仅当紧缩是一个可接受的规则时, 人们可以说蕴含是幂等的, 紧缩规则, b推导出, 或者在相继式演算符号系统中, displaystyle, frac, gamma, vdash, gamma, vdash, 在线性逻辑和仿射逻辑, affine, logic, 蕴涵不是幂等的,. 蕴含的幂等性 英語 Idempotency of entailment 是逻辑系统的一种特性 它表明人们可以从一个假设的多个实例中得出与仅从一个假设中得出相同的结果 这个属性可以被称为紧缩规则的一种结构规则捕获 在这样的系统中 当且仅当紧缩是一个可接受的规则时 人们可以说蕴含是幂等的 1 2 紧缩规则 从 A C C B推导出 A C B 或者在相继式演算符号系统中 G C C B G C B displaystyle frac Gamma C C vdash B Gamma C vdash B 在线性逻辑和仿射逻辑 Affine logic 中 蕴涵不是幂等的 参见 编辑蕴含 逻辑 经典逻辑 结构规则 蕴含的单调性外部連結 编辑維基教科書中的相關電子教程 逻辑学导论History of Logic in Relationship to Ontology 页面存档备份 存于互联网档案馆 Annotated bibliography on the history of logic參考資料 编辑 Shapiro Stewart and Teresa Kouri Kissel Classical Logic The Stanford Encyclopedia of Philosophy Winter 2020 Edition Edward N Zalta ed 2021 02 08 原始内容存档于2022 02 26 logic britannica com 2021 06 27 原始内容存档于2022 07 10 取自 https zh wikipedia org w index php title 蕴含的幂等性 amp oldid 77973503, 维基百科，wiki，书籍，书籍，图书馆，
