1. Introdução e Histórico

2. Conceitos Básicos

3. Árvores e Tableaux Semântico

   3.1. Ferramenta para verificação de Tableaux

4. Provas de Argumentos

5. Formas Normais: motivação

6. Introdução à Lógica de Predicados

7. Provas de Argumentos para Lógica de Predicados

8. Outros Métodos de Prova