Difference between revisions of "Poder expressivo dos operadores clássicos"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 12: Line 12:
 
== Links externos ==
 
== Links externos ==
  
* Dos fragmentos da Lógica Proposicional Clássica:<!--
+
* Dos ''fragmentos'' da Lógica Proposicional Clássica:<!--
 
--><p>[https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]</p>
 
--><p>[https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]</p>

Revision as of 21:30, 3 September 2020

  • O conjunto dos operadores clássicos é funcionalmente completo sobre , isto é, permite expressar qualquer operador -ário -valorado

    [AGUARDE!]

Para reflexão

  • De que forma poderíamos caracterizar o poder expressivo dos operadores intuicionistas?

Veja também

Links externos