Changes

Exercícios de semântica formal para a Lógica Proposicional Clássica (view source)

17 bytes removed , 16:11, 25 September 2020

== Validade de sequentes ==

=== <math>\neg (r \leftrightarrow p) </math> ~~&blacktriangleright;~~ ▸ <math>q \to \neg p</math> ===

== Correção de regras ==

111

edits