Open main menu
Logic Wiki
Search
Modelos (lógica)
Read in another language
Watch this page
Edit
Revision as of 20:19, 15 October 2020 by
Greati
(
talk
|
contribs
)
(
→Links externos
)
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
Semântica formal para a lógica proposicional
Semântica formal para a lógica de primeira ordem
Para reflexão
Veja também
Acarretamento
(consequência semântica / EN:
entailment
)
Introdução Computacional à Lógica Matemática
Links externos
Acarretamento (Wikipédia)