525
edits
Changes
Definição recursiva da linguagem proposicional (view source)
Revision as of 22:11, 21 September 2020
, 22:11, 21 September 2020no edit summary
== Para reflexão ==
* Como seria 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>