Toto je starší verze dokumentu!
Kdyby tu někdo uměl zapnout diskuzi, bylo by to good :)
Vyšla 3) taky někomu e ⊨ a,b,c,d a d ⊨ b?
Podle mě 3) navíc ještě d ⊨ c
navigation
hledat
