Changes

Jump to navigation Jump to search

Semântica formal para a lógica proposicional (view source)

Revision as of 13:36, 6 October 2020

11 bytes removed ,  13:36, 6 October 2020
no edit summary
* [[Semântica formal para a Lógica Proposicional Clássica]]
* [[Semântica formal para a Lógica Proposicional Intuicionista]] [AGUARDE!]
* [[Acarretamento]]
* [[Correção e completude]]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1401"

Navigation menu