Open main menu
Logic Wiki
Search
Semântica formal para a lógica proposicional
Read in another language
Watch this page
Edit
Revision as of 20:30, 15 October 2020 by
Greati
(
talk
|
contribs
)
(
→Links externos
)
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
Da
validade de sequentes
e da
correção de regras
Da
validade de fórmulas
Para reflexão
Veja também
Semântica formal para a Lógica Proposicional Clássica
Semântica formal para a Lógica Proposicional Intuicionista
Acarretamento
Correção e completude
Introdução Computacional à Lógica Matemática
Links externos
Função booleana (Wikipédia)
Função de verdade (Wikipédia)
Valor de verdade (Wikipédia)
Valoração (Wikipédia)
Validade (Wikipédia)
Completude funcional (Wikipédia)
Completude (Wikipédia)
Correção (Wikipédia)