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

Generalized Induction Principle

We want to prove

forall x in S: F.

Idea: exery element x in S is denoted by some term

fi(x1,...,xmi, y1, ..., yni).

Let the induction run over the structure of every such term:

Author: Wolfgang Schreiner
Last Modification: November 24, 1999

previous up next