Les dejo algunos ejercicios sencillos sobre nuestra primera aproximación al lenguaje de primer orden.
Demás, les dejo el primer tomo del GAMUT ya que algunas ideas de la semántica de primer orden las estudiaremos de allí. 

Ejercicios:
http://www.mediafire.com/?voc6mfc6ynca8av

Libro:
http://www.mediafire.com/?8tzn7wb8dp1kbm7