项﹡

项名词解释：谓词演算公式的基本组成部分.项的归纳定义如下名词解释：
1.每一个个体常元、个体变元是项;
2.如果F是n(n≥1)元函词,t₁,t₂,…,t_n是项,则F(t₁,t₂,…,t_n)也是项;
3.只有根据1,2给出的表达式才是项.
根据上面的定义,个体常元c是项,个体变元x是项.若F是二元函词,则F(x,c)也是项.