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

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

* Dos ''fragmentos'' da Lógica Proposicional Clássica:[https://en.wikipedia.org/wiki/Post%27s_lattice O reticulado de Post]