Formalismos dedutivos

From Logic Wiki
Revision as of 13:07, 6 October 2020 by Jmarcos (talk | contribs)
Jump to navigation Jump to search
  • 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