Question

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

Select the correct answer from above options

Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience

Answer 1

Correct choice is (a) True

Explanation: Definition of term in FOL.