Material disponível

Olá para todos.
Além das apostilas sobre lógica de predicados que já usamos semana
passada, estão disponíveis no Dropbox alguns resultados que serão
vistos: correção, consistência, completude para lógica de primeira
ordem.
Abraços