ÚDML skúška 28.1.2009
1.Veta o konštantách + dôsledok
2.zovšeobecnená veta o dedukcii + dôsledok
3.DNF a KNF
4.Dokážte alebo vyvráťte
1.├ (pre všetky x) (existuje y) A(x,y) => (existuje y) (pre všetky x) A(x,y)
2.├ (existuje y) (pre všetky x) A(x,y) => (pre všetky x) (existuje y) A(x,y)
5. Dokážte:
├ (A => (B => (C => D => E))) => (C => (D => (A => B => E)))
Prihlásiť na odber:
Zverejniť komentáre (Atom)
2 komentáre:
ty sa nikdy nezabudnes pochvalit :D:D
si robis ako ze zo mna FX srandu ???
Zverejnenie komentára