Dar o conhecimento essencial do cálculo proposicional e de predicados de 1 ordem aos estudantes de
licenciatura em matemática.

Ementa

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.

• E. Mendelson, Introduction to Mathematical Logic, Van Nostrand, 1964.

• J. Zimbarg, Introdução à Lógica Matemática, Impa, 1973.

•  H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, 1972.

• J. Ferrater Mora, H. Leblanc, Logica Matematica, 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.