蕴含的幂等性

蕴含的幂等性( 英语：Idempotency of entailment)是逻辑系统的一种特性，它表明人们可以从一个假设的多个实例中得出与仅从一个假设中得出相同的结果。这个属性可以被称为紧缩规则的一种结构规则捕获，在这样的系统中，当且仅当紧缩是一个可接受的规则时，人们可以说蕴含是幂等的。^[1][2]

紧缩规则：从

A,C,C → B

推导出

A,C → B.

或者在相继式演算符号系统中，

${\displaystyle {\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}}$

在线性逻辑和仿射逻辑（Affine logic）中，蕴涵不是幂等的。

2 sources

参见

• 蕴含
• 逻辑
• 经典逻辑
• 结构规则
• 蕴含的单调性

外部链接

• History of Logic in Relationship to Ontology （页面存档备份，存于互联网档案馆） Annotated bibliography on the history of logic

参考资料

1. 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）.
2. logic, britannica.com. [2021-06-27]. （原始内容存档于2022-07-10）.