Definition:Principle of General Induction/Terminology

From ProofWiki
Jump to navigation Jump to search

Terminology of Principle of General Induction

Basis for the Induction

The step that shows that the propositional function $P$ holds for $\O$ is called the basis for the induction.

Induction Hypothesis

The assumption made that $\map P x$ is true for some $x \in M$ is called the induction hypothesis.

Induction Step

The step which shows that $\map P x = \T \implies \map P {\map g x} = \T$ is called the induction step.