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