Definição recursiva da linguagem proposicional

• 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