Difference between revisions of "Poder expressivo dos operadores clássicos"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
Tag: 2017 source edit |
||
(2 intermediate revisions by the same user not shown) | |||
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 == | ||
− | * | + | * [[Introdução Computacional à Lógica Matemática]] |
== Links externos == | == Links externos == | ||
− | * [https://en.wikipedia.org/wiki/Post%27s_lattice | + | * Dos ''fragmentos'' da Lógica Proposicional Clássica:[https://en.wikipedia.org/wiki/Post%27s_lattice O reticulado de Post] |
Latest revision as of 13:19, 6 October 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:O reticulado de Post