¿Lógica de primer pedido para un novato completo (recomendaciones de libros)?

Question

Me inscribí en una clase que no debería tener. Así que ahora estoy un poco jodido 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 buscarlo en Google). ¿Algún buen libro con muchos ejemplos? Gracias

Answer 1

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

Answer 2

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

Una de las cosas buenas del libro es que está escrito para ser utilizado junto con un programa de software libre para ayudar a aprender lógica.

He enseñado tres cursos de lógica universitaria y descubrí que la mayoría de los estudiantes lo hacen 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 aprender matemáticas o programación, aumentará sus posibilidades de éxito.