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...
Potentni modus
- MyS
- 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
We don't need no education!
- hippies
- Admin(ka) level I
- Příspěvky: 990
- Registrován: 29. 9. 2004 12:46
- Typ studia: Informatika Mgr.
- Login do SIS: procj4am
- Bydliště: Mladá Boleslav
- Kontaktovat uživatele:
Re: Potentni modus
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