AU Zk 27.5.2014
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
Dotaz k 2) Vychzí vám taky z tabuleaux, když začnete od negated conjecture, že je sporné a tedy tabuleaux je velmi krátké?
Nahoru