Open main menu
  • Estilos de formalismo dedutivo

  • Sistemas dedutivos:
Dedução Natural
Cálculo de Sequentes
Tableaux
Método da Resolução

Para reflexão

  • Será possível mecanizar inteiramente a Matemática?
  • Como caracterizar o principal objeto de estudos da Teoria das Demonstrações (EN: Proof Theory)?
  • Uma questão terminológica: prova ou demonstração? [1] [2] [3] [4]

Veja também

Links externos