Poder expressivo dos operadores clássicos
- 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: