Difference between revisions of "Dedução Natural"
Jump to navigation
Jump to search
(Created page with "* DN para Lógica Clássica Proposicional * DN para Lógica Clássica de Primeira Ordem == Para reflexão == * == Veja também == * == Links externos == *") |
Tag: 2017 source edit |
||
| Line 4: | Line 4: | ||
== Para reflexão == | == Para reflexão == | ||
| − | * | + | * Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''? |
| + | [AGUARDE!] | ||
== Veja também == | == Veja também == | ||
Revision as of 18:28, 22 August 2020
Para reflexão
- Árvores de derivação: manipulando fórmulas ou sequentes?
[AGUARDE!]
