主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年7月8日 (六) 15:53 Gsxab 留言 贡献创建了页面合同引理 （创建页面，内容为“分类:证明论 {{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> ： # 若对项…”）