“易字变形”的版本历史

2026年1月9日 (星期五)

• 当前之前 12:092026年1月9日 (五) 12:09 Gsxab 留言 贡献 1,471字节 +62 无编辑摘要

2026年1月7日 (星期三)

• 当前之前 08:352026年1月7日 (三) 08:35 Gsxab 留言 贡献 1,409字节 +512 无编辑摘要

2026年1月4日 (星期日)

• 当前之前 08:532026年1月4日 (日) 08:53 Gsxab 留言 贡献 897字节 +5 无编辑摘要

2023年7月9日 (星期日)

• 当前之前 16:222023年7月9日 (日) 16:22 Gsxab 留言 贡献 892字节 +892 创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=易字变形 |eng_name= }} '''易字变形'''指一个谓词公式，其中的部分量化公式被替换成其易字式。 == 定义 == === 简单易字变形 === 对谓词公式 <math>\phi</math> 和 <math>\phi'</math> ，若存在公式 <math>\psi</math> 、原子公式 <math>p</math> 、互为易字式的两个量化公式 <math>\psi,\psi'</math> ，使得 <math>\phi=\chi(\psi/p),\phi'=\chi'(\psi…”