View source for Definição recursiva da linguagem proposicional

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

== Para reflexão ==

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

== Veja também ==

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

== Links externos ==

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