525
edits
Changes
Poder expressivo dos operadores clássicos (view source)
Revision as of 13:19, 6 October 2020
, 13:19, 6 October 2020no edit summary
== 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]