#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