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