“易字”的版本历史

差异选择：选中要对比的修订的单选按钮，然后按Enter键或下面的按钮。
说明：（当前）=与最后修订的差异，（之前）=与上个修订的差异，小=小编辑。

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