Difference between revisions of "Definição recursiva da linguagem proposicional"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| (8 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | * Como um conjunto indutivamente definido<!-- | + | * Como um ''conjunto indutivamente definido''<!-- |
| − | --> | + | --><p>{{#ev:youtube|hCCVtDR4RVo}}</p> |
| − | * Como uma álgebra absolutamente livre<!-- | + | * Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial'' da categoria associada)<!-- |
| − | --> | + | --><p>{{#ev:youtube|7-wpBM93SyY}}</p> |
== Para reflexão == | == Para reflexão == | ||
| − | * Como | + | * Como deveria ser 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> | ||
== Veja também == | == Veja também == | ||
| − | * [[Sintaxe da | + | * [[Sintaxe da lógica proposicional]] |
* [[Conjunto indutivamente definido]] | * [[Conjunto indutivamente definido]] | ||
* [[Álgebra absolutamente livre]] | * [[Álgebra absolutamente livre]] | ||
* [[Álgebra dos termos]] | * [[Álgebra dos termos]] | ||
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
== Links externos == | == Links externos == | ||
| − | * | + | * [http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)] |
| + | * [http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica)] | ||
| + | * [http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_estrutural Indução estrutural] | ||
Latest revision as of 20:43, 15 October 2020
- Como um conjunto indutivamente definido
- Como uma álgebra absolutamente livre (e também como objeto inicial da categoria associada)
Para reflexão
- Como deveria ser 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
- Introdução Computacional à Lógica Matemática
