Matfyz Wiki
Všechny testy vypadají v zásadě stejně a Gregor je má u sebe na stránkách (včetně těch z minulých let). Proto doporučuju si jich před písemkou několik propočítat, mám tu zkušenost, že se to projeví u ústní části (měl jsem to skoro celé dobře a dostal jsem hodně jednoduchou větu o kompaktnosti). Přikládám své řešení rezoluce v dvojce. Na první pohled to asi vypadá dost šíleně, ale vlastně je to docela jednoduché, když si člověk uvědomí, že chce rezolvovat v podstatě ve stejném pořadí, jako kdyby to chtěl dokazovat normálně. Tedy nejdřív si postupně dokáže, že Micku zabila zvědavost (modrá větev) a následně to vysporuje s negací (vii) (zelená větev). Mimochodem v zádaní mu pro zvědavost chybí symbol.
Attachments: