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
#1 15. 12. 2013 20:20 — Editoval Dunemaster (06. 04. 2021 19:26)
- UnknownDeletedUser
- Host
-
-
- (téma jako vyřešené označil(a) Dunemaster)
#2 16. 12. 2013 10:10
- vojta_vorel
- Příspěvky: 70
- Škola: MFF UK
- Pozice: student
- Reputace: 5
Re: -
Ahoj
Tak předně je potřeba si ujasnit, co znamená symbol 
. Jakou máš o něm představu?
Vojta
Offline
#3 16. 12. 2013 13:44 — Editoval Dunemaster (16. 12. 2013 13:45) Příspěvek uživatele UnknownDeletedUser byl skryt uživatelem Dunemaster.
#4 16. 12. 2013 19:41
- vojta_vorel
- Příspěvky: 70
- Škola: MFF UK
- Pozice: student
- Reputace: 5
Re: -
Oukej. Jen dodám, že důležité na tom symbolu je, že nesouvisí s dokazováním (narozdíl od 
). Říká jen: V každém světě (modelu) kde platí 
, platí i 
.
Další zásadní věc, kterou je tady potřeba si rozmyslet je dosti nezajímavá, jde jen o definici, ale právě o ni se tady jedná: Znamená pro nás totéž jako 
? Tedy "platí b" znamená totéž jako "platí 'pro každé x platí b' "?
Offline