Difference between revisions of "Poder expressivo dos operadores clássicos"

Latest revision as of 13:19, 6 October 2020

O conjunto dos operadores clássicos é funcionalmente completo sobre $\{0,1\}$ , isto é, permite expressar qualquer operador $n$ -ário $2$ -valorado
[AGUARDE!]

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

@@ Line 8: / Line 8: @@
 == Veja também ==
-*
+* [[Introdução Computacional à Lógica Matemática]]
 == Links externos ==
-* Dos ''fragmentos'' da Lógica Proposicional Clássica:<!--
+* Dos ''fragmentos'' da Lógica Proposicional Clássica:[https://en.wikipedia.org/wiki/Post%27s_lattice O reticulado de Post]
---><p>[https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]</p>