在逻辑学中, 恒同规则是如下非常显然的推导规则:A⊢A恒同规则往往是可容许规则, 因此在亚结构逻辑中往往也是成立的. 在结构逻辑或者任意弱化规则可容许的逻辑中, 恒同规则往往会这样写:Γ,A⊢A
参见: 切规则
若将命题视为对象、证明视为态射, 那么恒同规则对应的则是恒同态射.
•
唯一性规则在类型论中和恒同规则遥相呼应.
术语翻译
恒同规则 • 英文 identity rule