Open main menu
Logic Wiki
Search
Sintaxe da lógica proposicional
Read in another language
Watch this page
Edit
Revision as of 20:41, 15 October 2020 by
Greati
(
talk
|
contribs
)
(
→Links externos
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Fórmulas
Algumas
comparações
entre as linguagens proposicional e de primeira ordem
Para reflexão
Veja também
Definição recursiva da linguagem proposicional
Sintaxe da lógica de primeira ordem
Introdução Computacional à Lógica Matemática
Links externos
Sintaxe (lógica)
Assinatura
Fórmula (lógica)
Fórmula bem formada