Model (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m →Model jazyka: oprava odkazu |
m →Realizace termu: oprava odkazu |
||
Řádek 12:
Realizace [[term]]u ''t'' jazyka ''L'' při ohodnocení proměnných ''e'' v modelu ''A'', značíme <math>\,t^A<e></math>, se definuje [[indukce dle složitosti|indukcí dle složitosti]] takto:
* <math>\,t^A<e>=e(x)</math>, je-li ''t'' proměnná ''x''
* <math>\,t^A<e>=c_\alpha^A</math>, je-li ''t'' [[konstantní symbol (matematická logika)|konstantní symbol]] <math>\,c_\alpha</math>
* <math>t^A<e>=F_\alpha^A(t_0^A<e>,\ldots, t_{n_\alpha-1}^A<e>)</math>, je-li <math>t=f_\alpha(t_0,\ldots,t_{n_\alpha-1})</math> a <math>t_0,\ldots,t_{n_\alpha-1}</math> jsou termy
| |||