Matematické Fórum

vlado_bb napsal(a):

MichalAld napsal(a):

Ale nějak si nedokážu představit, že by se tohle mělo udělat s implikací, něco ve stylu

jestliže ( jestliže je x dělitelné 4, pak je dělitelné 2) pak ...

Takuto formu ma napriklad osma Peanova axioma (n' oznacuje nasledovnika n):

Pre kazdu podmnozinu M mnoziny N obsahujucu nulu plati, ze ak je 0 prvkom M a ak pre kazde [mathjax]n \in N[/mathjax] plati, ze [mathjax] n\in M \implies n' \in M[/mathjax], tak M=N.

Je to tak, vlastně je to schema důkazu indukcí.