符号定义

1. 常量符号：所属个体域 中的 特定 元素；
2. 变量符号：所属个体域 中的 任意 一个元素；
3. 函数符号： 元函数符号 是所属个体域集合 中的任意一个函数。
4. 谓词符号： 元谓词符号 是所属个体域集合 中的任意一个谓词。

(★) 例题#1

爸爸 A 的爸爸是爷爷。

之前

• 设 是爷爷， 是 的爸爸， 爸爸 A 。

现在

• 设 的爸爸， 是爷爷， 爸爸 A 。

项

1. 任意 常量符号 和 变量符号 ；
2. 若 是 元函数符号， 是项，则 是项。
3. 仅 有限次 地使用 1,2 所生成的符号串才是项。

原子公式

• 若 是 元谓词， 是项，则 是 原子谓词/原子公式 。

合式公式

1. 原子公式是合式公式；
2. 若 是合式公式，则 也是合式公式；
3. 若 , 是合式公式，则 也是合式公式；
4. 若 是合式公式， 是 中的变量符号，则 , 也是合式公式；
5. 仅 有限次 地使用 1-5 所生成的符号串也是合式公式。