Changes

Jump to navigation Jump to search

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]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1078"

Navigation menu