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?

Links externos

• Dos fragmentos da Lógica Proposicional Clássica:

  Reticulado de Post