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.