Model (logika): Porovnání verzí

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 [[Relace (matematika)|relacemi]] <math>P_\alpha \subseteq A^{n_\alpha}; \alpha\in I_P</math>. Konstanta <math>\,C_\alpha</math>, resp. funkce <math>\,F_\alpha</math>, resp. relace <math>\,P_\alpha</math> se nazývá realizací konstantního symbolu <math>\,c_\alpha</math>, resp. funkčního symbolu <math>\,f_\alpha</math>, resp. predikátového symbolu <math>\,p_\alpha</math> v modelu A a značí se