# 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.

*Attachments:*

- *[vpl.png](/Forum%20archiv/Attachments/7060_b27b9a874d8d128434967ab719fd9c41)*

<{/ForumPost}>