Súmula

• Introdução e Histórico

• Lógicas Clássicas

  • Lógica Proposicional
  • Lógica dos Predicados
    • Sintaxe
    • Semântica
    • Regras de Inferência
    • Árvore de Refutação
  • Prova Automática de Teoremas

• Lógicas Não-Clássicas

  • Lógica Modal, Lógicas Multivalores, Lógica Temporal

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico