predicados.cpp