Difference between revisions of "Definição recursiva da linguagem proposicional"
Jump to navigation
Jump to search
m (adicionando video) Tag: 2017 source edit |
(adicionando video) Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
* Como um ''conjunto indutivamente definido''<!-- | * Como um ''conjunto indutivamente definido''<!-- | ||
| − | --><p>{{#ev:youtube|hCCVtDR4RVo}} | + | --><p>{{#ev:youtube|hCCVtDR4RVo}}</p> |
| − | </p> | ||
* Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial'' da categoria associada)<!-- | * Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial'' da categoria associada)<!-- | ||
| − | --><p> | + | --><p>{{#ev:youtube|7-wpBM93SyY}}</p> |
== Para reflexão == | == Para reflexão == | ||
Revision as of 23:39, 11 September 2020
- Como um conjunto indutivamente definido
- Como uma álgebra absolutamente livre (e também como objeto inicial da categoria associada)
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: (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
