• Lógica Proposicional
    ◊ Sintaxe
        · Termos e descrições em linguagem natural
        · Conectores lógicos
        · Definição indutiva de linguagem proposicional
        · Formas normais: negativa, conjuntiva e disjuntiva
    ◊ Semântica:
        · Tabelas de verdade e álgebra de Boole
        · Valoração e estrutura de interpretação: relação de satisfação
        · Validade e consequência lógica; equivalência
    ◊ Sistema dedutivo: dedução natural
        · Regras de introdução e eliminação
        · Derivação e prova
        · Coerência e completude
    ◊ Sistema dedutivo: resolução
        · Forma normal conjuntiva e forma clausal
        · Algoritmo de Horn
        · Resolução e Refutação
• Lógica de primeira ordem
    ◊ Sintaxe:
        · Termos e descrições em linguagem natural
        · Alfabeto e definição indutiva de linguagem de 1ª ordem
        · Variáveis livres e substituição     ◊ Semântica:
        · Valoração e estrutura de interpretação: relação de satisfação
        · Validade e consequência lógica; equivalência
    ◊ Sistema dedutivo: dedução natural
        · Regras de introdução e eliminação
        · Derivação e prova
         ◊ Sistema dedutivo: resolução
        · Forma normal de Skolem e skolemização
        · Unificação e resolução
• Indução Estrutural
    ◊ Estruturas Indutivas
        · Definição Indutiva de linguagem proposicional
        · Listas e árvores
        · Números naturais
    ◊ Inferência por indução estrutural
        · Passos de base e de indução
        · Exemplos