Provas correção e completude - aulas 30/5 e 1/6

Olá para todos.

A apostila com a prova da completude foi modificada para se adequar ao sistema dedutivo QS' e está abaixo

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

A prova da correção, que concluiremos segunda 30/5, está em 

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

A previsão é que na semana das aulas 30/5 e 1/6 iremos concluir as provas da correção e completude para QS'.

Abraços