Question: 5. Let L be a language where c, d are symbols for constants, f, h are symbols for bynary functions, g is a symbol for

5. Let L be a language where c, d are symbols for constants, f, h are symbols for bynary functions, g is a symbol for a function of arity 1, R is a symbol for a binary relation. Which of the following are terms? (if it is, exhibit a term calculation, if not, argue why not a) (b) c (e) f(x) (e) f (z, g (y))=2. (f) h (f (x, x), f (v.v)). (g) g (c, d)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
