Introducción a la lógica

Introducción. a la lógica presenta de manera clara y sencilla los temas y problemas básicos de la lógica moderna. En su desarrollo, el autor expone en base a ejemplos, temas de la lógica proposicional y de la lógica de predicados monódicos. El objetivo es el análisis de validez de inferencias mediante procedimientos decisorios, y la demostración de inferencias válidas por el método de la deducción natural.
Escrito en un estilo fluido y didáctico, este libro se propone introducir al lector de manera gradual y segura al fascinante mundo de la Lógica.
Diógenes Rosales es un profesor de reconocida experiencia. Sus trabajos e investigaciones están dedicados especialmente a temas de la Lógica y Filosofía de la lógica. Es profesor de Lógica de la Universidad Nacional Mayor de San Marcos y de la Pontificia Universidad Católica del Perú.