Prova de Henkin II

Olá para todos. 

Veremos na aula de amanhã, 04/05, a prova de Henkin da completude.

Abaixo, com algum atraso, uma apostila com o passo a passo das provas e alguns comentários,

http://dl.dropbox.com/u/5959592/henkin_prop_2.pdf

Abraços