Model (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m {{Autoritní data}}; kosmetické úpravy |
→Realizace termu: <math>\langle \rangle ; vzor |
||
Řádek 13:
==== Realizace termu ====
Realizace [[term]]u ''t'' jazyka ''L'' při ohodnocení proměnných ''e'' v modelu ''A'', značíme <math>\,t^A<e></math> (typograficky lépe <math>\,t^A\langle e\rangle</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>
| |||