Changes

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

No change in size , 16:19, 25 September 2020

== Validade de sequentes ==

=== <math>\neg (r \leftrightarrow p) </math> ▸ ▶ <math>q \to \neg p</math> ===

=== <math> (p \land q) \to r </math> ▸ ▶ <math>q \to \neg p</math> ===

=== <math> \neg (r \leftrightarrow p), (p \land q) \to r </math> ▹ ▷ <math>q \to \neg p</math> ===

== Correção de regras ==

111

edits