Difference between revisions of "Poder expressivo dos operadores clássicos"
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
- Dos fragmentos da Lógica Proposicional Clássica: