Changes

Exercícios de semântica formal para a Lógica Proposicional Clássica (view source)

Revision as of 15:48, 25 September 2020

59 bytes added , 15:48, 25 September 2020

→‎Validade de sequentes

== Validade de sequentes ==

* === <math>\neg (r \leftrightarrow p) \RHD q \to \neg p</math>

== Correção de regras ==

111

edits

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