lógica de predicados ejercicios resueltos pdf