====== AU Zk 27.5.2014 ======
{{:courses:2014-05-27_zkouska_au.jpg?200|}}

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é?
~~DISCUSSION~~