Aula 10/9

Olá para todos
Na aula de hoje veremos a prova da completude de Kalmar - seção 31 do Hunter.
No link
https://sites.google.com/site/textoslogica/arquivos/lema_6.2.pdf
há uma prova de um lema importante para a prova.
Veremos na segunda parte da aula sistemas axiomáticos e de dedução
natural para a lógica setencial.
Material disponível no dropbox, pasta 'dn.sis.ax'
Abraços
Abílio