Opravné písemky: VL

Opraveno, body zveřejněny, i podrobné body. (Ať víte, co se máte doučit)

Max. bodů 12: 1, 1, 3, 1, 1 / 3, 1, 1

Příklady (pro připomenutí): 1a) Formalizovat 'sněžení', b) příprava rezoluce, na klauzule, c) rezoluce, d) modely, e) počet nezávislých výroků ; 2a) tablo, b) extenze na JKE, c) nekonzervativní extenze