Zkouška 11.9

ahoj...
pokud jste tam někdo byl... bylo by moc fajn kdybyste sem hodili zadání... 8)

JA som tu pisomku tak 'uspesne' napisal ze som ju ani neodovzdal. Ale sa mi to dajak moc nexe prepisovat ta keby ze chces tak mi napis na icq alebo tak nejak....icq:212-829-914 alias [SVK]Michael

Som si povedal ze aj tak nemam co robit...tak aspon sa pohral s LaTeXom a mozno sa nieco aj na mna z tej logiky nalepi... tak tady to je

http://www.kaiser-sro.cz/pisomka_11_9_07.pdf

Nejake napady ? napriklad na stvrty priklad ??? Zide sa kazda myslienka. Vopred dik za nejake postrehy.

bud A(z)==(z=f(x))

-|f(x)=f(x) axiom rovnosti R1, coz je totez jako A[z->f(x)]

tedy
-|A[z->f(x)] -> <ex z> A(z)

podle vety o variantach je to totez jako
-|<ex y> A(y)

schematem generalizace dostaneme
-|<forall x> <ex y> A(y)

tedy

-|<forall x> <ex y> y=f(x) Q.E.D :?:
opravdu za to nerucim,.... pustte se do me... esli je to blbost .)

noo vyzera to celkom rozumne..aj ked ja to nemozem nejako ohodnotit...
neviete nahodou niekto ako riesit dalsie priklady ?...