Changes

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

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

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

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