Open main menu

Changes

no edit summary
* Como um conjunto indutivamente definido<!---->[VIDEO]* Como uma álgebra absolutamente livre<!---->[VIDEO]
== Para reflexão ==
* Como seria a definição recursiva estrutural de '''substituição de átomos por fórmulas''', de modo a constituir 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>