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
zdravim, právě jsem se setkal s pojmy univerzální a existenční uzávěr, chápu jak to vypadá, chápu co je uzavřená/otevřená formule, ale nenašel jsem k tomu žádné využití v predikátové logice. Neměl byste někdo prosím nějaký příklad kde bych vyloženě vytěžil z toho že vím že ta formule je uzavřená potažmo pak i z toho že si mohu sestavit uni./ex. uzávěr?
možná přehlížím nějakou souvislost mezi uzávěry a tím proč se zavádí pojem otevřená/uzavřená formule..
Offline