dalsi zkouskovy priklad
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
dalsi zkouskovy priklad
Nevite, jak se dokaze toto?
(A -> B) -> (Ex) (A -> B)
a toto
(A -> B) -> ((C -> D) -> ((A v B) -> (C v D)))
(A -> B) -> (Ex) (A -> B)
a toto
(A -> B) -> ((C -> D) -> ((A v B) -> (C v D)))
- Dolda
- Matfyz(ák|ačka) level I
- Příspěvky: 37
- Registrován: 2. 2. 2006 14:22
- Typ studia: Informatika Mgr.
- Bydliště: Bohnice
Re: dalsi zkouskovy priklad
Co takhle:twoflower píše:(A -> B) -> (Ex) (A -> B)
(A -> B) -> (A -> B) /v1 - A -> A
(A -> B) -> (Ex) (A -> B) /duální forma axiomu specifikace - ta má sice předpoklad aby x nebyla volná v (A -> B), ale kdyby byla, použijeme větu o konstantách.
S tou větou o konstantách budu rád když mě někdo zkontroluje, moc nevim jak to funguje...
Tohle už se tu stoprocentně řešilo, projdi si cca top 5 topiců (nemusí to bejt hned na začátku)twoflower píše:(A -> B) -> ((C -> D) -> ((A v B) -> (C v D)))
Jinak: 3x VD, Věta o důkazu rozborem případů a pak tak nějak... no mrkni se kde to bylo
Born 2 die in Enemy Territory
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Re: dalsi zkouskovy priklad
Ja prave te Vete o konstantach taky moc nerozumim...Dolda píše:Co takhle:twoflower píše:(A -> B) -> (Ex) (A -> B)
(A -> B) -> (A -> B) /v1 - A -> A
(A -> B) -> (Ex) (A -> B) /duální forma axiomu specifikace - ta má sice předpoklad aby x nebyla volná v (A -> B), ale kdyby byla, použijeme větu o konstantách.
S tou větou o konstantách budu rád když mě někdo zkontroluje, moc nevim jak to funguje...
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Mam to odsud:Tuetschek píše:Ja bych teda rekl ze tohle jsou 2 ruzny veci ... ze bys musel to druhy z toho prvniho nejdriv dokazat, coz teda nemam poneti jestli jdetwoflower píše:Dalsi dotaz:
je korektni mit jako hypotezu v dukaze nejen
(Vx)(P(x) --> Q(x))
ale i
(Vx) P(x)
?
http://en.wikipedia.org/wiki/Generalization_(logic)
(viz. ten priklad dukazu tam)
- Trupik
- Matfyz(ák|ačka) level III
- Příspěvky: 251
- Registrován: 3. 1. 2005 14:45
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
No tak tam je to okomentované celkem jasně, ne?twoflower píše: Mam to odsud:
http://en.wikipedia.org/wiki/Generalization_(logic)
(viz. ten priklad dukazu tam)
Důkaz používá větu o dedukci, s tím, že (Vx)Px i (Vx)(Px->Qx) neobsahují volně proměnnou x, takže je to korektní. Rozhodně ale neplatí samo, že jeden předpoklad vyplývá z druhého (popř. je dokazatelný z druhého)
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz
Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Petice proti olympiádě http://olympiada.nazory.cz
Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Jo, uz je mi to jasny.Trupik píše:No tak tam je to okomentované celkem jasně, ne?twoflower píše: Mam to odsud:
http://en.wikipedia.org/wiki/Generalization_(logic)
(viz. ten priklad dukazu tam)
Důkaz používá větu o dedukci, s tím, že (Vx)Px i (Vx)(Px->Qx) neobsahují volně proměnnou x, takže je to korektní. Rozhodně ale neplatí samo, že jeden předpoklad vyplývá z druhého (popř. je dokazatelný z druhého)
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Re: dalsi zkouskovy priklad
Tak jsem to konzultoval jinde a melo by jit proste napsat ze je to primo dualni forma schematu specifikace a to bez omezeni, muze tam byt klidne volna promenna.Dolda píše:Co takhle:twoflower píše:(A -> B) -> (Ex) (A -> B)
(A -> B) -> (A -> B) /v1 - A -> A
(A -> B) -> (Ex) (A -> B) /duální forma axiomu specifikace - ta má sice předpoklad aby x nebyla volná v (A -> B), ale kdyby byla, použijeme větu o konstantách.
S tou větou o konstantách budu rád když mě někdo zkontroluje, moc nevim jak to funguje...