Ejercicios de lógica proposicional y de predicados