lógica de primer orden ejercicios resueltos