Matematické Fórum

Dobrý deň
Vedel by mi niekto pomôcť s nasedovným príkladom:

Študenti mali za úlohu dokázať, že pre každé prirodzené číslo n>10 platí V(n) (pričom V(n) je istá výroková forma).

Adam dokázal, že platí V(10) a dokázal platnosť implikácie V(k+1)=> V(k) pre každé prirodzené číslo k.

Barbora dokázala, že platí V(11) aj V(12) a dokázala platnosť implikácie V(k)=>V(k+2) pre každé prirodzené číslo k.

Cyril dokázal, že platí V(9) a dokázal platnosť implikácie V(k)=> V(k+1) pre každé prirodzené číslo k.

Kto z nich má správne riešenie?

Povedal by som že iba Barbora.