AI MCQ #307: A Term is either an individual constant (a 0-ary function), or a variable, or an…

Q307. 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

✅ Correct Answer: A) True

Explanation: Definition of term in FOL.