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

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

Please log in or register to add a comment.

1 Answer

Please log in or register to add a comment.

Find MCQs & Mock Test

Related questions

Categories