Par dukazu - za pet minut dvanact

Uživatelský avatar
Eubie
Matfyz(ák|ačka) level III
Příspěvky: 295
Registrován: 8. 10. 2005 15:35
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Par dukazu - za pet minut dvanact

Příspěvek od Eubie »

Ahoj,
dokaze nekdo dokazat:
|- Ex(x)[p(x) and q(x)] -> [Ex(x)P(x) and Ex(x)Q(x)]
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 12:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Příspěvek od hippies »

mno nejprv bych uděl rozbor.. když neex.x .. tak implikace evidentně platí,
nechť tedy ex., tak pokračujem.. zafixujem ho, .. pak to plyne elementárně z výrokový logiky .. takže to platí

.. ale jak se to zapíše formálně.. tak to už bys po mě chtěl moc:/
Uživatelský avatar
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.
Bydliště: Železný Brod/Troja A1923
Kontaktovat uživatele:

Příspěvek od Zdeněk Vilušínský »

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.
Uživatelský avatar
Eubie
Matfyz(ák|ačka) level III
Příspěvky: 295
Registrován: 8. 10. 2005 15:35
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Příspěvek od Eubie »

..což tedy jinými slovy znamená jí dokázat, když je platná všude. Nebo se pletu?
Odpovědět

Zpět na „2006“