主要公开日志

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

• 2023年7月9日 (日) 16:22 Gsxab 留言 贡献创建了页面易字变形 （创建页面，内容为“分类:谓词逻辑 {{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…”）