非逻辑符号 可能包括下列符号: 个体常元符号: C, C1, C2 Cn, ●谓词符号: F",G,P",Q",R等 m(∈N,m>0)表示此谓词符号的元数 ●函数符号 fm,gmn,hm等 m(m∈N,n>0)表示此函数符号的元数 由一些非逻辑符号作为元素组成的集合常记为C: • : c, c1, c2, · · · , cn, . . . • : Fn, Gn, Pn, Qn, Rn — n(n ∈ N, n > 0) • : fm, gm, hm — m(m ∈ N, n > 0) ✗✓ L. 3