Teorema da correção

Olá para todos.
Nas aulas dos dias 11 e 13 veremos, conforme combinado, as seções 24, 25 e 28 do Hunter.

Abaixo, uma apostila com o passo a passo da prova do teorema da correção, Hunter 28.4

http://dl.dropbox.com/u/5959592/correcao_hunter28.4.pdf

Se houver tempo, vamos começar no dia 13 a prova de Kalmar do teorema da completude. Leiam as seções 29 e 31 do Hunter, com atenção para o Lema 31.14. Há uma prova desse lema em Robbin p. 23, cujo passo a passo está em 

http://sites.google.com/site/textoslogica/arquivos/lema_6.2.pdf