Un predicado es una función que devuelve un valor booleano.