mere prædikatlogik opgaver