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}