En la 1º Parte introducimos la Lógica Matemática, desde la noción primitiva de Proposición, hasta el Cálculo Proposicional, y el de Predicados mediante Lenguajes de Primer Orden. No presuponemos más conocimientos que los teóricamente vistos en la Educación Media, sin por ello perder rigurosidad. Presentamos los Árboles Semánticos con sus aplicaciones; estudiamos Conjuntos y Relaciones, y su vinculación con la Lógica. Expuesto con numerosos ejemplos y ejercicios a cargo del lector. Cabe aclarar que en la literatura existente sobre estos temas, no hay textos al nivel de esta exposición, ya que presuponen conocimientos algebraicos elevados o tienen abordajes elementales. En la 2º Parte, con ideas y enfoques originales del Autor, examinamos la diferencia en la validez de los razonamientos entre la Lógica Matemática y la Aristotélica Clásica. Presentamos un análisis exhaustivo de las Inferencias Inmediatas y Silogismos, válidos en la Lógica Aristotélica. Y los comparamos y amalgamamos con el Cálculo de Predicados de la Lógica Matemática. Por eso este libro se recomienda, no sólo a los estudiantes de Filosofía y de Matemática, sino también al público general interesado en estos temas.