# Zkouška 28. 6. 2017 (Gregor)

<{ForumPost(poster="karamel", timestamp=2017-06-30 16:03:54)}>
Na ústní jsem měl korektnost rezoluce v predikátové logice.

![vpl](/NAIL062/Zkou%C5%A1ka%202017-06-28%20Gregor/vpl.png)

<{/ForumPost}>