Difference between revisions of "Definição recursiva da linguagem proposicional"
m Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
| − | * Como um conjunto indutivamente definido | + | * Como um conjunto indutivamente definido<!-- |
| − | [VIDEO] | + | -->[VIDEO] |
| − | * Como uma álgebra absolutamente livre | + | * Como uma álgebra absolutamente livre<!-- |
| − | [VIDEO] | + | -->[VIDEO] |
== Para reflexão == | == Para reflexão == | ||
| − | * Como seria a definição recursiva estrutural de '''substituição de átomos por fórmulas''', de modo a | + | * Como seria 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> | --><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> | ||
Revision as of 20:51, 3 September 2020
- 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 consistir em 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} )
Veja também
- Sintaxe da Lógica Proposicional
- Conjunto indutivamente definido
- Álgebra absolutamente livre
- Álgebra dos termos
