Doucovanie - Vyrokova a predikatova logika (surne)

[MIKI]

Zdravim, potreboval by som surne niekoho na doucovanie (overenie spravnosti, spocitanie a vysvetlenie prikladov) z vyrokovky v stredu 18.2.
Jedna sa o priklady podobne http://www1.cuni.cz/~svejdar/courses/p08aX.pdf
V pripade zaujmu ma prosim nevahajte kontaktovat na vyrokovka@seznam.cz

Nejak nestiham a docela sa s tym trapim...