Lógica De Primeira Ordem

Logica De Primeira Ordem

Smullyan, Raymond

A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas e de sentenças dedutíveis a partir deles. Este livro serve como introdução à Teoria da Quantificação e como uma exposição de novos resultados e técnicas concernentes aos métodos "analíticos" ou "sem corte", além de enfatizar o ponto de vista dos tableaux em virtude de sua fascinante simplicidade e elegância matemática.

Livro recomendado para literatura, leitura, conhecimento, educação, aprendizado, cultura e desenvolvimento pessoal.

Uma leitura indispensável para quem busca conhecimento de qualidade.