Model (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
doplněn odstavec Izomorfismus modelů + v Podívejte se také na přidány odkazy |
m →Izomorfismus modelů: lepší styl matematiky |
||
Řádek 34:
== Izomorfismus modelů ==
Izomorfismem modelů (struktur) <math>\mathcal{A},\, \mathcal{B}</math> téhož [[jazyk (logika)|jazyka]] ''L'' je taková [[bijekce]] <math>i:A\rightarrow B</math>, která zachovává všechny symboly jazyka ''L'', tj. splňuje:
* <math>\,i(c^{A})=c^B</math> pro každý konstantní symbol ''c'' jazyka ''L''
* <math>i(f^A(a_1,\ldots,a_n))=f^B(i(a_1),\ldots,i(a_n))</math> pro každý funkční symbol ''f'' jazyka ''L'' četnosti ''n''.
* <math>p^A(a_1,\ldots,a_n)\Leftrightarrow p^B(i(a_1),\ldots,i(a_n))</math>
| |||