Potentni modus

Uživatelský avatar
MyS
Donátor
Donátor
Příspěvky: 178
Registrován: 22. 9. 2004 00:13
Typ studia: Informatika Bc.
Bydliště: The city of Dobříš
Kontaktovat uživatele:

Potentni modus

Příspěvek od MyS »

Ac jsem myslel, ze MP stopro chapu, tak zjistuju, ze asi ne:-/.
MP chapu takhle: pokud mam jiz dokazane (pred pouzitim MP) A a A->B, plati |-B.
Mno, a Stepanek pouziva (napr. VL0_1,str.60) MP nejak divne. Ma dokazat treba fli (A->(B->C)), B, A |− C. A ted na to zazracne pouzije MP a ma jen B->C,B |- C ... ale to postupuje opacne, tj. A a A->... si bere z toho, co teprve ma dokazat!
Jak to probuh teda je? diky...
We don't need no education!
Uživatelský avatar
Dan
Matfyz(ák|ačka) level I
Příspěvky: 32
Registrován: 17. 1. 2006 13:32

Příspěvek od Dan »

ja myslim ze to je v pohode ... to co je vlavo od |- su predpoklady a teda platia a preto na ne mohol aj pouzit MP
Uživatelský avatar
Dawe
Supermatfyz(ák|ačka)
Příspěvky: 360
Registrován: 12. 10. 2004 12:32
Typ studia: Informatika Mgr.
Bydliště: Doma a nebo na koleji

Příspěvek od Dawe »

Je díky za tip :-) Já si naopak myslel, že to takhle nějak jde, ale nebyl jsem si jistej, protože se to takhle nikde nepoužívalo. No znamená to něco jako že, když něco vím a umím z toho něco předpokládat, pak vím vlastně i to co předpokládám. Snad jsem to pochopil dobře.
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:

Re: Potentni modus

Příspěvek od hippies »

MyS píše: (A->(B->C)), B, A |− C (MP)
B->C,B |- C

Kód: Vybrat vše

A->(B->C),A
---------------
B->C
takhle pouzije MP na ty predpoklady a upravi je tim, MP se |- vubec netyka
Odpovědět

Zpět na „2005“