od mathemage » 28. 10. 2011 14:04
1) Vysvetlete, jak ziskat z formule
libovolnou jeji variantu. (chtelo to hlavne napsat ty 2 podminky - substituovatelnost podformule, zadny volny vyskyt nove variovane promenne)
2) V algebre
urcete hodnotu
pro term
a ohodnoceni
. (vysledek:
)
3) Mejme strukturu
, kde
je konstantni symbol a
pro
. Prave kolik ma tato struktura podstruktur? (prave 1; musi mit
stejnou; pak tam stejnak musi byt kazde
, neb
a na operaci
musi byt podstruktura uzavrena. Jedina podstruktura muze tedy byt pouze opet ona struktura samotna.)
1) Vysvetlete, jak ziskat z formule [latex]\varphi[/latex] libovolnou jeji variantu. (chtelo to hlavne napsat ty 2 podminky - substituovatelnost podformule, zadny volny vyskyt nove variovane promenne)
2) V algebre [latex]\underline{\mathcal{P}(x)}[/latex] urcete hodnotu [latex](-t)[e][/latex] pro term [latex]t = x \rightarrow y[/latex] a ohodnoceni [latex]x(e)=X, y(e) = Y[/latex]. (vysledek: [latex]X\setminus Y[/latex])
3) Mejme strukturu [latex]<\mathbb{N}, S, 0>[/latex], kde [latex]0[/latex] je konstantni symbol a [latex]S(n)=n+1[/latex] pro [latex]\foreach n\in\mathbb{N}[/latex]. Prave kolik ma tato struktura podstruktur? (prave 1; musi mit [latex]0[/latex] stejnou; pak tam stejnak musi byt kazde [latex]n\in\mathbb{N}[/latex], neb [latex]n=S^n(0)[/latex] a na operaci [latex]S[/latex] musi byt podstruktura uzavrena. Jedina podstruktura muze tedy byt pouze opet ona struktura samotna.)