跳转到内容

Advertising:

“易字”的版本历史

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

2026年1月9日 (星期五)

2026年1月7日 (星期三)

2026年1月6日 (星期二)

2026年1月4日 (星期日)

2023年7月9日 (星期日)

  • 当前之前 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> 中可自由代…”

Advertising: