111
edits
Changes
Exercícios de semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 16:04, 25 September 2020
, 16:04, 25 September 2020→Validade de sequentes
== Validade de sequentes ==
=== <math>\neg (r \leftrightarrow p) \not\vdash ▸ q \to \neg p</math> ===
== Correção de regras ==