== 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 Reticulado O reticulado de Post]