Changes

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

172 bytes added , 16:17, 25 September 2020

=== <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