些注记 注1:与命题演算的形式语言相比,一阶语言中没有命 题符号,代之的是原子公式 注2:所有一阶语言中都含有相同的逻辑符号,但所含 的非逻辑符号不一定相同 注3:在定义中没有要求个体变元x一定要在a中出现: (x1)F2(x1,02)和(3)F2(m1,2)都是公式 注4:总假设:中至少有一个谓词符号. 否则生成的一阶语言中没有公式。✖ 1: , ✓ , . 2: ✓ , ✓ . 3: x ✓ α : (∀x1)F2(x1, x2) (∀x3)F2(x1, x2) . 4: : L ✘ . L ✓ ✔ 8