Introducción a la lógica
View/ Open
Date
2000Author
Trelles Montero, Óscar
Fuentes, Miguel Humberto
Montealegre Scott, Juan
Rosales Papa, Diógenes
Metadata
Show full item recordAbstract
Introducción a la Lógica busca familiarizar al lector con el manejo de los conceptos básicos de la lógica proposicional y cuantificacional, relacionando en estas dos partes los aspectos semánticos y sintácticos. La primera parte del texto, desarrollada por el profesor Óscar Trelles Montero, contiene la vinculación del lenguaje simbólico con los lenguajes naturales, tanto en la lógica proposicional como en la lógica cuantificacional. El instrumento de la decisión usado en esta parte es el método de los diagramas semánticos. La segunda parte, expuesta por el profesor Diógenes Rosales Papa, aborda el método de la deducción natural, con el objeto de demostrar las principales fórmulas válidas de la lógica proposicional y cuantificacional.
Descripción
2a. ed.