Lógica Matemática, De Rogério Augusto Dos Santos Fajardo. Editora Edusp, Capa Mole Em Português

Descrição

Lógica Matemática é uma obra introdutória e completa, focada no desenvolvimento da lógica clássica de primeira ordem. Aborda paradoxos e (meta)linguagem, incluindo 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 é introduzir aos estudantes de matemática de licenciatura ou bacharelado os fundamentos da lógica de primeira ordem, evidenciando sua utilidade na formalização da matemática para precisão de definições, notações e demonstrações. Todos os conceitos são definidos e explicados no texto, sendo recomendável que o leitor possua experiência prévia em demonstrações matemáticas informais, adquiridas em disciplinas como álgebra, álgebra linear e análise real.