Dôkaz vzťahu pre súčet prirodzených čísel
Over, že platí vzťah \( \frac{n}{2}(n+1)=\sum_{k=1}^{n} k \).
V(1) neplatí.
\( \mathrm{V}(m) \Rightarrow \mathrm{V}(m+1) \) neplatí.
\( V(n) \) teda neplatí pre všetky \( n \).
V(1) platí.
\( \mathrm{V}(m) \Rightarrow \mathrm{V}(m+1) \) platí.
\( V(n) \) teda platí pre všetky \( n \).
V(1) platí.
\( \mathrm{V}(m) \Rightarrow \mathrm{V}(m+1) \) neplatí.
\( V(n) \) teda neplatí pre všetky \( n \).
V(1) platí.
\( \mathrm{V}(m) \Rightarrow \mathrm{V}(m+2) \) platí.
\( V(n) \) teda platí pre všetky \( n \).