View source for Poder expressivo dos operadores clássicos

* 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 ==

* 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:<!--
--><p>[https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]</p>