Matematická indukce
Ověř matematickou indukcí, že platí tvrzení: \forall n \in \mathbb{N}: 1+3+5+\ldots+(2 n-1)=n^{2}.
V(1) platí.
V(k) \Rightarrow V(k+1) neplatí.
\vee(n) tedy neplatí pro všechna n.
V(1) platí.
V(k) \Rightarrow V(k+1) platí.
\vee(n) tedy platí pouze pro některá n.
V(1) platí.
V(k) \Rightarrow V(k+1) platí.
\vee(n) tedy platí pro všechna n.
V(1) neplatí.
V(k) \Rightarrow V(k+1) neplatí.
\vee(n) tedy neplatí pro všechna n.