Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#51 06. 02. 2023 09:03
Re: Vyrokova logika
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.
Offline
#52 06. 02. 2023 15:36
- check_drummer
- Příspěvky: 4648
- Reputace: 101
Re: Vyrokova logika
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í.
"Máte úhel beta." "No to nemám."
Offline