查看“︁易字变形”︁的源代码

[[分类:谓词逻辑]]
{{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'/p)</math> ，则称 <math>\phi,\phi'</math> 互为'''简单易字变形'''。

=== 易字变形 --=

递归地定义公式间的 '''易字变形'''：
# <math>\phi</math> 是 <math>\phi<math> 本身的易字变形。
# <math>\phi'</math> 是 <math>\phi</math> 的易字变形， <math>\phi''</math> <math>\phi'</math> 的简单易字变形，则 <math>\phi''</math> 是 <math>\phi</math> 的易字变形。


{{谓词逻辑}}