Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- courses:au_zk_27_5_14 [2014/06/21 20:34]
thm
+++ courses:au_zk_27_5_14 [2025/01/03 18:23] (aktuální)
@@ Řádek 6: / Řádek 6: @@
 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~~

courses/au_zk_27_5_14.1403375670.txt.gz · Poslední úprava: 2025/01/03 18:16 (upraveno mimo DokuWiki)

Nahoru