Ofrece un enfoque explicativo y sencillo para adentrarse a la logica simbolica, en particular al planteamiento simbólico de argumentos. Abarca las nociones introductorias , la lógica de la naturaleza, el lenguaje formal y ordinario, en la segunda parte se trata el calculo proposicional, la cuantificación y por último las relaciones, descripciones definidas e identidad. Dirigido a estudiantes de áreas afines a la ingeniería y las matematicas.

Contenidos:

Principales abreviaturas usadas - 1. Algunas nociones de lógica - 2. Cálculo proposicional - 3. Cuantificación - 4. Relaciones, descripciones definidas e identidad - Bibliografía general - Acerca del autor.