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

From Logic Wiki
Jump to navigation Jump to search
(adicionando video)
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 consistir em um endomorfismo sobre a álgebra das fórmulas?<!--
+
* 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>
  

Revision as of 22:11, 21 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 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 )

Veja também

Links externos