# Zkouška 12. 1. 2017 (Gregor)

<{ForumPost(poster="vasek.rozhon", timestamp=2017-01-27 16:17:27)}>
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:*

- *[zktest1.pdf](/NAIL062/Zkou%C5%A1ka%202017-01-12%20Gregor/zktest1.pdf)*
- *![logika](/NAIL062/Zkou%C5%A1ka%202017-01-12%20Gregor/logika.jpg)*

<{/ForumPost}>