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