Material disponível

Forma normal prenexa
https://dl.dropbox.com/u/5959592/prenexa.pdf

Completude - Henkin
https://dl.dropbox.com/u/5959592/completude_QS.pdf

Completude com identidade
https://dl.dropbox.com/u/5959592/completude_identidade.pdf

Ver também: Mortari, tablôs com identidade e símbolos funcionais

Grupo de estudos de lógica - 2013.1

Grupo de Estudos de Lógica: Teoremas de limitação e outros temas

FIL049 J – Tópicos em Filosofia II

Profs. Abílio Rodrigues e Antônio Coelho

Ementa: Os teoremas da correção, da completude e da compacidade; o teorema de Löwenheim - Skolem (descendente), o chamado paradoxo de Skolem e certas questões filosóficas a eles associadas; funções recursivas e sua representabilidade na aritmética de Robinson; os teoremas de indecidibilidade de Church e de indefinibilidade de Tarski; o primeiro teorema de incompletude de Gödel e alguns de seus desdobramentos filosóficos.
A principal referência bibliográfica será: Boolos, G. S. & Jeffrey, R. C. (1989), Computability and Logic (3rd ed.), Cambridge University Press.

Conversor - forma normal prenexa

http://www.xamuel.com/prenex/