Difference between revisions of "Definição recursiva da linguagem proposicional"

Revision as of 03:05, 30 August 2020

[VIDEO]

[VIDEO]

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?
Notação: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varphi[p\mapsto \psi]} (denotando o resultado de substituir, na fórmula Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varphi} todas ocorrências do átomo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} pela fórmula Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \psi} )

@@ Line 6: / Line 6: @@
 == 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 ==