Changes

* Como um ''conjunto indutivamente definido''<!--[VIDEO]--><p>{{#ev:youtube|hCCVtDR4RVo}}</p>* Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial'' da categoria associada)<!--[VIDEO]--><p>{{#ev:youtube|7-wpBM93SyY}}</p>

* Como deveria ser a definição recursiva estrutural de '''substituição de átomos por fórmulas''', de modo a consistir em um endomorfismo sobre a álgebra das fórmulas?<!----><p>Notação: <math>\varphi[p\mapsto \psi]</math> (denotando o resultado de substituir, na fórmula <math>\varphi</math> todas ocorrências do átomo <math>p</math> pela fórmula <math>\psi</math>)</p>

* [[Sintaxe da lógica proposicional]]* [[Conjunto indutivamente definido]] * [[Álgebra absolutamente livre]]* [[Álgebra dos termos]]* [[Introdução Computacional à Lógica ProposicionalMatemática]]

*[http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)]* [http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica)]* [http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_estrutural Indução estrutural]