525
edits
Changes
Definição recursiva da linguagem proposicional (view source)
Revision as of 03:05, 30 August 2020
, 03:05, 30 August 2020no edit summary
== Para reflexão ==
* Como seria a definição recursiva estrutural de '''substituição de átomos por fórmulas''', de modo a constituir 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 ==