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 4: | Line 4: | ||
== Para reflexão == | == Para reflexão == | ||
− | * | + | * De que forma poderíamos caracterizar o poder expressivo dos operadores ''intuicionistas''? |
== Veja também == | == Veja também == | ||
Line 12: | Line 12: | ||
== Links externos == | == Links externos == | ||
− | * [https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post] | + | * Dos fragmentos da Lógica Proposicional Clássica:<!-- |
+ | --><p>[https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]</p> |
Revision as of 21:19, 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: