Definição recursiva da linguagem proposicional
Jump to navigation
Jump to search
- Como um conjunto indutivamente definido via Sintaxe da Lógica Proposicional
[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
