Changes

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

Revision as of 12:44, 6 October 2020

53 bytes added , 12:44, 6 October 2020

m

no edit summary

== Veja também ==

* [[Semântica formal para a lógica proposicional]]

* [[Poder expressivo dos operadores clássicos]]

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

525

edits

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