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