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

Les dejo los dos primeros prácticos del curso 2013.
Son de teoría intuitiva de conjuntos; el primero es sobre las relaciones y operaciones básicas; y en el segundo se proponen teoremas para ser demostrados.

Práctico I:

http://www.mediafire.com/view/?91a6o3dq429uor6

Práctico II:

http://www.mediafire.com/view/?6l567szgswk5i1q