Difference between revisions of "Poder expressivo dos operadores clássicos"
Jump to navigation
Jump to search
(criando boneco do verbete para o futuro) |
Tag: 2017 source edit |
||
(4 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | * O conjunto dos operadores clássicos é '''funcionalmente completo''' sobre <math>\{0,1\}</math>, isto é, permite expressar qualquer operador <math>n</math>-ário 2-valorado | + | * O conjunto dos operadores clássicos é '''funcionalmente completo''' sobre <math>\{0,1\}</math>, isto é, permite expressar qualquer operador <math>n</math>-ário <math>2</math>-valorado<!-- |
+ | --><p>[AGUARDE!]</p> | ||
== 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