Terms The terms of f are defined inductively by the following formation rules Each individual variable or constant is a term 2. If t1, .. tn are terms and fm is an n-ary function variable or constant, then f'ti,..., tn is a term Q: Formulate the definition of the set of terms rinciple ot Induction the construction of a term Logic in Computer Science - p 5/23Terms The terms of F are defined inductively by the following formation rules: 1. Each individual variable or constant is a term. 2. If t1, · · · ,tn are terms and f n is an n-ary function variable or constant, then f nt1, · · · ,tn is a term. Q: Formulate the definition of the set of terms. Q: Principle of Induction the Construction of a term. Logic in Computer Science – p.5/23