主要公开日志

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

• 2023年7月9日 (日) 12:50 Gsxab 留言 贡献创建了页面易字 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=易字 |eng_name= }} 量化公式中，将被量化的个体变元及辖域中的所有出现，同一更换一个变元名称，通常不改变语义，称为其'''易字式'''，操作称为'''易字变形'''。 == 定义 == 对公式 <math>\forall x\phi</math> 和 <math>\exists x\phi</math> ，个体变元 <math>y</math> 不在其中自由出现，且对 <math>x</math> 在 <math>\phi</math> 中可自由代…”）