Changes

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

Revision as of 01:46, 2 September 2020

30 bytes added , 01:46, 2 September 2020

m

no edit summary

* [[Acarretamento]] (consequência semântica, entailment)

* [[Expressibilidade dos operadores clássicos]]

* [[Correção e completude]]

== Links externos ==

525

edits

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