cviceni z pate kapitoly skript

Karl.von.Bahnhof
Matfyz(ák|ačka) level I
Příspěvky: 1
Registrován: 5. 6. 2008 18:50
Typ studia: Informatika Bc.

cviceni z pate kapitoly skript

Příspěvek od Karl.von.Bahnhof »

Ahoj, mam na zapocet spocitat nejake priklady, uz to mam vice mene hotove vsechno, jen si vubec nevim rady s jednim z pate kapitoly stepankovych skript, pomohl by mi nekdo? stacilo by aspon napovedet nejlepe vsak provest precizni dukaz :twisted:
Je-li T otevrena teorie, a A formule jejijo jazyka v prenexnim tvaru, potom A je dokazatelne v T prave tehdy kdyz nejaka disjunkce instanci otevreneho jadra formule A je tautologickym dusledkem instanci axiomu rovnosti a axiomu teorie T.

Diky moc za jakekoli postrehy, protoze jsem z toho fakt jelen (chybi zde smajlik jelena, ktery by se obcas opravdu hodil).
Odpovědět

Zpět na „2007“