Go backward to Example Go up to Top Go forward to Generalized Induction Principle

Example

Take the set Term defined in the previous example and assume that it is a term algebra. We define the value of a term as

value: Term -> N

value(0) := 0N

value(1) := 1N

value(-x) := -Nvalue(x)

value(x+y) := value(x)+Nvalue(y)

value(x*y) := value(x)*Nvalue(y)

Then we have value(1+(1+0)*1)=2.