“合同引理”的版本历史

2023年7月8日 (星期六)

• 当前之前 15:532023年7月8日 (六) 15:53 Gsxab 留言 贡献 856字节 +856 创建页面，内容为“分类:证明论 {{InfoBox |name=合同引理 |eng_name= }} '''合同引理'''指项在赋值下的值、谓词公式在赋值下的真值，都仅依赖于赋值对其中出现的符号的解释。 == 定理 == 对模型 <math>\mathfrak{A} = \left\langle A, I \right\rangle, \mathfrak{A}' = \left\langle A', I'\right\rangle</math> ，有任意两个分别在两个模型上的赋值 <math>\sigma,\tau</math> ： # 若对项…”