Open main menu
Logic Wiki
Search
Definição recursiva da linguagem proposicional
Read in another language
Watch this page
Edit
Revision as of 21:49, 22 August 2020 by
Admin
(
talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Como um conjunto indutivamente definido
[VIDEO]
Como uma álgebra absolutamente livre
[VIDEO]
Para reflexão
Conjunto indutivamente definido
Veja também
Sintaxe da Lógica Proposicional
Conjunto indutivamente definido
Álgebra absolutamente livre
Álgebra dos termos
Links externos