Model (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m →Model jazyka: - definice pro laika značky: první editace editace z Vizuálního editoru |
Malé upřesnění značka: editace z Vizuálního editoru |
||
Řádek 6:
<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>.
Méně
=== Tarského definice pravdy ===
|