Fórum studentů MFF UK

Dnešní písemka:


Na ústním jsou docela hodní, já měl definovat tablo důkaz formule v teorii T ve výrokové logice a všechny pojmy k tomu, tj. co je tablo, jak se projevuje že to je v teorii, ... . A jako důkaz jsem měl, že každý tablo důkaz je konečný.

Možná ještě přidám odkaz na větší verzi toho obrázku. On sám o sobě neni nijak kvalitní a tady je vložený dost malý.
http://imageshack.com/a/img36/9281/ckyy.jpg

A co takhle originál místo obrázku? :)

Jinak hodnocení asi odpovídá tomu, co už bylo popsáno. Já měl 21b, prý horší dvojka -- na jedničku po mě chtěl úplnost tablo m. v PL včetně všech pomocných tvrzení