Dar o conhecimento essencial do cálculo proposicional e de predicados de 1 ordem aos estudantes de licenciatura em matemática.
Breve digressão histórica. Cálculo proposicional. Fórmulas tautológicas, contra-válidas e indeterminadas. Redução do número de conectivos. Problema de Post. Álgebra dos interruptores. Argumentos válidos. Teorema da dedução. Axiomatização do cálculo proposicional. Cálculo de predicados. Quantificadores. Fórmulas. Argumentos. Axiomatização do cálculo de predicados de 1 ordem. Noção sobre teorias formalizadas.
B. Castrucci, INTRODUÇÃO À LÓGICA MATEMÁTICA, Nobel, São Paulo, 1973 H.B. Enderton, A MATHEMATICAL INTRODUCTION TO LOGIC, Academic Press, 1972 J. Ferrater Mora, H. Leblanc, LOGICA MATEMÁTICA, Fondo de Cultura Economica, Mexico, 1955 L. Hegenberg, LÓGICA: SIMBOLIZAÇÃO E DEDUÇÃO, EDUSP, 1975 B. Mates, LÓGICA ELEMENTAR, Nacional, São Paulo, 1968.