Difference between revisions of "Definição recursiva da linguagem proposicional"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 6: | Line 6: | ||
== Para reflexão == | == 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 == | == Veja também == | ||
Revision as of 03:05, 30 August 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 constituir um endomorfismo sobre a álgebra das fórmulas?
Notação: (denotando o resultado de substituir, na fórmula todas ocorrências do átomo pela fórmula )
![{\displaystyle \varphi [p\mapsto \psi ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/146ff3bf32366ccfe6a3e938f9f9d94a28ad6e90)
Veja também
- Sintaxe da Lógica Proposicional
- Conjunto indutivamente definido
- Álgebra absolutamente livre
- Álgebra dos termos
