Model (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m Náhrada názvu sekce "Podívejte se ..." na "Související články" |
m link fix |
||
Řádek 3:
== Definice ==
=== Model jazyka ===
Struktura pro [[jazyk (logika)|jazyk]] ''L'' (také model jazyka ''L''), který obsahuje z mimologických symbolů [[konstantní symbol (matematická logika)|konstantní symboly]] <math>c_\alpha; \alpha\in I_K</math>, [[funkční symbol]]y <math>\,f_\alpha</math> četností <math>n_\alpha; \alpha\in I_F</math> a [[predikátový symbol|predikátové symboly]] <math>\,p_\alpha</math> četností <math>n_\alpha; \alpha\in I_P</math>, je množina ''A'' nazývaná ''nosič struktury'' spolu s [[konstanta]]mi <math>C_\alpha\in A; \alpha\in I_K</math>, [[funkce (matematika)|funkcemi]] <math>F_\alpha :A^{n_\alpha}\rightarrow A; \alpha \in I_F</math> a [[
<math>\,c_\alpha^A</math>, resp. <math>\,f_\alpha^A</math>, resp. <math>\,p_\alpha^A</math>. Struktura s nosičem A (a příslušnými realizacemi symbolů) se obvykle značí <math>\mathcal{A}</math>.
|