Ahoj,
dokaze nekdo dokazat:
|- Ex(x)[p(x) and q(x)] -> [Ex(x)P(x) and Ex(x)Q(x)]
Par dukazu - za pet minut dvanact
- Zdeněk Vilušínský
- Matfyz(ák|ačka) level III
- Příspěvky: 110
- Registrován: 16. 1. 2006 22:04
- Typ studia: Informatika Bc.
- Login do SIS: viluz5am
- Bydliště: Železný Brod/Troja A1923
- Kontaktovat uživatele:
Tohle jsem měl dneska v písemce, ale ne jako důkaz, ale formuli a kde je platná. Víceméně očividně všude, ale s formálními zápisy jsem dost na štíru..
Věda je jako sex. Jistěže má nějaké praktické výsledky, ale proto ji přece neděláme. - R.P.Feynman
I krátký algoritmus může mít chování tak komplikované, že mu nerozumí ani jeho autor.
I krátký algoritmus může mít chování tak komplikované, že mu nerozumí ani jeho autor.