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
Ahoj, pokud mám pro
definici otevřené množiny
,
jak z toho plyne, že
je otevřená? Jak mám rozhodnout o platnosti výroku, když nemám žádné
, pro které bych ho mohl vyhodnotit? Předem děkuji za odpovědi.
Offline
Také na Wiki jsem našel:
Wikipedia napsal(a):
Univerzální kvantifikátor pro každý prvek platí je u prázdné množiny vždy splněn, jak plyne z elementárních pravidel logiky.
Nějak mi nedochází, co je tím elementárním pravidlem. Jsem ochoten přijmout to jako axiom, ale žádné logické pravidlo za tím nevidím.
Offline