Open main menu
Logic Wiki
Search
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Read in another language
Watch this page
Edit
Revision as of 21:43, 5 October 2020 by
Jmarcos
(
talk
|
contribs
)
(criando verbete)
(diff) ← Older revision |
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Contents
1
Validade global de sequentes
2
Validade de sequentes em uma interpretação fixa
3
Correção de regras
4
Para reflexão
5
Veja também
6
Links externos
Validade global de sequentes
Validade de sequentes em uma interpretação fixa
Correção de regras
Para reflexão
Veja também
Links externos