Open main menu
Logic Wiki
Search
Dedução Natural
Read in another language
Watch this page
Edit
Revision as of 19:30, 23 August 2020 by
Jmarcos
(
talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Componentes do formalismo dedutivo da DN: regras e derivações
[VIDEO]
Elementos constitutivos das árvores de derivação em DN
[VIDEO]
DN para Lógica Clássica Proposicional
DN para Lógica Clássica de Primeira Ordem
Para reflexão
Árvores de derivação: manipulando
fórmulas
ou
sequentes
?
[AGUARDE!]
Veja também
Links externos