First Order Logic para un principiante completo (recomendaciones de libros)?

Question

Me inscribí en una clase que no debería tener. Así que ahora estoy un poco atormentado porque no entiendo nada de la notación utilizada cuando mi profesor estaba explicando la lógica de primer orden. Necesito algunas sugerencias de libros sobre cómo volver a aprender todas estas cosas. Por ejemplo: estaba confundido sobre qué es un "cuantificador" (lo sé después de buscar en Google). ¿Algún buen libro con muchos ejemplos? Gracias

Answer 1

Jon Barwise & John Etchemendy, El lenguaje de la lógica de primer orden (CSLI Press, 1992) es genial. Una versión revisada y ampliada fue lanzada en 2002, titulada Language, Proof y Logic.

Answer 2

Los lógicos de UCLA tienen un libro de lógica gratuito que cubre la lógica de primer orden here.

Una de las cosas buenas del libro es que está escrito para usarse junto con un free software program para ayudar a aprender la lógica.

He enseñado tres cursos universitarios de lógica y he descubierto que a la mayoría de los estudiantes les va mucho mejor al completar pruebas y derivaciones además de leer sobre ellos. Dicho esto, si aborda la lógica de aprendizaje de la misma manera que el aprendizaje de las matemáticas o la programación, aumentará sus posibilidades de éxito.