111
edits
Changes
→Links externos
* '''Estilos''' de formalismo dedutivo<!--
--><p>{{#ev:youtube|SouCz7oIRk4}}</p>
* '''Sistemas dedutivos''' particulares:: * no estilo da [[Dedução Natural]]: * no estilo do [[Cálculo de Sequentes]] [AGUARDE!]: * no estilo dos [[Tableaux]] [AGUARDE!]: * no estilo do [[Método da Resolução]] [AGUARDE!]
== Para reflexão ==
== Links externos ==
* [http://pt.wikipedia.org/wiki/Sistema_dedutivo Sistema dedutivo]
* [http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia Regra de inferência]
* [http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]
* [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]