notas-lc/logica_predicados.pdf