其它约定 ()常将”￡生成的_阶语言中的”等字省略。 生成的一阶语言中的公式、项、符号等分别称 为g的阶公式、项、符号等. i)常省略函数符号和谓词符号右上角的元数标记
(i) ”L ✓ ” ✔ L ✓ ✙✙ L ✓ ✙✙. (ii) ✔ 10
项和公式 ●项的作用是描述”复合”个体, 公式的作用是描述命题。 ”项”相当于”词组”,它们不表达完整的判断; 公式”代表完整的句子,表达判断 f(x1,a2,…,xn)表示f作用到个体x1,,xn得 到的个体 F"(x1,x2,…,xn)表小x1,m2,…,xm是否具 有关系P(或性质F
• ” ” , ✔ • ” ” ” ”, ; ” ” , ✔ f(x1, x2, · · · , xn) f x1, . . . , xn Fn(x1, x2, · · · , xn) x1, x2, · · · , xn Fn( Fn). 11