Lógica de Primeira Ordem - Smullyan, Raymond M. - 9788571395206

Ok

A Didática não é nada boa, como a maioria dos livros de Lógica na gringa. Por isso, recomendo que só peguem esse livro quando estiverem com uma boa base de lógica, principalmente tablôs, completude e como funciona um axioma e uma demonstração. Isso é possível encontrar em outros livros, mesmo os já traduzidos para português. Mas tirando essa primeira barreira, o livro é muito bom e agrega bastante.

Em outubro de 2019 • Via Amazon

Texto horrível.

Muito resumido e pouco explicativo,não recomendo a ninguém.

Em setembro de 2019 • Via Amazon

Muito bom... mas não é pra qualquer um.

O livro é excelente para o que se propõe: I) Apresenta com rigor o método de tableaux semânticos (primeira parte); II) Introduz a Lógica de Primeira Ordem - também conhecido como "Cálculo Proposicional Clássico com Quantificação" (segunda parte); e III) Aborda outros temas afins à Lógica de Primeira Ordem como os sistema de Gentzen, teoremas da eliminação, tableaux prenex, e outros temas pertinenetes. Contudo, não me parece um livro adequado para o primeiro contato com a lógica e sua didática não é lá das melhores... para quem está começando este, com certeza, não é o livro mais indicado.

Em março de 2018 • Via Amazon