Category:Forward-Backward Induction

This category contains pages concerning Forward-Backward Induction:

Let $P$ be a propositional function on the natural numbers $\N$.

Suppose that:

$(1): \quad \forall n \in \N: \map P {2^n}$ holds.

$(2): \quad \map P n \implies \map P {n - 1}$.

Then $\map P n$ holds for all $\forall n \in \N$.

The proof technique based on this result is called forward-backward induction.