Changes

Semântica formal para a Lógica Proposicional Clássica (view source)

Revision as of 01:57, 2 September 2020

70 bytes removed , 01:57, 2 September 2020

m

no edit summary

* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]

* [https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1078"