El objetivo del presente volumen comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto. Debido a las complejidades que introducen los cuantificadores existenciales se ha dejado su consideración para el volumen siguiente, Segundo curso de Lógica matemática. Se puede observar que la restricción a los cuantificadores universales que se presentan al principio de fórmulas no es tan severa como pudiera parecer. La mayor parte de las teorías matemáticas elementales con las que se puede encontrar el estudiante pueden formularse dentro de esta armazón. Esta restricción proporciona al estudiante una oportunidad para aprender cómo se hacen demostraciones matemáticas rigurosas y no triviales, sin adentrarse en las sutilezas que envuelven los cuantificadores existenciales.

Se ha insistido también mucho a lo largo del libro en la importancia del problema de traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente.



Se ha intentado escribir el libro de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio. La Lógica, afortunadamente, es una de las materias que no requiere gran base o experiencia para poder llegar; a un buen adiestramiento. Por esta razón, un libro de este tipo particular puede ser utilizado por una gran variedad de estudiantes. La experiencia con las versiones citadas indica que el material que contiene es razonablemente satisfactorio para los estudiantes seleccionados de Segunda enseñanza y, por otra parte, no demasiado elemental para que no pueda ser utilizado por alumnos de primer curso de la Universidad. Creemos que este libro será útil a una gran diversidad de alumnos de Enseñanza media y a las clases de Matemáticas de Selectivo de la Facultad.