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

From Logic Wiki
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''<!--
-->[VIDEO]
+
--><p>{{#ev:youtube|hCCVtDR4RVo}}</p>
* Como uma álgebra absolutamente livre<!--
+
* Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial'' da categoria associada)<!--
-->[VIDEO]
+
--><p>{{#ev:youtube|7-wpBM93SyY}}</p>
  
 
== 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>
  
 
== Veja também ==
 
== Veja também ==
  
* [[Sintaxe da Lógica Proposicional]]
+
* [[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 )

Veja também

Links externos