Pisemka Gregor 10.11.2011
Napsal: 12. 11. 2011 11:48
1) Oznacte platna tvrzeni:
a)
b)
c)
(jen c). Proc a) a b) neplati? Tam plati ta jedina treti mozna inkluse )
2) Mejme jazyk s rovnosti, kde je binarni funkcni symbol. Dale uvazme L-strukturu , kde jest obvykle nasobeni realnych cisel. Je v definovatelna (s formuli v jedne promenne bez parametru) mnozina ?
(Ano. - napr. formule , slovy existuji prave 2 y, ze jejich ctverec je x. Tj. kladna cisla maji ruzne.)
3) Uvazme strukturu - viz Mlckovy skripta (teorie ), popis je zde na mne moc dlouhy. Je kazda jeji podstruktura opet modelem ?
(Ne. - V nema predchudce, i kdyz by ho jako nenulovy prvek mit mel, tj. mel by splnovat axiom )
a)
b)
c)
(jen c). Proc a) a b) neplati? Tam plati ta jedina treti mozna inkluse )
2) Mejme jazyk s rovnosti, kde je binarni funkcni symbol. Dale uvazme L-strukturu , kde jest obvykle nasobeni realnych cisel. Je v definovatelna (s formuli v jedne promenne bez parametru) mnozina ?
(Ano. - napr. formule , slovy existuji prave 2 y, ze jejich ctverec je x. Tj. kladna cisla maji ruzne.)
3) Uvazme strukturu - viz Mlckovy skripta (teorie ), popis je zde na mne moc dlouhy. Je kazda jeji podstruktura opet modelem ?
(Ne. - V nema predchudce, i kdyz by ho jako nenulovy prvek mit mel, tj. mel by splnovat axiom )