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/23 12:16]
zikesjan
+++ courses:au_zk_27_5_14 [2025/01/03 18:23] (aktuální)
@@ Řádek 8: / Řádek 8: @@
 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.1403518578.txt.gz · Poslední úprava: 2025/01/03 18:16 (upraveno mimo DokuWiki)

Nahoru