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 31. 01. 2015 22:38
- martinerk0
- Zelenáč
- Příspěvky: 2
- Škola: MFF UK
- Pozice: student
- Reputace: 0
Predikatova logika
Zdravim, neviem ako na nasledujuci priklad:
Nechť T = {φ} je teorie jazyka L = ⟨U⟩ s rovností, kde U je unární relační symbol a axiom φ vyjadřuje “U(x) platíı pro právě 42 prvku.”
Q: Je teorie T ω-kategorická? Uveďte zduvodněníı.
Offline
#2 27. 10. 2015 15:05
Re: Predikatova logika
↑ martinerk0:
zdravím.
Je ω-kategorická. A je to ještě aktuální? Že bych se pustil do podrobněnjšího vysvětlení.
Dva jsou tisíckrát jeden.
Offline