Last 5 Pages Viewed: Special:MobileDiff/98 » Special:MobileDiff/1249 » Special:UserLogin » Special:MobileDiff/492 » Special:MobileDiff/1241

Changes

Jump to navigation Jump to search

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

Revision as of 16:11, 25 September 2020

17 bytes removed ,  16:11, 25 September 2020
→‎\neg (r \leftrightarrow p) ▸ q \to \neg p
== Validade de sequentes ==
=== <math>\neg (r \leftrightarrow p) </math> &blacktriangleright; ▸ <math>q \to \neg p</math> ===
== Correção de regras ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1241"

Navigation menu