previous up next
Go backward to Example
Go up to Top
Go forward to Generalized Induction Principle
RISC-Linz logo


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.

Author: Wolfgang Schreiner
Last Modification: November 24, 1999

previous up next