# 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](/Forum%20archiv/Attachments/7057_ab666c93426d6d7408a2787cde6d1b35)*
- *[logika.jpg](/Forum%20archiv/Attachments/7057_1ccfbcbddf639ad48e53c8f918f7c60b)*

<{/ForumPost}>