Lógica matemática é um assunto presente em muitos ramos do conhecimento: computação, engenharia, linguística, inteligência artificial, filosofia, matemática, eletrônica entre outros. Neste livro os principais conceitos da lógica clássica são apresentados com um adequado equilíbrio entre intuição, motivação e abordagem formal. Serve como uma boa introdução à argumentação matemática, desmistificando a temida palavra “demonstração”. Inicia com cálculo proposicional clássico e finaliza com cálculo de predicados de primeira ordem, sempre com a utilização do sistema de tableaux como método dedutivo alternativo ao axiomático, também apresentado na obra. Em linguagem acessível e didática, o texto traz bons exemplos e, sempre que possível, aproxima-se de questões do dia a dia. Em todos os capítulos, além de aplicações à matemática, há uma seção final com excelentes exercícios de fixação de conteúdo, seguidos por outros, mais sofisticados, indicados como atividade de pesquisa. Esta obra destina-se não apenas a alunos de graduação de diferentes cursos, mas também a leitores interessados em raciocínio lógico em geral.

José Carlos Magossi é professor de matemática em ensino superior há mais de 30 anos. Na nicamp, fez mestrado em Lógica no Instituto de Filosofia e Ciências Humanas (IFCH), Doutorado em Engenharia Elétrica na Faculdade de Engenharia Elétrica e de Computação (FEEC), e é professor na Faculdade de Tecnologia (FT), Campus de Limeira. Suas linhas de pesquisa são análise matemática e seus fundamentos lógicos, ensino de matemática e teoria da informação.