1. Lógica e Computação
  3. Lógica Proposicional
  4. Introdução
  5. Sintaxe
  6. Dedução Natural Proposicional
    ❱
    1. Conjunção
    2. Dupla Negação
    3. Implicação
    4. Disjunção
    5. Negação e Contradição
    6. Efeito da Contradição
    7. Introdução de Teses
    8. Regras Derivadas
    9. Tabela de Regras
    10. Consequência Sintática
  8. Semântica Proposicional
    ❱
    1. Valoração
    2. Consequência Semântica
  10. Computação
    ❱
    1. Formas Normais
    2. Problemas e Algoritmos
    3. Resolução
  12. Exemplos
  13. Conclusão
  14. Exercícios
  16. Lógica de Primeira Ordem
  17. Introdução
  18. Sintaxe
    ❱
    1. Tratamento das Variáveis
  20. Dedução Natural de Primeira Ordem
    ❱
    1. Quantificador Universal
    2. Quantificador Existencial
    3. Igualdade
    4. Regras Derivadas
    5. Exemplos
    6. Consequência Sintática
  22. Semântica de Primeira Ordem
    ❱
    1. Interpretação
    2. Consequência Semântica
    3. Verificação de Modelos
  24. Computação
  25. Exemplos
    ❱
    1. Árvore Genealógica
    2. Números, Conjuntos e Listas
  27. Conclusão
  28. Exercícios
  30. Verificação de Programas
  31. Introdução
  32. Sintaxe de Programas
  33. Regras da Verificação de Programas
  34. Exercícios