LÓGICA MATEMÁTICA

Lógica Matemática é uma obra de natureza introdutória, porém completa, centrada no desenvolvimento da lógica clássica de primeira ordem. Inicia-se com reflexões sobre paradoxos e (meta)linguagem, contendo também capítulos e apêndices sobre lógica proposicional clássica, teoria dos conjuntos (ingênua e formalizada), construções de conjuntos numéricos e álgebras de Boole. O objetivo do autor é apresentar ao estudante de matemática – de licenciatura ou de bacharelado – os fundamentos da lógica de primeira ordem, mostrando como pode ser utilizada para formalizar a matemática e tornando mais precisas as definições, notações e demonstrações que nela aparecem. Todos os conceitos são estabelecidos e explicados no texto, entretanto, é aconselhável que o leitor tenha alguma experiência em demonstrações matemáticas informais, adquirida em disciplinas como álgebra, álgebra linear e análise real, para acompanhar a leitura com fluência.