525
edits
Changes
Jump to navigation
Jump to search
* [[Sistemas dedutivos para a lógica proposicional]]
no edit summary
* '''Estilos''' de formalismo dedutivo<!--
--><p>{{#ev:youtube|SouCz7oIRk4}}</p>
* 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''? [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/S-9hikoKNQs/hiKu9O0-EQAJ] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/-AgRQtppdNQ/-A31IoAKL40J] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/1PKaK3WzMT0/MU00E9xe8xsJ] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/PPDpTxuVUWY/3d7cDt6uCXIJ]
== Veja também ==
* [[Introdução Computacional à Lógica Matemática]]
