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

courses/au_zk_27_5_14.txt · Poslední úprava: 2019/01/10 18:36 (upraveno mimo DokuWiki)
Nahoru
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0