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

Validade de sequentes

=== Failed to parse (unknown function "\RHD"): {\displaystyle \neg (r \leftrightarrow p) \RHD q \to \neg p}