Poder expressivo dos operadores clássicos

• O conjunto dos operadores clássicos é funcionalmente completo sobre $\{0,1\}$, isto é, permite expressar qualquer operador $n$-ário $2$-valorado

  [AGUARDE!]

Para reflexão

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

Veja também

• Introdução Computacional à Lógica Matemática

Links externos

• Dos fragmentos da Lógica Proposicional Clássica:O reticulado de Post