Formalismos dedutivos
Jump to navigation
Jump to search
- Estilos de formalismo dedutivo
- Sistemas dedutivos particulares:
- no estilo da Dedução Natural
- no estilo do Cálculo de Sequentes
- no estilo dos Tableaux
- no estilo do 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]
