Con este libro el estudiante universitario que haya decidido incursionar en el ámbito de la computación e informática, puede utilizarlo como un material de consulta, el cual contiene tres capítulos. En el primero, se mencionan los conceptos básicos de la lógica, el inicio de la traducción de enunciados del lenguaje natural al lenguaje de la Lógica Proposicional, además, inicia la demostración de estructuras lógicas con los Métodos de Tablas de Verdad y Tablas Semánticas. En el segundo, se refuerza la traducción del lenguaje natural al lenguaje lógico y comienza la demostración de estructuras lógicas mediante Métodos Deductivos. En el tercero, se continua desarrollando las habilidades de traducción de enunciados del lenguaje natural al lenguaje de la lógica de predicados. Así mismo, se describe el procedimiento respecto a demostración de estructuras lógicas mediante los métodos Métodos Deductivos para la Lógica de Predicados. En general, se pretende desarrollar habilidades en el estudiante tanto en la traducción de enunciados como en la demostración de estructuras lógicas.