Lógica Formal

A lógica está entre os fundamentos da Matemática, da Ciência da Computação e da filosofia analítica. Ela fornece os métodos para analisar argumentos, formular demonstrações rigorosas e compreender os limites dos sistemas formais.

Este livro apresenta uma introdução abrangente à lógica formal. Da lógica proposicional e da lógica de predicados à lógica modal e às lógicas não clássicas, os principais conceitos, métodos e técnicas são desenvolvidos de forma sistemática e acessível. Entre os temas abordados estão equivalências lógicas, formas normais, o método da resolução, teoria da prova, teoria dos modelos e procedimentos de demonstração automática de teoremas.

Um destaque especial é dedicado aos Teoremas da Incompletude de Gödel, que evidenciam os limites fundamentais dos sistemas formais e figuram entre os resultados mais importantes da lógica moderna. A obra também apresenta abordagens contemporâneas, como a lógica fuzzy, a lógica default e a programação por conjuntos de respostas, ampliando a visão sobre o raciocínio lógico em contextos de incerteza e conhecimento incompleto.

Com numerosos exercícios e soluções completas, apresentadas passo a passo de forma didática, o livro é adequado tanto para o estudo individual quanto como material de apoio em cursos universitários.

Destinado a estudantes de Matemática, Ciência da Computação, Engenharia e áreas afins, esta obra oferece uma base sólida para a compreensão da lógica formal e de seu papel central na matemática e na computação modernas.