Open main menu
Logic Wiki
Search
Modelos (lógica)
Read in another language
Watch this page
Edit
Revision as of 20:29, 30 August 2020 by
Jmarcos
(
talk
|
contribs
)
(
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, entailment)
Links externos
Álgebra de Boole
Álgebra de Heyting