vaje iz predikatnega racuna