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.
Ofrece un enfoque explicativo y sencillo para adentrarse a la lógica simbólica, 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 cálculo 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 matemáticas.