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