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

From Logic Wiki
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>[VIDEO]</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 )

Veja também

Links externos