Descripción
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.
