Partiendo de la base de que la lógica es el instrumento orgánico que aprecia o evalúa la corrección del razonamiento, esta obra presenta dos aspectos fundamentales: primero pretende ayudar a los estudiantes a adquirir la habilidad de analizar enunciados y argumentos del lenguaje ordinario y traducirlos a las notaciones de la lógica simbólica, y aplicar las técnicas y métodos de la lógica simbólica a la determinación de la validez o invalidez de los argumentos ya simbolizados. Después, presenta un tratamiento sistemático de los principios lógicos expuestos con anterioridad.

CONTENIDO Introducción: la lógica y el lenguaje. Argumentos que contienen enunciados compuestos. El método de deducción. Funciones preposicionales y cuantificadores. La lógica de las relaciones. Sistemas deductivos. Un cálculo preposicional. Sistemas y notaciones alternativos. Un cálculo proposicional. Sistemas y notaciones alternativos. Un cálculo funcional de primer orden. Apéndice.