A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).
(a) True
(b) False
I have been asked this question in homework.
Question is taken from First-Order Logic in chapter Logical Agents of Artificial Intelligence