Changes

* Como um ''conjunto indutivamente definido via [[Has parent page''<!----><p>{{#ev::Sintaxe da Lógica Proposicional]][VIDEO]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>Conjunto indutivamente definido

* [[Sintaxe da Lógica Proposicionallógica proposicional]]

*[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]