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

Validade de sequentes

=== Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \neg (r \leftrightarrow p) \rhd* q \to \neg p}