algorithm - resueltos - logica de primer orden teoria - edu.lat